Where is the Godel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals
Vše od
Springer International Publishing AG
ISBN: 9783319021706
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...
1 615 Kč
- 1 - 2 ks
- 1 615 Kč
- 3 - 10 ks
- 1 599 Kč
- 11 a více ks
- 1 583 Kč
Naše cena 1 615 Kč je o 6 % nižší než
doporučená cena výrobce 1 719 Kč.
Předpoklad doručení do 25. června *
* Termín expedice je odhadovaný a může se mírně upravit podle termínu dodání od našeho dodavatele. Pokud by došlo ke změně, vždy vás budeme včas informovat.
Nepřehlédněte od Springer International Publishing AG ↓
1 615 Kč
Více o produktu ↓
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.?
- Výrobce
- Springer International Publishing AG
- Jazyk
- Switzerland
- Autor
- Horska, Anna
- Rozměry
- 235 x 155
- Rok vydání
- 2013
- Počet stran
- 77
- Obsah
- Paperback / softback
- Počet stran
- 77 pages, IX, 77 p.
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Where is the Godel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals a pomůžete tak ostatním zákazníkům při výběru.
Navíc každý měsíc losujeme jednoho z těch, kteří nám zanechali recenzi, a obdarujeme ho kuponem na nákup v hodnotě 500 Kč. Možná právě Vy budete tím šťastným – držíme palce!
