Where is the Goedel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals
indgår i SpringerBriefs in Philosophy serien
- Indbinding:
- Paperback
- Sideantal:
- 77
- Udgivet:
- 6. november 2013
- Udgave:
- 2014
- Størrelse:
- 155x235x4 mm.
- Vægt:
- 1474 g.
- 8-11 hverdage.
- 21. november 2024
På lager
Normalpris
Abonnementspris
- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
Beskrivelse af Where is the Goedel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals
This book explains the first published consistency proof of PA. A notable aspect of the proof is the representation of ordinal numbers that was developed by Gentzen. The topic should interest researchers and students who work on proof theory, history of proof theory or Hilbert's program and who do not mind reading mathematical texts.
Brugerbedømmelser af Where is the Goedel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Where is the Goedel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals findes i følgende kategorier:
© 2024 Pling BØGER Registered company number: DK43351621