An Introduction To Proof Theory Av Paolo (Willis S. And Marion Slusser Professor Of Philosophy Willis S. And Marion Slusser Professor Of Philosophy Un

An Introduction To Proof Theory Av Paolo (Willis S. And Marion Slusser Professor Of Philosophy Willis S. And Marion Slusser Professor Of Philosophy Un

An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader''s understanding. It also serves as a companion to reading the original pathbreaking articles by Gerhard Gentzen. The first half covers topics in......
fra 399,-
Tilgjengelig i 2 butikker
Frakt og levering
Beskrivelse
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader''s understanding. It also serves as a companion to reading the original pathbreaking articles by Gerhard Gentzen. The first half covers topics in structural proof theory, including the G¿del-Gentzen translation of classical into intuitionistic logic (and arithmetic), natural deduction and the normalization theorems (for both NJ and NK), the sequent calculus, including cut-elimination and mid-sequent theorems, and various applications of these results. The second half examines ordinal proof theory, specifically Gentzen''s consistency proof for first-order Peano Arithmetic. The theory of ordinal notations and other elements of ordinal theory are developed from scratch, and no knowledge of set theory is presumed. The proof methods needed to establish proof-theoretic results, especially proof by induction, are introduced
Forhåndsbestill
Frakt og levering
Beskrivelse
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader''s understanding. It also serves as a companion to reading the original pathbreaking articles by Gerhard Gentzen. The first half covers topics in structural proof theory, including the Gödel-Gentzen translation of classical into intuitionistic logic (and arithmetic), natural deductionand the normalization theorems (for both NJ and NK), the sequent calculus, including cut-elimination and mid-sequent theorems, and various applications of these results. The second half examines ordinal proof theory, specifically Gentzen''s consistency proof for first-order Peano Arithmetic. The theory of ordinalnotations and other elements of ordinal theory are developed from scratch, and no knowledge of set theory is presumed. The proof methods needed to establish proof-theoretic results, especially proof by induction, are introduced in stages throughout the text. Mancosu, Galvan, and Zach''s introduction will provide a solid foundation for those looking to understand this central area of mathematical logic and the philosophy of mathematics.

Produktinformasjon

Utforsk Bevisteori med An Introduction To Proof Theory Av Paolo

Velkommen til en fascinerende reise inn i bevisteori med An Introduction To Proof Theory Av Paolo. Denne boka er perfekt for alle som ønsker å forstå de grunnleggende prinsippene i matematiske bevis og logikk. Med klare forklaringer og praktiske eksempler, gjør denne teksten komplekse ideer lettfattelige.

Hva kan du forvente?

  • Detaljerte forklaringer: Hvert konsept er nøye forklart, med flere eksempler og øvelser som styrker din forståelse.
  • Strukturert læring: Boka er delt opp i to klare deler; den første dekker strukturell bevisteori, mens den andre utforsker ordinal bevisteori.
  • Ingen forutsetninger nødvendige: Du trenger ikke ha forkunnskaper i mengdeteori, da boka bygger opp teoriene fra grunnen av.

Innholdet i An Introduction To Proof Theory

Den første delen av boka omhandler:

  • Gödel-Gentzen oversettelse av klassisk til intuitiv logikk
  • Naturlig deduksjon og normaliseringsteoremer
  • Sequent kalkulus, inkludert avkuttning og mid-sequent teoremer
  • Praktiske anvendelser av teoretiske konsepter

Den andre delen tar for seg Gentzen's bevis for konsistensen av første ordens Peano aritmetikk og utvikler ordinalteori fra bunnen av.

Hvorfor velge An Introduction To Proof Theory Av Paolo?

Enten du er student, akademiker eller bare nysgjerrig på matematikks filosofi, vil denne boka gi deg en solid forståelse av bevisteori. Med et fokus på både anvendte og teoretiske aspekter, er det en uvurderlig ressurs for å bygge dine ferdigheter i matematisk logikk.

Grip sjansen til å utvide kunnskapen din og dykke dypt ned i en av de mest fundamentale delene av matematikken med An Introduction To Proof Theory Av Paolo!

Spesifikasjon

Generelt
Sett
Nei
TypPapirbøker

Pris og prishistorikk

Akkurat nå er 399,- den billigste prisen for An Introduction To Proof Theory Av Paolo (Willis S. And Marion Slusser Professor Of Philosophy Willis S. And Marion Slusser Professor Of Philosophy Un blant 2 butikker hos Prisradar. Sjekk også vår topp 5-rangering av beste religion, historie og filosofi for å være sikker på at du gjør det beste kjøpet.

Prisutvikling:
Stabil
Laveste pris:
320,-
Gjennomsnittspris:
320,-
Høyeste pris:
320,-
Beste tilbudet:
norli.no
Tilgjengelig