Ero sivun ”Churchin–Turingin teesi” versioiden välillä
[katsottu versio] | [katsottu versio] |
Poistettu sisältö Lisätty sisältö
Jmk (keskustelu | muokkaukset) oioi ym. typoja |
Jmk (keskustelu | muokkaukset) hups |
||
Rivi 7:
* Church yhdessä matemaatikko [[Stephen Cole Kleene|Stephen Kleene]]n ja loogikko [[J. Barkley Rosser|J. B. Rosser]]in kanssa loivat virallisen määritelmän funktioille, joiden arvot voisivat olla laskettavissa [[rekursio]]lla.
Kolme matemaatikkoa, [[Emil Post]], [[Alonzo Church]] ja [[Alan Turing]], kehittivät 1936 toisistaan riippumatta ensimmäiset universaalien tietokoneiden abstraktit mallit.<ref>[[Todellisuuden rakenne]], s. 126</ref> Matemaatikko [[Roger Penrose]] esitti, että sitä sanottaisiin Turingin periaatteeksi.<ref>[[Todellisuuden rakenne]], s. 127</ref>
==Turingin periaate Turingin ilmaisemassa muodossa==
|