Where is the Godel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals - SpringerBriefs in Philosophy - Anna Horska - Libros - Springer International Publishing AG - 9783319021706 - 6 de noviembre de 2013
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
$ 71,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 30 de jun. - 13 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 6 de noviembre de 2013
ISBN13 9783319021706
Editores Springer International Publishing AG
Páginas 77
Dimensiones 155 × 234 × 7 mm   ·   154 g
Lengua Inglés  

Mere med samme udgiver

Ver todo de Anna Horska ( Ej. Paperback Book )