Heinrich Scholz (logikus)

Heinrich Scholz, az Oberwolfach Matematikai Kutatóintézet munkatársa

Heinrich Scholz (született December 17-, 1884-ben a berlini , † December 30-, 1956-os a Münster, Vesztfália ) német logikus, filozófus és teológus protestáns.

az élet és a munka

Hermann Scholz , a lelkész fia Berlinben és Erlangenben tanult filozófiát és teológiát , és megszerezte Theol. 1909. Adolf von Harnack tanítványa volt , Alois Riehl és Friedrich Paulsen filozófiából . Scholz 1910 -ben Berlinben fejezte be habilitációját a vallásfilozófia és a szisztematikus teológia tantárgyakból. 1913 -ban Erlangenben letette Richard Falckenberg doktori fokozatát. phil. A munka Schleiermacher és Goethe. Hozzájárulás a német szellem történetéhez .

Nevezték a sikerhez Rudolf Otto A Breslau , ahol tanított vallásfilozófia és rendszeres teológia , mint egy egyetemi tanár 1917-től . Ugyanebben az évben feleségül vette menyasszonyát, Elisabeth von Orth -t. 8 évig tartó gyomorbetegsége miatt szabadult fel a katonai szolgálat alól. 1919 -ben műtéten esett át, amely valószínűleg eltávolította a gyomrának nagy részét. Ugyanebben az évben elfogadta a felhívást Kielbe , hogy filozófiai katedrát szerezzen. 1928 októberétől Münsterben tanított, először a filozófia professzora. Ott összebarátkozott Karl Barth -tal , aki 1925 óta tanította Münsterben a protestáns teológiát. A Scholzzal folytatott beszélgetések hatására Barth 1930/31 -ben írta könyvét Anselm Canterbury istenbizonyításáról , "fides quaerens intellectum".

Miután fiatalkorában megszakította logikai tanulmányait a teológia javára, csak 1924 -ben kezdte újra, Bertrand Russell és Alfred North Whitehead Principia Mathematica című művével elragadtatva, hogy matematikát és elméleti fizikát tanuljon. Scholzból matematikai logikus lett.

Az 1930 -as években tartotta a kapcsolatot Alan Turinggal , aki később - 1937. február 22 -én kelt levelében - írta a „Számítható számokról, a döntési probléma alkalmazásával” című cikkének felvételéről:

- Két levélben kaptam újranyomtatást, az egyik Braithwaite -tól a Kingnél, a másik pedig egy német professzortól ... Úgy tűnt, nagyon érdeklődnek a lap iránt. Azt hiszem, ez bizonyos benyomást kelt. Csalódott voltam az itteni fogadtatás miatt. Arra számítottam, hogy Weyl, aki néhány évvel ezelőtt szorosan összefüggő munkát végzett, legalább néhány megjegyzést tett róla. "

A münsteri Westphalian Wilhelms Egyetemen ő hozta létre az első hangsúlyt a matematikai logikára és az alapkutatásra, ami nagyon erős hatással van a mai elméleti informatikára . Ez a törekvés az egyetemi történelembe "Münster iskolájaként" került. Teljes professzori tisztségét 1936 -ban újra matematikai logikai és alapkutatási tanári tisztségre , 1943 -ban pedig Németország első matematikai logikai és alapkutatási székére szentelték . A Münster szék továbbra is az egyik legjobb Németországban. Scholz 1952 -ben vonult nyugdíjba. A második világháború idején anyagi segítséggel megvédte Jan Łukasiewicz lengyel logikust Varsótól, és gondoskodott arról, hogy Münsterbe költözzön.

Scholzot platonistának tartották, és ebben az értelemben a matematikai logikát tekintette a tudás alapjának. Őt tartják Gottlob Frege birtokának felfedezőjének . Rajta keresztül váltak Frege írásai nagyszámú ember számára hozzáférhetővé. Scholz vezetésével doktorált Friedrich Bachmann (1934), Hans Hermes (1938), Karl Schröter (1941) és Gisbert Hasenjaeger (1950).

