Heinrich Scholz (logicien)

Heinrich Scholz à l' Institut de recherche mathématique d'Oberwolfach

Heinrich Scholz (né le 17 décembre 1884 à Berlin , † 30 décembre 1956 à Münster, Westphalie ) était un logicien, philosophe et théologien protestant allemand.

vie et travail

Le fils de l'ecclésiastique Hermann Scholz a étudié la philosophie et la théologie à Berlin et Erlangen et a obtenu sa licence en théologie . 1909. Il était l'élève d' Adolf von Harnack , en philosophie d' Alois Riehl et de Friedrich Paulsen . En 1910, Scholz a terminé son habilitation dans les matières de philosophie de la religion et de théologie systématique à Berlin. En 1913 , à Erlangen , il réussit l' examen de Richard Falckenberg pour le doctorat d' un Dr. phil. avec l'œuvre Schleiermacher et Goethe. Une contribution à l'histoire de l'esprit allemand .

Il a été nommé pour succéder à Rudolf Otto à Breslau , où il a enseigné la philosophie de la religion et la théologie systématique en tant que professeur titulaire à partir de 1917 . La même année, il épousa sa fiancée Elisabeth von Orth. Il a été libéré du service militaire en raison d'une maladie d'estomac qui a duré 8 ans. En 1919, il subit une opération qui lui a probablement enlevé une grande partie de l'estomac. La même année, il accepte un appel à Kiel pour une chaire de philosophie. A partir d'octobre 1928, il enseigne à Münster, d'abord comme professeur de philosophie. Là, il se lie d'amitié avec Karl Barth , qui enseigne la théologie protestante à Münster depuis 1925. Influencé par les conversations avec Scholz, Barth a écrit son livre en 1930/31 sur la preuve de Dieu d' Anselme de Cantorbéry , « fides quaerens intellectum ».

Après avoir interrompu ses études de logique au profit de la théologie dans sa jeunesse, il ne reprend qu'en 1924, fasciné par les Principia Mathematica de Bertrand Russell et Alfred North Whitehead , pour étudier les mathématiques et la physique théorique. Scholz est devenu un logicien mathématique.

Dans les années 1930, il a maintenu le contact avec Alan Turing , qui a écrit plus tard - dans une lettre à son domicile datée du 22 février 1937 - à propos de l'inclusion de son article « On Computable Numbers, with an Application to the Decision Problem » :

« J'ai reçu deux lettres demandant des réimpressions, une de Braithwaite à King's et une d'un professeur [sic] en Allemagne... Ils semblaient très intéressés par le journal. Je pense que cela fait peut-être une certaine impression. J'ai été déçu par son accueil ici. Je m'attendais à ce que Weyl, qui avait fait des travaux assez étroitement liés il y a quelques années au moins, ait fait quelques remarques à ce sujet. »

À l' Université Westphalienne Wilhelms de Münster , il a créé le premier pôle sur la logique mathématique et la recherche fondamentale, qui a une très forte influence sur l' informatique théorique d'aujourd'hui . Cette entreprise est entrée dans l'histoire de l'université sous le nom d'« École de Münster ». Sa chaire de professeur titulaire a été réaffectée en 1936 à un poste d'enseignant pour la logique mathématique et la recherche fondamentale et en 1943 à la première chaire en Allemagne pour la logique mathématique et la recherche fondamentale . La chaise Münster est toujours considérée comme l'une des meilleures d'Allemagne. Scholz a pris sa retraite en 1952. Pendant la Seconde Guerre mondiale, il a protégé le logicien polonais Jan Łukasiewicz de Varsovie avec une aide financière et s'est assuré qu'il s'installe à Münster.

Scholz était considéré comme un platonicien et, en ce sens, il considérait la logique mathématique comme le fondement de la connaissance. Il est considéré comme le découvreur du domaine de Gottlob Frege . C'est grâce à lui que les écrits de Frege sont devenus accessibles à un grand nombre de personnes. Sous la direction de Scholz, Friedrich Bachmann (1934), Hans Hermes (1938), Karl Schröter (1941) et Gisbert Hasenjaeger (1950) ont fait leur doctorat .

