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
Ei muokkausyhteenvetoa
poistetaan koko älytön väite, olen opiskellut tietojenkäsittelytiedettä
Rivi 7:
* Church yhdessä matemaatiikko [[Stephen Cole Kleene|Stephen Kleene]]n ja loogikko [[J. Barkley Rosser|J.B. Rosser]]in kanssa loivat virallisen määritelmän joukolle funktioita, joiden arvot voisivat olla laskettavissa [[Rekursio|rekursiolla]]
 
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 konjektuuri.<ref>[[Todellisuuden rakenne]], s.126</ref> Matemaatikko [[Roger Penrose]] on ehdottanut, että sitä sanottaisiin Turingin periaatteeksi.<ref>[[Todellisuuden rakenne]], s.127</ref>
 
==Turingin periaate Turingin ilmaisemassa muodossa==
Noudettu kohteesta ”https://fi.wikipedia.org/wiki/Churchin–Turingin_teesi”