Internal Logic pp 118-147 | Cite as

From Kronecker to Brouwer

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


There is no need to recall the polemics between Kronecker and Cantor, simply because it did not exist. H. Edwards (1987) has recently shown that if there has been any quarrel between the two, it has not been the virulent one some had evoked. The intransigent Kronecker, a <Verbotsdiktator> in Hilbert’s words, is supposed to have been a fiend of Cantor, whom he would have called a youth perverter <Verderber der Jugend>. Cantor is said to have returned the compliment by calling Kronecker <der kleine Despot>. I would like to draw the attention to facts of a more mathematical import.


Deductive System Double Negation Internal Logic General Arithmetic Pure 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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Weyl even thanks Brouwer for such an internal logic: « Ich glaube, für diese Erkenntnis der Grenzen des inhaltlichen Denkens sind wir ihm (Brouwer) alle zu Danke verplichtet » (Weyl, 1968, III, p. 147).Google Scholar
  2. C. Chevalley and A. Weil characteristically declare: «il s’abandonna un moment à l’intuitionnisme brouwerien » in their obituary of L’enseignement mathématique, tome III, fasc. 3 (1957) reprinted in (Weyl, 1968, IV, p. 659 ).Google Scholar
  3. The topological interpretation (see Scott, 1969) is not without interest, nor is the “toposical” interpretationGoogle Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2002

Authors and Affiliations

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

Personalised recommendations