title: Oskar Becker
text: # Oskar Becker
  
  Oskar Becker (5 septembre 1889 - 13 novembre 1964) est un philosophe, logicien, mathématicien et historien des mathématiques allemand.
  
  ## Formation
  
  Becker est né à Leipzig, où il étudie les mathématiques. Sa thèse sous Otto Hölder et Karl Rohn (en) (1914) est intitulée On the Decomposition of Polygons in non-intersecting triangles on the Basis of the Axioms of Connection and Order et porte sur la décomposition des polygones en triangles non sécants fondée sur les bases des axiomes de connexion et d'ordre.
  
  Il sert pendant la Première Guerre mondiale et retourne étudier la philosophie avec Edmund Husserl, écrivant son mémoire d'habilitation sur les Investigations of the Phenomenological Foundations of Geometry and their Physical Applications (1923). Becker est l'assistant de Husserl, officieusement, puis l'éditeur officiel de l'Annuaire de la recherche phénoménologique .
  
  ## Travail en phénoménologie et philosophie mathématique
  
  Il publie Mathematical Existence, son ouvrage majeur, dans l'Annuaire en 1927. Un ouvrage célèbre qui figurait également dans l' Annuaire cette année-là était L' Être et Temps de Martin Heidegger. Becker assiste fréquemment aux séminaires de Heidegger au cours de ces années.
  
  Becker utilise non seulement la phénoménologie husserlienne, mais, beaucoup plus controversée, l'herméneutique heideggerienne, discutant du comptage arithmétique comme du fait « d'être près de la mort ». Son travail a été critiqué à la fois par les néo-kantiens et par des logiciens rationalistes plus traditionnels, auxquels Becker a répondu avec empressement. Ce travail n’a pas eu une grande influence sur les débats ultérieurs sur les fondements des mathématiques, malgré ses nombreuses analyses intéressantes sur le sujet de son titre.
  
  Becker a débattu avec David Hilbert et Paul Bernays du rôle de l'infini potentiel dans la métamathématique formaliste de Hilbert. Becker a fait valoir que Hilbert ne pouvait pas en rester au finitisme, mais devait assumer le potentiel infini. Il est clair que Hilbert et Bernays acceptent implicitement l'infini potentiel, mais ils prétendent que chaque induction dans leurs preuves est finie. Becker avait raison de dire qu'une induction complète était nécessaire pour les affirmations de cohérence sous la forme de phrases universellement quantifiées, par opposition à l'affirmation selon laquelle un prédicat est valable pour chaque nombre naturel individuel.
  
  ## Logique intuitionniste et modale
  
  Becker a entamé la formalisation de la logique intuitionniste de Jan Brouwer. Il a développé une sémantique de la logique intuitionniste basée sur la phénoménologie de Husserl, une sémantique utilisée par Arend Heyting dans sa propre formalisation. Becker a cherché à formuler le rejet du tiers exclu approprié à la logique intuitionniste. Becker a finalement échoué à distinguer correctement la négation classique et intuitionniste, mais il a effectué une première percée. Dans une annexe de son livre sur l'existence mathématique, Becker pose le problème de la recherche d'un calcul formel pour la logique intuitionniste. Au début des années 1950, dans une série de travaux, il a étudié les logiques modales, intuitionnistes, probabilistes et autres.
  
  Becker a contribué à la logique modale (la logique de la nécessité et la possibilité) et le postulat de Becker, l'affirmation selon laquelle le statut modal est nécessaire (par exemple, que la possibilité de P implique la nécessité de la possibilité de P, ainsi que l' itération de nécessité) est nommé d'après lui. Le postulat de Becker a par la suite joué un rôle dans la formalisation donnée par Charles Hartshorne, théologien de process américain, de la preuve ontologique de l'existence de Dieu, stimulée par des conversations avec le positiviste logique et opposant de la prétendue preuve, Rudolf Carnap.
  
  ## Histoire des mathématiques
  
  Becker a également apporté d'importantes contributions à l'histoire et à l'interprétation des mathématiques de la Grèce antique. Becker, comme plusieurs autres, souligne la "crise" dans les mathématiques grecques occasionnée par la découverte de l'incommensurabilité du côté du pentagone (ou plus tard, aveces preuves plus simples, du triangle) par Hippase de Métaponte, et la menace (littéralement) des nombres irrationnels. Pour les théoriciens allemands de la "crise", la diagonale pythagoricienne de la place avait un impact similaire à la méthode de diagonalisation de Cantor consistant à générer des infinis d'ordre supérieur, et à la méthode de diagonalisation de Gödel dans la preuve de Gödel de l'incomplétude de l'arithmétique formelle. Becker, à l'instar de plusieurs historiens précédents, suggère d'éviter les ratios et les proportions en évitant l'énoncé arithmétique des grandeurs géométriques dans Euclide, en raison du recul dû au choc de l'incommensurabilité. Becker a également montré que tous les théorèmes de la théorie des proportions euclidiennes pourraient être prouvés en utilisant une alternative antérieure à la technique d'Eudoxe, que Becker a trouvée énoncée dans les Topiques d'Aristote et que Becker attribue à Théétète. Becker a également montré comment une logique constructive refusant le tiers exclu sans restriction pouvait être utilisée pour reconstruire la plupart des preuves d'Euclide.
  
  Des commentateurs révisionnistes plus récents, tels que Wilbur Knorr et David Fowler, ont accusé les historiens des mathématiques grecques du début du XXe siècle, tels que Becker, d’avoir lu de manière illégitime la crise de leur époque jusque dans la première période grecque. (Cette «crise» peut inclure à la fois la crise de la théorie des ensembles du XXe siècle et les fondements des mathématiques, et la crise générale de la Première Guerre mondiale, le renversement du Kaiser, les soulèvements communistes et la République de Weimar.)
  
  ## Réflexions ultérieures
  
  À la fin de sa vie, Becker réaffirme la distinction entre intuition du domaine formel et platonicien par opposition au domaine existentiel concret, au moins à la terminologie de la divination. Dans son Dasein und Dawesen Becker préconise ce qu'il appelle une divination "mantique". L'herméneutique de type heideggerien est applicable à la vie individuelle, mais le déchiffrement "mantique" est nécessaire non seulement en mathématiques, mais également en esthétique et dans la recherche de l'inconscient. Ces domaines traitent de l'éternel et de la structure, tels que les symétries de la nature, et sont correctement étudiés par une phénoménologie mantique, et non par une herméneutique. (L'accent mis par Becker sur l'intemporalité et la nature formelle de l'inconscient présente certains parallèles avec le récit de Jacques Lacan.)
  
  ## Contacts et correspondance
  
  Becker a eu une longue correspondance avec certains des plus grands mathématiciens et philosophes de l'époque. Parmi ceux-ci figurent Wilhelm Ackermann, Abraham Adolf Fraenkel, Arend Heyting, David Hilbert, John von Neumann, Hermann Weyl et Ernst Zermelo parmi les mathématiciens, ainsi que Hans Reichenbach et Felix Kaufmann parmi les philosophes. Les lettres que Becker a reçues de ces personnalités des mathématiques du XXe siècle et des principaux philosophes positivistes logiques, ainsi que les copies de ses lettres adressées à Becker, ont été détruites pendant la Seconde Guerre mondiale.
  
  La correspondance de Becker avec Weyl a été reconstituée (voir bibliographie), les copies des lettres de Becker lui étant conservées, et Becker cite souvent ou paraphrase les propres lettres de Weyl. On pourrait peut-être faire de même avec d'autres parties de cette correspondance précieuse mais perdue. Weyl est entré dans la correspondance avec Becker avec beaucoup d'espoir et d'attentes, étant donné leur admiration mutuelle pour la phénoménologie de Husserl et sa grande admiration pour le travail de Becker. Cependant, Weyl, qui avait des sympathies pour le constructivisme et l'intuitionnisme, a perdu patience lorsqu'il s'est disputé avec Becker au sujet d'une prétendue intuition de l'infini défendu par Becker. Weyl a conclu, avec amertume, que Becker discréditerait les approches phénoménologiques en mathématiques s’il persistait dans cette position.
  
  ## Nazisme
  
  Il est possible que le regard sur les premiers travaux de Becker ait souffert de ses allégeances nazies ultérieures.
  
  Il accueille favorablement l'arrivée du pouvoir d'Hitler en 1933. Le soutien qu'il apporte au régime nazi et aux mesures antisémites est notamment décrit par son ami de longue date Karl Löwith dans Ma vie en Allemagne avant et après 1933 (p. 64-75). Dans les fichiers du Service de sécurité SS (SD) concernant les professeurs de philosophie (SD-dossiers über Philosophie-Professoren), Oskar Becker a été classé de la manière suivante : « non membre du parti mais fidèle au national socialisme, tente de consolider l'idéologie nationale socialiste ".
  
  Becker développe ainsi en 1938, dans un article publié dans la revue Rasse, l'idée d'une "Métaphysique nordique" dans un style nazi assez standard. Selon Oskar Becker, "le rythme de la vie, qui revient sans cesse dans les dithyrambes dionysiens de Nietzsche, était identique à la volonté de puissance [...] et l'on pourrait dire en l'appliquant à aujourd'hui, concrètement, dans le sens où l'entend la jeunesse: identique aussi au rythme de marche des chemises brunes [de la SA]".
  
  Deux philosophes compétents qui étudiaient Becker, Jürgen Habermas et Hans Sluga (en), ont ensuite été confrontés à la question de l’influence du nazisme sur les universités allemandes. L'application des idées de Heidegger à la science théorique (sans parler des mathématiques) ne s'est généralisée que récemment, notamment dans le monde anglo-saxon. De plus, les réponses polémiques de Becker ont probablement aliéné encore plus ses critiques.
  
  Il est décédé à Bonn à l'âge de 75 ans.
  
  