Versionen fra 19. apr. 2014, 20:32 redigér UsernameHere (diskussion \| bidrag) 485 edits No edit summary Tag: Visuel redigering ← Gå til forrige forskel		Versionen fra 19. apr. 2014, 20:33 redigér fjern redigering UsernameHere (diskussion \| bidrag) 485 edits No edit summary Tag: Visuel redigering Gå til næste forskel →
Linje 2: "Eksisterer der en [[algorithme]] i [[Turing-maskine\|Turing-maskinens]] [[Komputationel klasse\|komputationelle klasse]], som tager et andet arbitært computer program, som input (programmet indeholder selv dets input f.eks. som variable), og returnerer om dette program stopper?" [[Alan Turing]] beviste i 1936 at sådan algorithme ikke eksisterede i Turing-maskinens komputationelle klasse. == Kilder ==

Halting-problemet: Forskelle mellem versioner