previous
|
index
|
next
Alan Turing Solves the Halting Problem
In the 1930's, before the invention of the general purpose digital computer, Alan Turing proved
by contradiction
that
halts?
could not exist.
previous
|
index
|
next