FINITIST CONSISTENCY PROOFS AND THE IMPACT OF GODEL'S INCOMPLETENESS THEOREMS ON HILBERT'S METAMATHEMATICS

Schirn, M

Schirn, M (reprint author), Univ Munich, Munich Ctr Math Philosophy, Munich, Germany.

JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2018; 5 (6): 1273

Abstract

In this article, I first discuss several issues in Hilbert and Bernays's extension of the finitist point of view in the second volume of Foundations o......

Full Text Link