Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Vetenskap
  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

av Anna Horska

del av SpringerBriefs in Philosophy-serien

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

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783319021706
  • Format:
  • Häftad
  • Sidor:
  • 77
  • Utgiven:
  • 6. november 2013
  • Utgåva:
  • 2014
  • Mått:
  • 155x235x4 mm.
  • Vikt:
  • 1474 g.
Leveranstid: 2-4 veckor
Förväntad leverans: 16. december 2024

Om Anna Horska

Se alla böcker av Anna Horska

Beskrivning av 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.

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



Andra köpte även...
Hitta liknande böcker
Boken Where is the Goedel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.