Heinrich Scholz (logician)

Heinrich Scholz (n . 17 decembrie 1884 la Berlin , † 30 decembrie 1956 la Münster, Westfalia ) a fost un logician, filosof și teolog protestant german.

viata si munca

Fiul duhovnicului Hermann Scholz a studiat filosofia și teologia la Berlin și Erlangen și a obținut licența lui Theol. 1909. A fost student al lui Adolf von Harnack , în filozofie de la Alois Riehl și Friedrich Paulsen . În 1910, Scholz și-a finalizat abilitarea la disciplinele de filosofie a religiei și teologie sistematică la Berlin. În Erlangen a pus în 1913 când Richard Falkenberg a testat pentru promovarea Dr. phil. cu lucrarea Schleiermacher și Goethe. O contribuție la istoria spiritului german .

A fost numit să-l succede pe Rudolf Otto la Breslau , unde a predat filosofie religioasă și teologie sistematică ca profesor titular din 1917 . În același an s-a căsătorit cu logodnica sa Elisabeth von Orth. El a fost eliberat din serviciul militar din cauza unei boli de stomac care a durat 8 ani. În 1919 a suferit o operație care probabil i-a îndepărtat o mare parte din stomac. În același an a acceptat apelul la Kiel pentru o catedră de filozofie. Din octombrie 1928 a predat la Münster, mai întâi ca profesor de filosofie. Acolo s-a împrietenit cu Karl Barth , care predase teologie protestantă în Münster încă din 1925. Influențat de conversațiile cu Scholz, Barth și-a scris cartea în 1930/31 despre dovada lui Dumnezeu a lui Anselm din Canterbury , „fides quaerens intellectum”.

După ce și-a întrerupt studiile de logică în favoarea teologiei în tinerețe, el nu a început din nou până în 1924, fascinat de Principia Mathematica de Bertrand Russell și Alfred North Whitehead , pentru a studia matematica și fizica teoretică. Scholz a devenit logician matematic.

În anii 1930, el a menținut contactul cu Alan Turing , care mai târziu a scris - într-o scrisoare către casa sa din 22 februarie 1937 - despre includerea articolului său „Despre numerele computerizate, cu o aplicație la problema decizională”:

„Am primit două scrisori care cer reimprimări, una de la Braithwaite la King și una de la un profesor [sic] din Germania ... Păreau foarte interesați de ziar. Cred că poate face o anumită impresie. Am fost dezamăgit de primirea sa aici. Mă așteptam ca Weyl, care a făcut o muncă legată destul de strâns de ea cu câțiva ani în urmă, cel puțin să fi făcut câteva observații despre asta. "

La Universitatea Westphalian Wilhelms din Münster , a creat primul accent pe logica matematică și cercetarea de bază, care are o influență foarte puternică asupra informaticii teoretice de astăzi . Acest efort a intrat în istoria universității sub numele de „Școala din Münster”. Profesorul său complet a fost dedicat în 1936 unei funcții didactice de logică matematică și cercetare de bază, iar în 1943 primei catedre din Germania de logică matematică și cercetare de bază . Scaunul Münster este încă considerat unul dintre cele mai bune din Germania astăzi. Scholz s-a retras în 1952. În timpul celui de- al doilea război mondial, el l-a protejat pe logicianul polonez Jan Łukasiewicz din Varșovia cu ajutorul financiar și a aranjat ca acesta să se mute la Münster.

Scholz a fost considerat un platonist și, în acest sens, a considerat logica matematică ca fundamentul cunoașterii. Este considerat a fi descoperitorul moșiei lui Gottlob Frege . Prin el, scrierile lui Frege au devenit accesibile unui număr mare de oameni. Sub îndrumarea lui Scholz și -au făcut doctoratul Friedrich Bachmann (1934), Hans Hermes (1938), Karl Schröter (1941) și Gisbert Hasenjaeger (1950).

În moșia lui Scholz, Achim Clausing a găsit două tipărituri originale ale celor mai importante publicații ale lui Alan Turing , care se pierduseră din 1945, în pivnița Institutului pentru Informatică de la Westphalian Wilhelms University din Münster . Aceasta este lucrarea „Despre numerele computerizate cu o aplicație la problema deciziei” din 1937, pe care Scholz a solicitat-o ​​lui Turing în același an cu o carte poștală. Pe baza acestei lucrări, conform declarației lui Clausing, Scholz a ținut „primul seminar din lume despre informatică”. A doua lucrare datează din 1950 și este un tratat privind dezvoltarea inteligenței artificiale, pe care Turing l-a furnizat cu un comentariu scris de mână: „Acesta este probabil ultimul meu exemplar”. La Sotheby’s , amprentele comparabile ale lui Turing care nu aveau nicio dedicație au fost licitate pentru 180.000 de euro.

În Münster a locuit în Westring 17 (astăzi Domagkstrasse). Mormântul lui Scholz se află în cimitirul parcului Eichhof din Kiel.

