Gjør som tusenvis av andre bokelskere
Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.
Ved å abonnere godtar du vår personvernerklæring.Du kan når som helst melde deg av våre nyhetsbrev.
Where is the Goedel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals
- Bindende:
- Paperback
- Sider:
- 77
- Utgitt:
- 6 november 2013
- Utgave:
- 2014
- Dimensjoner:
- 155x235x4 mm.
- Vekt:
- 1474 g.
Gratis frakt
Leveringstid:
2-4 uker
Forventet levering: 30 juli 2024
Beskrivelse 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.
Brukervurderinger av Where is the Goedel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Where is the Goedel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals finnes i følgende kategorier:
Du kan når som helst melde deg av våre nyhetsbrev.
© 2024 Tales.no
