5 relationer: Alan Turing, Algoritme, Beregnelighed, Komputationel klasse, Turingmaskine.
Alan Turing
Alan Mathison Turing, OBE (født 23. juni 1912, død 7. juni 1954) var en britisk matematiker som var med til at grundlægge datalogien, der blev til den moderne computer.
Ny!!: Halting-problemet og Alan Turing · Se mere »
Algoritme
En algoritme (Kharazmi) er en utvetydig og abstrakt beskrivelse af, hvordan en specifik type problem løses terminerende.
Ny!!: Halting-problemet og Algoritme · Se mere »
Beregnelighed
Beregnelighed (også kaldet komputabilitetsteori) er et emne indenfor diskret matematik, som handler om om en givet funktion kan komputeres (beregnes) af en givet maskine (ofte Turing-maskinen).
Ny!!: Halting-problemet og Beregnelighed · Se mere »
Komputationel klasse
En komputationel klasse er en gruppe, der indeholder alle de algoritmer, et givet system kan komputere (udregne).
Ny!!: Halting-problemet og Komputationel klasse · Se mere »
Turingmaskine
En Turingmaskine er en matematisk model for en simpel symbolmanipulerende maskine som trods sin enkle opbygning kan udføre ikke-trivielle beregninger og simulere logikken i enhver computer.