De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Videnskab
  5. Where is the Goedel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals

Where is the Goedel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals

af Anna Horska

indgår i SpringerBriefs in Philosophy serien

Where is the Goedel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals af Anna Horska
Bag om 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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783319021706
  • Indbinding:
  • Paperback
  • Sideantal:
  • 77
  • Udgivet:
  • 6. november 2013
  • Udgave:
  • 2014
  • Størrelse:
  • 155x235x4 mm.
  • Vægt:
  • 1474 g.
  • 8-11 hverdage.
  • 10. december 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.

Bag om Anna Horska

Vis alle bøger af Anna Horska

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



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: