Ero sivun ”Churchin–Turingin teesi” versioiden välillä
| [arvioimaton versio] | [arvioimaton versio] |
Poistettu sisältö Lisätty sisältö
p Cosmic |
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 teesi. Matemaatikko [[Roger Penrose]] on ehdottanut, että sitä sanottaisiin Turingin periaatteeksi.<ref>[[Todellisuuden rakenne]], s.127</ref>
===Turingin periaate Turingin ilmaisemassa muodossa:===
''Jokainen funktio, jota pidetään laskettavana luonnollisella tavalla, voidaan laskea universaalilla Turingin koneella.''<ref>[[Kvanttitietokone (kirja)]], s.116</ref>
===Turingin periaate kaiken kattavassa muodossa:===
''On mahdollista rakentaa lumetodellisuuden generaattori, jonko ohjelmisto sisältää kaikki fysikaalisesti mahdolliset ympäristöt.''<ref>[[Todellisuuden rakenne]], s.129</ref>
=== Viitteet ===
{{Viitteet}}
[[Luokka:Tietojenkäsittelyteoria]]
| |||