An Introduction to Proof Theory av Paolo (Willis S. and Marion Slusser Professor of Philosophy Willis S. and Marion Slusser Professor of Philosophy Un
Produktbeskrivelse
«An Introduction to Proof Theory» gir leseren en tilgjengelig innføring i teorien om bevis, der detaljerte bevis blir presentert sammen med eksempler og oppgaver som fremmer forståelsen. Boken fungerer også som en følgesvenn til de banebrytende artiklene skrevet av Gerhard Gentzen. Den første delen dekker emner innen strukturell bevisteori, inkludert Gödel-Gentzen-oversettelsen av klassisk logikk til intuitionistisk logikk (og aritmetikk), naturlig deduksjon og normaliseringsteoremer (for både NJ og NK), sequent kalkulus, inklusive kutteleminering og mid-sequent teoremer, samt ulike anvendelser av disse resultatene. Den andre delen undersøker ordinal bevisteori, med spesiell vekt på Gentzens konsistensbevis for førsteordens Peano-aritmetikk. Teorien om ordinalnotasjoner og andre elementer av ordinal teori utvikles fra bunnen av, og det forutsettes ikke forkunnskaper om mengdeteori. Boken introduserer også de bevismetodene som er nødvendige for å etablere bevis-teoretiske resultater, spesielt induksjonsbevis.
