Ylinumeroituvuuskvanttorillisen identiteetillisen ensimmäisen kertaluvun predikaattilogiikan täydellisyys
580.92 KB
avoin
Julkaisu on tekijänoikeussäännösten alainen. Teosta voi lukea ja tulostaa henkilökohtaista käyttöä varten. Käyttö kaupallisiin tarkoituksiin on kielletty.
Lataukset6
Pysyvä osoite
Verkkojulkaisu
DOI
Tiivistelmä
Työ käsittelee ylinumeroituvuuskvanttorillisen ensimmäisen kertaluvun predikaattilogiikan täydellisyyttä ja sen todistusta.
Työn alussa esitellään tarvittava taustatieto ja aksioomat, joita täydellisyystodistuksen käsittely ja ymmärtäminen vaatii. Tämän jälkeen konstruoidaan tarvittavat heikot mallit, joilla voidaan rakentaa standardimallit ja joiden avulla väite todistetaan. Työssä oletetaan lukijalta ensimmäisen kertaluvun predikaattilogiikan osaamista, joka yleensä saadaan logiikan aine- ja syventävien opintojen tasoisilla opintojaksoilla matematiikan yliopistotasolla.