Browsing by Author "Haataja, Mika Tapani"

Tutkielman tarkoitus on esitellä ja määritellä yksi menetelmä, jonka avulla voidaan rakentaa kaikki intuitiivisesti laskettavat funktiot. Tähän on valittu tarkoitukseen URM-kone, joka vastaa ajatukseltaan nykyisen tietokoneen toimintaa. URM-koneen lisäksi käydään läpi muitakin tapoja, joilla voi luoda yksinkertaisemmista perusfunktioista uusia funktioita. Tutkielman toinen esiteltävä asia on Churchin teesi, joka yhdistää kaikki tunnetut tavat luoda laskettavia funktioita. Sen mukaan lähtökohdasta riippumatta saadaan sama joukko laskettavia funktioita. Tämän esittelyn yhteydessä mainitaan muutamia erilaisia lähestymistapoja laskettavuuteen. Näistä ehkä tunnetuimpana pidetty Turingin kone –lähestymistapa käydään myös läpi, mutta huomattavasti kevyemmin kuin URM-koneen kohdalla.