Dans la succession de Scholz, Achim Clausing a trouvé deux tirages originaux des publications les plus importantes d' Alan Turing , perdues depuis 1945, dans la cave de l'Institut d'informatique de l'Université Westphalie Wilhelms à Münster . Il s'agit de l'ouvrage "On Computable Numbers With an Application to the Decision-Making Problem" de 1937, que Scholz a demandé avec une carte postale de Turing la même année. Sur la base de ce travail, selon la déclaration de Clausing, Scholz a organisé « le premier séminaire au monde sur l'informatique ». Le deuxième ouvrage date de 1950 et est un traité sur le développement de l'intelligence artificielle, que Turing a fourni avec un commentaire manuscrit : « Ceci est probablement mon dernier exemplaire ». Chez Sotheby's , des tirages comparables de Turing sans dédicace ont été adjugés 180 000 euros.

À Münster, il habitait Westring 17 (aujourd'hui Domagkstrasse). La tombe de Scholz se trouve dans le cimetière du parc Eichhof à Kiel.

Polices (sélection)

  • Christianisme et science dans la doctrine de la foi de Schleiermacher. 1909.
  • Foi et incrédulité dans l'histoire du monde. Un commentaire sur Augustin de civitate dei. 1911.
  • Schleiermacher et Goethe. Une contribution à l'histoire de l'esprit allemand. 1913, thèse.
  • L'idéalisme comme porteur de l'idée de guerre. Friedrich Andreas Perthes, Gotha 1915. Les écrits de Perthes sur la guerre mondiale. Tome 3.
  • Politique et morale. Une enquête sur le caractère moral de la realpolitik moderne. Friedrich Andreas Perthes, Gotha 1915. Les écrits de Perthes sur la guerre mondiale. Tome 6.
  • La guerre et le christianisme. Friedrich Andreas Perthes, Gotha 1915. Les écrits de Perthes sur la guerre mondiale. Tome 7.
  • L'essence de l'esprit allemand. Grote'sche Verlagsbuchhandlung, Berlin 1917.
  • L'idée de l'immortalité comme problème philosophique. 1920.
  • Philosophie des religions. Reuther et Reichard, Berlin, 1921 ; 2e édition révisée, 1922.
  • Vers la "chute de l'ouest". Une dispute avec Oswald Spengler. Reuther & Reichard, Berlin ; 2. retravailler. et édition supplémentaire, 1921.
  • La philosophie de la religion du comme-si. Une revue de Kant et du positivisme idéaliste. 1921.
  • Le sens de la philosophie hégélienne pour la pensée philosophique du présent. Reuther & Reichard, Berlin 1921.
  • L'héritage de la théorie de l'espace et du temps de Kant. 1924.
  • Les bases des mathématiques grecques. 1928 avec Helmut Hasse .
  • Éros et Caritas. L'amour platonicien et l'amour au sens du christianisme. 1929.
  • Histoire de la logique. Junker et Dünnhaupt, Berlin 1931 (1959 avec un aperçu de l'histoire de la logique près d'Alber, Fribourg-en-Brisgau)
  • Position de Goethe sur la question de l'immortalité. 1934.
  • La nouvelle logique logistique et la science. Dans : Recherches et avancées. Tome 11, 1935.
  • La logique classique et la logique moderne. Dans : Feuilles pour la philosophie allemande. Tome 10, 1937, p. 254-281.
  • Fragments d'un platonicien. Staufen, Cologne aucune année (1940).
  • La métaphysique comme science stricte. Staufen, Cologne 1941.
  • Une nouvelle forme de recherche fondamentale. Recherches et progrès n° 35/36 année 1941, p. 382 et suiv.
  • Logique, grammaire, métaphysique. Dans : Archives pour la philosophie. Tome 1, 1947, p. 39-80.
  • Rencontre avec Nietzsche. Furche, Tübingen 1948.
  • Caractéristiques de base de la logique mathématique. Berlin, Göttingen 1961 avec Gisbert Hasenjaeger .
  • Mathesis universalis. Traités de philosophie en tant que science stricte. Edité par Hans Hermes , Friedrich Kambartel et Joachim Ritter , Wissenschaftliche Buchgesellschaft, Darmstadt 1961.
Essais
  • Épicéa et Napoléon. Dans : Annuaires prussiens. Tome 152, 1913, pages 1-12.
  • La philosophie de la religion du comme-si. Dans : Annales de philosophie. Tome 1, 1919, p. 27-113.
  • La philosophie de la religion du comme-si. Dans : Annales de philosophie. 3e tome, H. 1 1923, pp. 1-73.
  • Pourquoi les Grecs n'ont-ils pas construit les nombres irrationnels ? Dans : Études de Kant. Tome 3, 1928, p. 35-72.
  • Augustin et Descartes. Dans : Feuilles pour la philosophie allemande. Volume 5, 1932, numéro 4, pp. 405-423.
  • L'idée de Dieu en mathématiques. Dans : Feuilles pour la philosophie allemande. Volume 8, 1934/35, pp. 318-338.
  • Leibniz et la recherche mathématique fondamentale . Dans : Association des mathématiciens allemands (Ed.) : Rapport annuel de l'Association des mathématiciens allemands . ruban 52 . Teubner, 1942, ISSN  0012-0456 , p. 217-244 ( uni-goettingen.de ).
  • Logique, grammaire, métaphysique. Dans : Archives pour la philosophie juridique et sociale. Volume 36, 1943/44, pp. 393-433.

Littérature

liens web

Preuve individuelle

  1. ↑ a b Carte postale dactylographiée, Heinrich Scholz. 11 février 1937. The Turing Digital Archive, consulté le 23 janvier 2019 .
  2. ↑ a b Carte postale dactylographiée, Heinrich Scholz. 5 mars 1937. The Turing Digital Archive, consulté le 23 janvier 2019 .
  3. ^ Un b Alan Turing : Sur les nombres calculables, avec une application au problème de décision . Dans : Actes de la London Mathematical Society . 2ème série. ruban 42 , 1937, p. 230-265 , doi : 10.1112 / plms / s2-42.1.230 (anglais).
  4. ↑ Systems of Logic Based on Ordinals (1938), y compris des extraits de la correspondance de Turing, 1936-1938 . Dans : Copeland, B. Jack (Ed.) : The Essential Turing : Écritures séminales en informatique, logique, philosophie, intelligence artificielle et vie artificielle : plus les secrets de l'énigme . Clarendon Press, Oxford 2004, ISBN 978-0-19-825079-1 , p. 131 (anglais).
  5. ↑ Hans-Christoph Schmidt am Busch et Kai F. Wehmeier : « C'est la seule trace que je laisse derrière moi » : documents sur l'histoire des origines de l'Institut de logique mathématique et de recherche fondamentale. Dans : H.-C. Schmidt am Busch, KF Wehmeier (éd.) : Heinrich Scholz : Logicien, philosophe, théologien. mentis Verlag, Paderborn 2005, p. 93-101.
  6. ^ Hans Christoph Schmidt am Busch, Kai F. Wehmeier : Sur les relations entre Heinrich Scholz et Jan Łukasiewicz. In : Histoire et philosophie de la logique. Volume 28, 2007, p. 67-81.
  7. ↑ Kai F. Wehmeier, Hans-Christoph Schmidt am Busch : A la recherche du domaine de Frege. Dans : G. Gabriel, U. Dathe (éd.) : Gottlob Frege : Travail et effet. mentis Verlag, Paderborn 2000, p. 267-281.
  8. ↑ a b c d e Westfälische Nachrichten : Sur les traces d'un pionnier : Des tirages originaux de l'informaticien Alan Turing se trouvent à la bibliothèque universitaire de Münster. Westphalie, Münster, Elmar Ries, 28 janvier 2013.
  9. ↑ Philosophisches Jahrbuch 56 (1946) 112.
données personnelles
NOM DE FAMILLE Scholz, Heinrich
BRÈVE DESCRIPTION théologien, mathématicien et philosophe protestant allemand
DATE DE NAISSANCE 17 décembre 1884
LIEU DE NAISSANCE Berlin
DATE DE DÉCÈS 30 décembre 1956
LIEU DU DÉCÈS Muenster