Ero sivun ”Churchin–Turingin teesi” versioiden välillä
[arvioimaton versio] | [arvioimaton versio] |
Poistettu sisältö Lisätty sisältö
Ei muokkausyhteenvetoa |
ML (keskustelu | muokkaukset) niitä ei tunneta sillä nimellä |
||
Rivi 1:
'''Church–Turingin konjektuuri''' (myös Church-Turingin 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
Matemaatikko [[Roger Penrose]] on ehdottanut, että sitä sanottaisiin Turingin periaatteeksi.<ref>[[Todellisuuden rakenne]], s.127</ref>
|