Foundations of Mathematics from Kronecker to Hilbert
by
Y. Gauthier
Language: English
Release Date: March 9, 2013
Internal logic is the logic of content. The content is here arithmetic and the emphasis is on a constructive logic of arithmetic (arithmetical logic). Kronecker's general arithmetic of forms (polynomials) together with Fermat's infinite descent is put to use in an internal consistency proof. The view...