Brilliant. Anyone familiar with the halting problem ought to be sold after the first two paragraphs.
and more fundamentally Gödel's incompleteness theorems :)
Gödel, ~~Escher, Bach~~ Turing, Chuch
:)
Brilliant. Anyone familiar with the halting problem ought to be sold after the first two paragraphs.
and more fundamentally Gödel's incompleteness theorems :)
Gödel, ~~Escher, Bach~~ Turing, Chuch
:)