Achim Clausing Scholz birtokán Alan Turing legfontosabb , 1945 óta elveszett kiadványainak két eredeti nyomatát találta a münsteri Westphalian Wilhelms Egyetem Számítástechnikai Intézetének pincéjében . Ez a "Számítható számokról a döntéshozatali problémára való alkalmazással" című mű 1937-ből, amelyet Scholz egy képeslappal kért Turingtól ugyanebben az évben. E munka alapján, Clausing nyilatkozata szerint Scholz „a világ első számítástechnikai szemináriumát” tartotta. A második munka 1950 -ből származik, és a mesterséges intelligencia fejlesztéséről szóló értekezés, amelyet Turing kézzel írt megjegyzéssel adott: „Ez valószínűleg az utolsó példányom”. A Sotheby’s -ben 180 000 euróért árverésre bocsátották a Turing hasonló nyomatait, amelyeknek nincs dedikálása.

Münsterben a Westring 17 -ben (ma Domagkstrasse) lakott. Scholz sírja Kielben , az Eichhof park temetőben található.

Betűtípusok (kiválasztás)

  • Kereszténység és tudomány Schleiermacher hittanában. 1909.
  • Hit és hitetlenség a világtörténelemben. Egy megjegyzés Augustine de civitate dei -hez. 1911.
  • Schleiermacher és Goethe. Hozzájárulás a német szellem történetéhez. 1913, értekezés.
  • Az idealizmus, mint a háború eszméjének hordozója. Friedrich Andreas Perthes, Gotha 1915. Perthes írásai a világháborúról. 3. kötet.
  • Politika és erkölcs. A modern reálpolitika erkölcsi jellegének vizsgálata. Friedrich Andreas Perthes, Gotha 1915. Perthes írásai a világháborúról. 6. kötet.
  • A háború és a kereszténység. Friedrich Andreas Perthes, Gotha 1915. Perthes írásai a világháborúról. 7. kötet.
  • A német elme lényege. Grote'sche Verlagsbuchhandlung, Berlin 1917.
  • A halhatatlanság gondolata, mint filozófiai probléma. 1920.
  • Vallásfilozófia. Reuther & Reichard, Berlin, 1921; 2., javított kiadás, 1922.
  • A „nyugati bukáshoz”. Vita Oswald Spenglerrel. Reuther & Reichard, Berlin; 2. átdolgozás. és további szerk., 1921.
  • A vallásfilozófia a mintha. Kant és az idealista pozitivizmus áttekintése. 1921.
  • A hegeli filozófia jelentése a jelen filozófiai gondolkodására. Reuther & Reichard, Berlin 1921.
  • Kant tér- és időelméletének öröksége. 1924.
  • A görög matematika alapjai. 1928 Helmut Hasse -val .
  • Erósz és Karitász. Platóni szeretet és szeretet a kereszténység értelmében. 1929.
  • A logika története. Junker és Dünnhaupt, Berlin 1931 (1959 a logika történetének vázlatával Alber közelében, Freiburg im Breisgau)
  • Goethe álláspontja a halhatatlanság kérdésében. 1934.
  • Az új logisztikai logika és tudomány. In: Kutatások és előrelépések. 1935. 11. kötet.
  • A klasszikus és a modern logika. In: Levelek a német filozófiához. 10. kötet, 1937., 254-281.
  • Egy platonista töredékei. Staufen, Köln nincs év (1940).
  • A metafizika, mint szigorú tudomány. Staufen, Köln 1941.
  • Az alapkutatás új formája. Kutatás és haladás 35/36. Szám, 1941. év, 382. o.
  • Logika, nyelvtan, metafizika. In: Archívum a filozófiához. 1. kötet, 1947, 39-80.
  • Találkozás Nietzschével. Furche, Tübingen 1948.
  • A matematikai logika alapvető jellemzői. Berlin, Göttingen 1961 Gisbert Hasenjaegerrel .
  • Mathesis universalis. A filozófiát, mint szigorú tudományt tartalmazó traktátusok. Szerk .: Hans Hermes , Friedrich Kambartel és Joachim Ritter , Wissenschaftliche Buchgesellschaft, Darmstadt 1961.
