Church-Turing-hypothese

De Church-Turing-hypothese (Engels: Church-Turing thesis) is een stelling in de berekenbaarheidstheorie, geformuleerd door Alonzo Church en Alan Turing. Deze stelling is eigenlijk een hypothese, aangezien deze nooit bewezen zal kunnen worden. Enkele afgeleide hypotheses zijn zelfs al ontkracht.


From Wikipedia, the free encyclopedia · View on Wikipedia

Developed by Tubidy