Where is the Godel-point hiding: Gentzen’s Consistency Proof of 1936 and His Represen... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Filosofi: logik
  5. Matematikkens fundament
  6. Where is the Godel-point hiding: Gentzen’s Consistency Proof...

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

(Bog, Paperback / softback, Engelsk)
Forfatter: Anna Horska
Forlag: Springer International Publishing AG

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Filosofi: logik Matematikkens fundament
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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.?

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Forfatter Anna Horska
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2014 ed.
Udgivelsesdato 06-11-2013
Første udgivelsesår 2013
Serie SpringerBriefs in Philosophy
Illustrationer IX, 77 p.
Originalsprog Switzerland
Sideantal 77
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 77 pages, IX, 77 p.
Mål 235 x 155
ISBN-13 / EAN-13 9783319021706