The papers in the collection discuss various features of Gentzen's four consistency proofs for elementary number theory. In the review they are discussed within a general reflection on Gentzen's idea of proof theory.
Essay Review of R. Kahle, M. Rathjen, Gentzen's Centenary,. The Quest for Consistency, Springer, Berlin 2015
MORICONI, ENRICO
2017-01-01
Abstract
The papers in the collection discuss various features of Gentzen's four consistency proofs for elementary number theory. In the review they are discussed within a general reflection on Gentzen's idea of proof theory.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
