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
Kartasto (keskustelu | muokkaukset)
4 238 muokkausta
Cosmic
Kartasto (keskustelu | muokkaukset)
4 238 muokkausta
p Cosmic
Rivi 1:
'''Church–Turingin konjektuuri''' (myös Church-TuringTuringin teesi, Churchin väite ja Turingin väite) on yhdistetty hypoteesi niiden funktioiden 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”