Ero sivun ”Churchin–Turingin teesi” versioiden välillä
[arvioimaton versio] | [arvioimaton versio] |
Poistettu sisältö Lisätty sisältö
ML (keskustelu | muokkaukset) tietokoneiden abstrakteja malleja (esim. Turingin kone) ei tunneta nimellä "Churchin-Turingin teesi" |
Ei muokkausyhteenvetoa |
||
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, jotka nykyään tunnetaan nimellä Churchin-Turingin
Matemaatikko [[Roger Penrose]] on ehdottanut, että sitä sanottaisiin Turingin periaatteeksi.<ref>[[Todellisuuden rakenne]], s.127</ref> ==Turingin periaate Turingin ilmaisemassa muodossa==
Rivi 39 ⟶ 40:
[[uk:Теза Черча]]
[[zh:邱奇-图灵论题]]
{{Käännös}}
|