Esszék
  • Luc és Napóleon. In: Porosz évkönyvek. 152. kötet, 1913, 1-12.
  • A vallásfilozófia a mintha. In: A filozófia évkönyvei. 1. kötet, 1919, 27-113.
  • A vallásfilozófia a mintha. In: A filozófia évkönyvei. 3. kötet, H. 1 1923, 1-73.
  • Miért nem építették fel a görögök az irracionális számokat? In: Kant -tanulmányok. 3. kötet, 1928, 35-72.
  • Augustine és Descartes. In: Levelek a német filozófiához. 1932. 5. kötet, 4. szám, 405-423.
  • Isten gondolata a matematikában. In: Levelek a német filozófiához. 8. kötet, 1934/35, 318-338.
  • Leibniz és alapvető matematikai kutatások . In: Német Matematikusok Szövetsége (Szerk.): A Német Matematikusok Szövetségének éves jelentése . szalag 52 . Teubner, 1942, ISSN  0012-0456 , p. 217-244 ( uni-goettingen.de ).
  • Logika, nyelvtan, metafizika. In: Archívum a jogi és társadalmi filozófiához. 36. kötet, 1943/44, 393-433.

irodalom

web Linkek

Egyéni bizonyíték

  1. ↑ a b Gépelt képeslap, Heinrich Scholz. 1937. február 11. A Turing Digital Archive, hozzáférés: 2019. január 23 .
  2. ↑ a b Gépelt képeslap, Heinrich Scholz. 1937. március 5. A Turing Digital Archive, hozzáférés: 2019. január 23 .
  3. ^ A b Alan Turing: Számítható számokról, a döntési probléma alkalmazásával . In: Proceedings of the London Mathematical Society . 2. sorozat. szalag 42 , 1937, pp. 230–265 , doi : 10.1112 / plms / s2-42.1.230 (angol).
  4. ↑ Ordinalson alapuló logikai rendszerek (1938), beleértve a Turing levelezésének részleteit, 1936-1938 . In: Copeland, B. Jack (szerk.): The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence and Artificial Life: Plus the Enrema of Enigma . Clarendon Press, Oxford 2004, ISBN 978-0-19-825079-1 , pp. 131 (angol).
  5. ↑ Hans-Christoph Schmidt am Busch és Kai F. Wehmeier : „Ez az egyetlen nyom, amit magam mögött hagyok”: dokumentumok a Matematikai Logikai és Alapkutató Intézet eredetének történetéről. In: H.-C. Schmidt am Busch, KF Wehmeier (szerk.): Heinrich Scholz: Logikus, filozófus, teológus. mentis Verlag, Paderborn 2005, 93-101.
  6. ^ Hans Christoph Schmidt am Busch, Kai F. Wehmeier: Heinrich Scholz és Jan Łukasiewicz kapcsolatairól. In: A logika története és filozófiája. 2007. év 28. kötet, 67-81.
  7. ↑ Kai F. Wehmeier, Hans-Christoph Schmidt am Busch : Frege birtokát keresve. In: G. Gabriel, U. Dathe (szerk.): Gottlob Frege: Work and Effect. mentis Verlag, Paderborn 2000, 267-281.
  8. ↑ a b c d e Westfälische Nachrichten : Úttörő nyomában: Alan Turing informatikus eredeti nyomatai a Münster Egyetemi Könyvtárban vannak. Westphalia, Münster, Elmar Ries, 2013. január 28.
  9. ↑ Philosophisches Jahrbuch 56 (1946) 112.
személyes adatok
VEZETÉKNÉV Scholz, Heinrich
RÖVID LEÍRÁS Német protestáns teológus, matematikus és filozófus
SZÜLETÉSI DÁTUM 1884. december 17
SZÜLETÉSI HELY Berlin
HALÁL DÁTUMA 1956. december 30
HALÁL HELYE Muenster