Kurt Godel

Kurt Godel: Het haltingprobleem: Turing's bewijs uit 1936 dat geen algoritme kan bepalen of een willekeurig programma stopt, is een directe toepassing van...