Church-Turings tese

Verificeret
Artiklens indhold er godkendt af redaktionen.

Indholdsfortegnelse

  1. Kommentarer (2)

Church-Turings tese, (efter A.M. Turing og A. Church), tese fra 1936, der udtrykker den forbavsende erfaring, at alle modeller til afgrænsning af beregnelige funktioner (se beregnelighed) har ledt til samme resultat. Tesen har stor betydning inden for datalogi.

Studiet af beregnelige funktioner kræver en eksakt model af eller notation for beregning, og hertil kan bl.a. Turingmaskinen og lambdakalkylen bruges. Tesen udsiger, at klassen af funktioner, hvis værdier kan beregnes trinvis ud fra veldefinerede regler, netop er dem, der kan beregnes af en Turingmaskine. Den kan ikke bevises formelt pga. den intuitivt forståelige, men upræcise formulering "trinvis ud fra veldefinerede regler".


 

Kommentarer

Viser 1-2 af 2

Viser 1-2 af 2

Hvad er en kommentar? Her kan du kommentere artiklens indhold. Dine kommentarer er synlige for alle brugere.

Find bøger

   
   Find Lydbøger
hos Storytel		    Find bøger
på bogpriser.dk		    Studiebøger
på pensum.dk		    E-bøger
hos g.dk

 

Mest læste artikler

  1. Arganolie
  2. Fl
  3. CERS
  4. Lv
  5. C#
  6. borider
  7. TNS Gallup
  8. hexogen
  9. Energimuseet
  10. Gas Ståbi

Tags

Rediger tags
Hvad er et tag? Tags er artiklens nøgleord. Artikler med et fælles tag findes ved at klikke på tagget. Når du er logget ind, kan du tilføje tags og dermed skabe sammenhænge.

Du kan bidrage til denne artikel. Log ind her

Nyhedsbrev

Redigering

Om artiklen

Seneste forfatter
Redaktionen
29/01/2009
Ekspert
palnatoke
Oprindelig forfatter
JClau
29/01/2009
© Denne artikel må du ...

Emnetræ

© Gyldendal 2009-2013 - Powered by MindTouch Deki