Citaat:
|
Oorspronkelijk geplaatst door Herman Desmedt ©HD
Ik denk dat het Alan Turing is, maar ik vind nergens de referentie naar dat bewijs.
Alan Turing (1912-1954)
|
dat is juist. Je zult het wel vinden als je zoekt naar "halting theorem" of "halting problem".