Alan Turing: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
Plaats |
|||
Regel 35:
Dit beslissingsprobleem laat zich als volgt omschrijven: "bestaat er een [[algoritme]] waarmee kan bewezen worden of een wiskundige bewering waar is of niet?" (is het antwoord op een logische vraag berekenbaar?). In 1936 kwamen Turing en, onafhankelijk van hem, ook [[Alonzo Church]], tot de conclusie dat het algemene antwoord 'nee' luidt onder bepaalde voorwaarden: de [[Church-Turing-hypothese]].
Op basis van dit artikel bedacht Turing de Logical Computing Machine. Dit gedachte-experiment werd later de [[turingmachine]] genoemd. Na Cambridge werkte Turing van 1936 tot 1938 bij Church aan de [[Princeton-universiteit]] in de [[Verenigde Staten]]. Daarna keerde hij terug
=== Tweede Wereldoorlog ===
|