Vi bøger
Trustpilot
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 - Anna Horska - Bog

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.
  • 19. Oktober 2024
På lager

Normalpris

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.