Indholdsfortegnelse
12 relationer: Alan Turing, Algoritme, Alonzo Church, Funktion (matematik), Hypotese, Kvantedatabehandling, Programmeringssprog, Stephen Cole Kleene, Turing-komplet, Turingmaskine, 1936, 2002.
- Beregnelighed
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.
Se Church-Turing-tesen og Alan Turing
Algoritme
En algoritme (Kharazmi) er en utvetydig og abstrakt beskrivelse af, hvordan en specifik type problem løses terminerende.
Se Church-Turing-tesen og Algoritme
Alonzo Church
Alonzo Church (født 14. juni 1903, død 11. august 1995) var en amerikansk matematiker, som var ansvarlig for noget af det grundlæggende teoretiske datalogi.
Se Church-Turing-tesen og Alonzo Church
Funktion (matematik)
En funktion eller afbildning er i matematisk forstand et redskab, der beskriver sammenhængen mellem en såkaldt uafhængig variabel og en anden, såkaldt afhængig variabel.
Se Church-Turing-tesen og Funktion (matematik)
Hypotese
Grafisk fremstilling af teorien om ormehuller. En hypotese er en antagelse om nogle kendsgerninger eller om nogle lovmæssigheder.
Se Church-Turing-tesen og Hypotese
Kvantedatabehandling
En wafer med Intels kvantecomputerchips Kvantedatabehandling er enhver mål-orienteret aktivitet som forudsætter, drager fordel af, eller skaber en matematisk sekvens af trin kendt som en algoritme — der kan udføres på en kvantecomputer.
Se Church-Turing-tesen og Kvantedatabehandling
Programmeringssprog
Indenfor datalogi er programmeringssprog kunstige sprog, som er designet til at udføre beregninger på en computer.
Se Church-Turing-tesen og Programmeringssprog
Stephen Cole Kleene
Stephen Cole Kleene (født 5. januar 1909, død 25. januar 1994) var en amerikansk matematiker, hvis arbejde ved University of Wisconsin-Madison hjalp med til at lægge grunden for den teoretiske datalogi.
Se Church-Turing-tesen og Stephen Cole Kleene
Turing-komplet
Turing-komplet er en egenskab som en komputationel klasse (f.eks. en notation, en maskine eller et programmeringssprog), som indeholder alle elementer i Turingmaskinens komputationelle gruppe, har, det vil sige at den kan gøre alle de beregninger (komputationer), som en Turing-ækvivalent maskine (f.eks.
Se Church-Turing-tesen og Turing-komplet
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.
Se Church-Turing-tesen og Turingmaskine
1936
---- Konge i Danmark: Christian 10. 1912-1947 ---- Se også 1936 (tal).
Se Church-Turing-tesen og 1936
2002
2002 (MMII) begyndte året på en tirsdag.
Se Church-Turing-tesen og 2002
Se også
Beregnelighed
- Beregnelige tal
- Beregnelighed
- Church-Turing-tesen
- Enumerator
- Halting-problemet
- Lambdakalkyle
- Turingmaskine