Wikipedia

Ero sivun ”Churchin–Turingin teesi” versioiden välillä

Selaa historiaa interaktiivisesti
[arvioimaton versio][arvioimaton versio]
← Vanhempi muutosUudempi muutos →
Poistettu sisältö Lisätty sisältö
VisuaalinenWikiteksti
Ei muokkausyhteenvetoa
pEi muokkausyhteenvetoa
Rivi 1:
'''Church–Turing konjektuuri''' (myös Church-Turing teesi, Churchin väite ja Turingin väite) on yhdistetty hypoteesi niiden funktiodenfunktioiden luonteesta, joiden arvot ovat tehokkaasti laskettavissa. Yksinkertaisimmin ilmaistuna se sanoo, että "kaikki laskettavissa oleva on laskettavissa [[Turingin kone]]ella."
 
1900-luvun alkupuolella tehtiin useita yrityksiä formalisoida laskettavuuden käsitettä. Vuonna 1936 kolme matemaatikkoa, [[Emil Post]], [[Alonzo Church]] ja [[Alan Turing]] kehittivät toisistaan riippumatta ensimmäiset universaalien tietokoneiden abstraktit mallit.
Noudettu kohteesta ”https://fi.wikipedia.org/wiki/Churchin–Turingin_teesi”