Binair optellen online dating

Volgens Turing's biograaf, Andrew Hodges [Hodges, 1985 en 2000], was het gezeten ergens in het gras op een luie namiddag dat Turing begon te dromen over "machines" om algoritmen uit te voeren.

De Turing machines Een Turing machine is een theoretische machine die een bepaald algoritme kan uitvoeren.

De tweede geciteerde vraag van Hilbert was toen nog steeds niet beantwoord.

Die tweede geciteerde vraag van Hilbert bleef Turing fascineren.

binair optellen online dating-77

Nu kunnen wij een nieuw algoritme Q maken, gebaseerd op P als volgt: Algoritme Q: Beslis voor een bepaalde input n voor Q of An(n) stopt of niet, door P te gebruiken; Als het resultaat van P aanduidt dat An(n) stopt, ga dan in een oneindige lus; anders, stop.Inleiding tot de informatica Blz 1 INLEIDING TOT DE INFORMATICA Uitgave: 1 (7 Oktober 2003) Uitgave: 2 (3 Augustus 2004) Uitgave: 3 (4 Februari 2005) Uitgave: 4 (7 Juni 2014) Uitgave 5 (30 Augustus 2016) Auteur: Guy Rinchart Inleiding tot de informatica Blz 2 Verwijzingen naar Literatuur en Web links Een verwijzing naar literatuur gebeurt zoals in het volgende voorbeeld: [Hodges, 1985, 2001] en verwijst naar het deel "References" achteraan in dit document Voor Web sites gebeurt het zoals in het volgende voorbeeld: [WEB Hodges Turing machine voorbeelden] Inleiding tot de informatica Blz 3 Inhoudstafel ALGORITMEN...5 Voorbeeld van een Algoritme... 5 DE VRAGEN VAN HILBERT...6 HET WERK VAN GÖDEL...7 HET WERK VAN TURING...8 De Turing machines...8 Het bewijs: de wiskunde is niet beslisbaar (1936)...Inleiding tot de informatica Blz 6 De vragen van Hilbert De Duitse wiskundige Hilbert had op een internationaal congres in 1928 onder andere de volgende 2 prangende vragen gesteld: 1) Is de wiskunde volledig?Het zou kunnen zijn dat men van ten minste één uitspraak niet kan bewijzen dat hij waar is, maar ook niet dat hij onwaar is: de wiskunde zou dan niet volledig zijn. Het zou kunnen zijn dat er voor ten minste één probleem geen algoritme bestaat om tot een zinnige uitspraak te komen: de wiskunde zou dan niet beslisbaar zijn, en er zou ten minste één onoplosbaar probleem bestaan.

Leave a Reply