halting theorem

**constructive mathematics**, **realizability**, **computability**

propositions as types, proofs as programs, computational trinitarianism

- Wikipedia
*Halting problem*

Created on March 4, 2014 06:26:57
by Urs Schreiber
(89.204.137.33)