Vers 1918 Hermann Weyl abandonnait le logicisme et donc la tentative de réduire les mathématiques à la logique et la théorie des ensembles. Au niveau philosophique, ses points de référence furent ensuite Husserl et Fichte. Dans les années 1920 il distingua leurs positions, entre une direction intuitionniste-phénoménologique d’un côté, et formaliste-constructiviste de l’autre. Peu après Weyl, Oskar Becker adopta une distinction similaire. Mais à la différence du phénoménologue Becker, Weyl considérait l’approche active du constructivisme de Fichte comme supérieure à la (...) vision d’essences passive de Husserl. Dans cet essai, je montre ce développement dans la pensée de Weyl. Bien que certains points dans sa réception de Husserl et Fichte ne soient pas soutenables, je vais argumenter en faveur de la distinction fondamentale mentionnée ci-dessus. (shrink)

Vers 1918 Hermann Weyl abandonnait le logicisme et donc la tentative de réduire les mathématiques à la logique et la théorie des ensembles. Au niveau philosophique, ses points de référence furent ensuite Husserl et Fichte. Dans les années 1920 il distingua leurs positions, entre une direction intuitionniste-phénoménologique d’un côté, et formaliste-constructiviste de l’autre. Peu après Weyl, Oskar Becker adopta une distinction similaire. Mais à la différence du phénoménologue Becker, Weyl considérait l’approche active du constructivisme de Fichte comme supérieure à la (...) vision d’essences passive de Husserl. Dans cet essai, je montre ce développement dans la pensée de Weyl. Bien que certains points dans sa réception de Husserl et Fichte ne soient pas soutenables, je vais argumenter en faveur de la distinction fondamentale mentionnée ci-dessus. (shrink)

Recently discovered correspondence from Oskar Becker to Hermann Weyl sheds new light on Weyl's engagement with Husserlian transcendental phenomenology in 1918-1927. Here the last two of these letters, dated July and August, 1926, dealing with issues in the philosophy of mathematics are presented, together with background and a detailed commentary. The letters provide an instructive context for re-assessing the connection between intuitionism and phenomenology in Weyl's foundational thought, and for understanding Weyl's term ‘symbolic construction’ as marking his own considered position (...) in the foundational controversy of the 1920s. In addition, they reveal Weyl's hitherto unknown objections to Becker's detailed attempt (Mathematische Existenz, 1927) to ground the transfinite phenomenologically. (shrink)

Hermann Weyl was one of the early contributors to the mathematics of general relativity. This article argues that in 1929, for the formulation of a general relativistic framework of the Dirac equation, he both abolished and preserved in modified form the conceptual perspective that he had developed earlier in his “analysis of the problem of space.” The ideas of infinitesimal congruence from the early 1920s were aufgehoben in the general relativistic framework for the Dirac equation. He preserved the central idea (...) of gauge as a “purely infinitesimal” aspect of symmetries in a group extension schema. With respect to methodology, however, Weyl gave up his earlier preferences for relatively a-priori arguments and tried to incorporate as much empiricism as he could. This signified a clearly expressed empirical turn for him. Moreover, in this step he emphasized that the mathematical objects used for the representation of matter structures stood at the center of the construction, rather than interaction fields which, in the early 1920s, he had considered as more or less derivable from geometrico-philosophical considerations. (shrink)