Where is the Godel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals - SpringerBriefs in Philosophy - Anna Horska - Books - Springer International Publishing AG - 9783319021706 - November 6, 2013
In case cover and title do not match, the title is correct

Anna Horska
Where is the Godel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals - SpringerBriefs in Philosophy 2014 edition

Price
$ 70.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 1 - 7

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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

77 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released November 6, 2013
ISBN13 9783319021706
Publishers Springer International Publishing AG
Pages 77
Dimensions 155 × 234 × 7 mm   ·   154 g
Language English  

Mere med samme udgiver

See all of Anna Horska ( e.g. Paperback Book )