Advertisement

From Hilbert to Kronecker

  • Yvon Gauthier
Chapter
Part of the Synthese Library book series (SYLI, volume 310)

Abstract

Hilbert uses the expression «das inhaltliche logische Schliessen »1 which I translate by “internal logic”, rather than logic of content. Brouwer and H. Weyl2 use also the expression to designate an inner logic different from formal (external) logic which mirrors only the superficial structure of mathematics. For Hilbert, internal logic is not ordinary or formal logic, the rôle of which is only ancillary, that is the demonstration of theorems in a given mathematical theory. But internal logic, often identified with metamathematics3, should be considered as an “intramathematics” in the sense that the inner consistency of axioms is more important than the deduction of particular theorems. In other words, proof theory <Beweistheorie> or <Metamathematik> is an internal logic to the extent it describes the inner workings of a mathematical theory. Proof theory has been seen as the theory of formal systems and, by extension, as the very embodiment of formalism. The hypothesis that I want to defend goes the other way: internal logic is the opposite of formalism and Hilbert’s endeavour or programme could be formulated in the following terms: internal finitary logic reduces infinitary formal logic in the same manner that a finitary mathematical theory (like arithmetic) reduces the infinite problems of the theory of forms or the theory of invariants to a finite calculus.

Keywords

Elliptic Function Modular System Proof Theory Algebraic Integer Internal Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media Dordrecht 2002

Authors and Affiliations

  • Yvon Gauthier
    • 1
  1. 1.University of MontréalCanada

Personalised recommendations