Hyppää sisältöön
    • Suomeksi
    • In English
  • Suomeksi
  • In English
  • Kirjaudu
Näytä aineisto 
  •   Etusivu
  • 1. Kirjat ja opinnäytteet
  • Opinnäytetöiden tiivistelmät (ei kokotekstiä)
  • Näytä aineisto
  •   Etusivu
  • 1. Kirjat ja opinnäytteet
  • Opinnäytetöiden tiivistelmät (ei kokotekstiä)
  • Näytä aineisto
JavaScript is disabled for your browser. Some features of this site may not work without it.

Peanon aritmetiikan todistuvuuden modaalilogiikka

Aro, Juuso-Jesperi (2018-09-24)

Peanon aritmetiikan todistuvuuden modaalilogiikka

Aro, Juuso-Jesperi
(24.09.2018)

Tätä artikkelia/julkaisua ei ole tallennettu UTUPubiin. Julkaisun tiedoissa voi kuitenkin olla linkki toisaalle tallennettuun artikkeliin / julkaisuun.

Turun yliopisto
Näytä kaikki kuvailutiedot
Tiivistelmä
Tutkielmassa tarkastellaan miten alunperin välttämättömyyden ja mahdollisuuden
tutkimiseen kehitettyä modaalilogiikaa voidaan hyödyntää matemaattisen formaalin
järjestelmän todistuvuuden tutkimisessa. Tätä modaalilogiikan haaraa kutsutaan
todistuvuuslogiikaksi. Tutkielma on yleisesitys todistuvuuslogiikan soveltamisesta
Peanon aritmetiikkaan.
Tutkielmassa esitetään modaalilogiikan todistusteoria, K-semantiikka ja tunnetuimmat
normaalit systeemit, joista tärkein on Peanon aritmetiikan todistuvuuden tarkasteluun
soveltuva systeemi GL. Myös Peanon aritmetiikan todistusteoria ja semantiikka
esitellään sekä osoitetaan, miten Peanon aritmetiikka kykenee tarkastelemaan
omaa todistuvuuttaan. Näiden pohjalta muodostetaan funktio, aritmeettinen
muunnos, joka muuntaa kaikki modaalilogiikan lauseet Peanon aritmetiikan lauseiksi.
Tutkielman keskeiset tulokset ovat systeemin GL kiintopistelause sekä systeemin
GL aritmeettinen täydellisyys ja eheys, joiden mukaan modaalilogiikan lause A on
todistuva systeemissä GL jos ja vain jos sen aritmeettinen muunnos A* on todistuva
Peanon aritmetiikassa. Tutkielman lopuksi osoitetaan, että matemaattisen relevanssin
lisäksi todistuvuuslogiikka vastaa tyydyttävästi Quinen modaalilogiikalle
asettamaan luonteeltaan filosofisempaan haasteeseen.
Kokoelmat
  • Opinnäytetöiden tiivistelmät (ei kokotekstiä) [6013]

Turun yliopiston kirjasto | Turun yliopisto
julkaisut@utu.fi | Tietosuoja | Saavutettavuusseloste
 

 

Tämä kokoelma

JulkaisuajatTekijätNimekkeetAsiasanatTiedekuntaLaitosOppiaineYhteisöt ja kokoelmat

Omat tiedot

Kirjaudu sisäänRekisteröidy

Turun yliopiston kirjasto | Turun yliopisto
julkaisut@utu.fi | Tietosuoja | Saavutettavuusseloste