Fonturi (selecție)

  • Creștinismul și știința în Doctrina credinței lui Schleiermacher. 1909.
  • Credința și necredința în istoria lumii. Un comentariu la Augustine de civitate dei. 1911.
  • Schleiermacher și Goethe. O contribuție la istoria spiritului german. 1913, disertație.
  • Idealismul ca purtător al ideii de război. Friedrich Andreas Perthes, Gotha 1915. Scrierile lui Perthes despre războiul mondial. Volumul 3.
  • Politică și morală. O investigație asupra caracterului moral al realpolitikului modern. Friedrich Andreas Perthes, Gotha 1915. Scrierile lui Perthes despre războiul mondial. Volumul 6.
  • Războiul și creștinismul. Friedrich Andreas Perthes, Gotha 1915. Scrierile lui Perthes despre războiul mondial. Volumul 7.
  • Esența minții germane. Grote'sche Verlagsbuchhandlung, Berlin 1917.
  • Ideea nemuririi ca problemă filosofică. 1920.
  • Filosofia religiei. Reuther & Reichard, Berlin, 1921; Ediția a doua, revizuită, 1922.
  • Spre „căderea apusului”. O ceartă cu Oswald Spengler. Reuther & Reichard, Berlin; 2. refacere. și ed. suplimentară, 1921.
  • Filosofia religiei de parcă. O trecere în revistă a lui Kant și a pozitivismului idealist. 1921.
  • Sensul filozofiei hegeliene pentru gândirea filosofică a prezentului. Reuther & Reichard, Berlin 1921.
  • Moștenirea teoriei lui Kant despre spațiu și timp. 1924.
  • Bazele matematicii grecești. 1928 cu Helmut Hasse .
  • Eros și Caritas. Iubirea platonică și iubirea în sensul creștinismului. 1929.
  • Istoria logicii. Junker și Dünnhaupt, Berlin 1931 (1959 cu o schiță a istoriei logicii lângă Alber, Freiburg im Breisgau)
  • Poziția lui Goethe cu privire la problema nemuririi. 1934.
  • Noua logică logistică și știință. În: Cercetări și avansuri. Volumul 11, 1935.
  • Logica clasică și cea modernă. În: Frunze pentru filosofia germană. Volumul 10, 1937, pp. 254-281.
  • Fragmente de platonist. Staufen, Köln fără an (1940).
  • Metafizica ca știință strictă. Staufen, Köln 1941.
  • O nouă formă de cercetare de bază. Cercetare și progres nr 35/36 anul 1941, p. 382 și urm.
  • Logică, gramatică, metafizică. În: Arhivă pentru filosofie. Volumul 1, 1947, pp. 39-80.
  • Întâlnire cu Nietzsche. Furche, Tübingen 1948.
  • Trăsături de bază ale logicii matematice. Berlin, Göttingen 1961 cu Gisbert Hasenjaeger .
  • Mathesis universalis. Tratate despre filozofie ca o știință strictă. Editat de Hans Hermes , Friedrich Kambartel și Joachim Ritter , Wissenschaftliche Buchgesellschaft, Darmstadt 1961.
Eseuri
  • Molid și Napoleon. În: cărțile anului prusac. Vol. 152, 1913, pp. 1-12.
  • Filosofia religiei de parcă. În: Analele filozofiei. Volumul 1, 1919, pp. 27-113.
  • Filosofia religiei de parcă. În: Analele filozofiei. Volumul 3, H. 1 1923, pp. 1-73.
  • De ce nu au crescut grecii cifrele iraționale? În: Kant studiază. Volumul 3, 1928, pp. 35-72.
  • Augustin și Descartes. În: Frunze pentru filosofia germană. Volumul 5, 1932, Numărul 4, pp. 405-423.
  • Ideea lui Dumnezeu în matematică. În: Frunze pentru filosofia germană. Volumul 8, 1934/35, pp. 318-338.
  • Leibniz și cercetarea matematică de bază . În: German Mathematicians Association (Hrsg.): Raport anual al German Mathematicians Association . bandă 52 . Teubner, 1942, ISSN  0012-0456 , p. 217-244 ( uni-goettingen.de ).
  • Logică, gramatică, metafizică. În: Arhivă pentru filosofie juridică și socială. Volumul 36, 1943/44, pp. 393-433.

literatură

Link-uri web

Dovezi individuale

  1. a b Carte poștală dactilografiată, Heinrich Scholz. 11 februarie 1937. Arhiva digitală Turing, accesată la 23 ianuarie 2019 .
  2. a b Carte poștală dactilografiată, Heinrich Scholz. 5 martie 1937. Arhiva digitală Turing, accesată la 23 ianuarie 2019 .
  3. ^ A b Alan Turing: Despre numerele calculabile, cu o aplicație la problema deciziei . În: Proceedings of the London Mathematical Society . Seria a 2-a. bandă 42 , 1937, pp. 230–265 , doi : 10.1112 / plms / s2-42.1.230 (engleză).
  4. Sisteme de logică bazate pe ordinali (1938), inclusiv extrase din corespondența lui Turing, 1936-1938 . În: Copeland, B. Jack (Ed.): The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life: Plus the Secretes of Enigma . Clarendon Press, Oxford 2004, ISBN 978-0-19-825079-1 , pp. 131 (engleză).
  5. Hans-Christoph Schmidt am Busch și Kai F. Wehmeier : „Este singura urmă pe care o las în urmă”: documente despre istoria originilor Institutului de logică matematică și cercetare de bază. În: H.-C. Schmidt am Busch, KF Wehmeier (Ed.): Heinrich Scholz: Logician, filosof, teolog. mentis Verlag, Paderborn 2005, pp. 93-101.
  6. ^ Hans Christoph Schmidt am Busch, Kai F. Wehmeier: Despre relațiile dintre Heinrich Scholz și Jan Łukasiewicz. În: Istoria și filosofia logicii. Volumul 28, 2007, pp. 67-81.
  7. Kai F. Wehmeier, Hans-Christoph Schmidt am Busch : În căutarea moșiei lui Frege. În: G. Gabriel, U. Dathe (ed.): Gottlob Frege: Work and Effect. mentis Verlag, Paderborn 2000, pp. 267-281.
  8. a b c d e Westfälische Nachrichten : Pe urmele unui pionier: Amprentele originale ale informaticianului Alan Turing se află în Biblioteca Universității din Münster. Westfalia, Münster, Elmar Ries, 28 ianuarie 2013.
  9. Philosophisches Jahrbuch 56 (1946) 112.