Heinrich Scholz (mantıkçı)

Heinrich Scholz, Oberwolfach'taki Matematiksel Araştırma Enstitüsü'nden

Heinrich Scholz ( 17 Aralık 1884 , Berlin , † 30 Aralık 1956 , Münster, Vestfalya ) bir Alman mantıkçı, filozof ve Protestan teologdu.

hayat ve iş

Din adamının oğlu Hermann Scholz , Berlin ve Erlangen'de felsefe ve teoloji okudu ve Lic. Theol'u aldı. 1909. Alois Riehl ve Friedrich Paulsen'den felsefe alanında Adolf von Harnack'in öğrencisiydi . 1910'da Scholz, Berlin'de din felsefesi ve sistematik teoloji konularında habilitasyonunu tamamladı. 1913'te Erlangen'de Richard Falckenberg'in Dr. fil. Schleiermacher ve Goethe'nin çalışmasıyla . Alman ruhunun tarihine bir katkı .

O başarılı olmak için çağrıldı Rudolf Otto içinde Breslau o öğretti, din ve sistematik ilahiyat felsefesi 1917 den tam profesör olarak . Aynı yıl nişanlısı Elisabeth von Orth ile evlendi. 8 yıl süren mide rahatsızlığı nedeniyle askerlikten serbest bırakıldı. 1919'da muhtemelen midesinin büyük bir bölümünü çıkaran bir ameliyat geçirdi. Aynı yıl Kiel'e felsefe kürsüsü için yapılan bir çağrıyı kabul etti . Ekim 1928'den itibaren Münster'de önce felsefe profesörü olarak ders verdi. Orada , 1925'ten beri Münster'de Protestan teolojisi öğreten Karl Barth ile arkadaş oldu . Scholz ile yaptığı konuşmalardan etkilenen Barth, 1930/31'de Canterbury'li Anselm'in Tanrı'nın kanıtı olan "fides quaerens intellectum" adlı kitabını yazdı .

Gençliğinde teoloji lehine mantık çalışmalarını bıraktıktan sonra, Bertrand Russell ve Alfred North Whitehead'in Principia Mathematica'sından etkilenerek matematik ve teorik fizik okumaya 1924'e kadar yeniden başlamadı . Scholz matematiksel bir mantıkçı oldu.

1930'larda , daha sonra 22 Şubat 1937 tarihli evine yazdığı bir mektupta, “Hesaplanabilir Sayılar Üzerine, Karar Problemine Bir Uygulama ile” makalesinin dahil edilmesi hakkında yazan Alan Turing ile temasını sürdürdü :

“Yeni baskıları isteyen iki mektup aldım, biri King's'deki Braithwaite'den, diğeri Almanya'daki bir profesörden [sic]... Gazeteyle çok ilgili görünüyorlardı. Belli bir izlenim bırakıyor olabilir diye düşünüyorum. Buradaki resepsiyonu beni hayal kırıklığına uğrattı. Birkaç yıl önce onunla oldukça yakından bağlantılı bazı çalışmalar yapmış olan Weyl'in bu konuda en azından birkaç açıklama yapmasını bekliyordum."

At Münster Westfalya Wilhelm Üniversitesi , bugün ki üzerinde çok güçlü bir etkisi vardır matematiksel mantık ve temel araştırmalar, ilk odak oluşturulan teorik bilgisayar bilimleri . Bu çaba üniversite tarihine "Münster Okulu" olarak geçti. Profesörlüğünün tamamı 1936'da matematiksel mantık ve temel araştırmalar için bir öğretim pozisyonuna ve 1943'te Almanya'da matematiksel mantık ve temel araştırmalar için ilk sandalyeye yeniden atandı . Münster sandalyesi bugün hala Almanya'nın en iyilerinden biri olarak kabul ediliyor. Scholz 1952'de emekli oldu. İkinci Dünya Savaşı sırasında Polonyalı mantıkçı Jan Łukasiewicz'i Varşova'dan mali yardımla korudu ve Münster'e taşınmasını sağladı.

Scholz bir Platoncu olarak kabul edildi ve bu anlamda matematiksel mantığı bilginin temeli olarak gördü. Gottlob Frege'nin mülkünün kaşifi olarak kabul edilir . Sadece onun aracılığıyla Frege'nin yazıları çok sayıda insan tarafından erişilebilir hale geldi. Scholz'un rehberliğinde Friedrich Bachmann (1934), Hans Hermes (1938), Karl Schröter (1941) ve Gisbert Hasenjaeger (1950) doktoralarını yaptılar.

2000'lerin sonunda , Achim Clausing , Alan Turing'in 1945'ten beri kayıp olan en önemli yayınlarının iki orijinal baskısını, Münster'deki Westphalian Wilhelms Üniversitesi Bilgisayar Bilimleri Enstitüsü'nün mahzenindeki Scholz'un malikanesinde buldu . Bu, Scholz'un aynı yıl Turing'den bir kartpostal ile talep ettiği 1937 tarihli "Karar Verme Problemine Bir Uygulama ile Hesaplanabilir Sayılar Üzerine" çalışmasıdır. Clausing'in açıklamasına göre bu çalışma temelinde Scholz “dünyanın ilk bilgisayar bilimi seminerini” gerçekleştirdi. İkinci çalışma 1950 yılına aittir ve Turing'in el yazısıyla yazdığı bir yorumla yapay zekanın gelişimi üzerine bir incelemedir: “Bu muhtemelen benim son kopyam”. At Sotheby hiçbir özveri vardı Turing tarafından karşılaştırılabilir baskılar 180,000 Euro açık arttırmayla satıldı.

Münster'de Westring 17'de (bugünkü Domagkstrasse) yaşadı. Scholz'un mezarı Kiel'deki Eichhof park mezarlığında .

Yazı tipleri (seçim)

  • Schleiermacher'in İnanç Doktrini'nde Hıristiyanlık ve Bilim. 1909.
  • Dünya Tarihinde İnanç ve İnançsızlık. Augustine de civitate dei üzerine bir yorum. 1911.
  • Schleiermacher ve Goethe. Alman ruhunun tarihine bir katkı. 1913, tez.
  • Savaş fikrinin taşıyıcısı olarak idealizm. Friedrich Andreas Perthes, Gotha 1915. Perthes'in dünya savaşı üzerine yazıları. Cilt 3.
  • Siyaset ve ahlak. Modern reelpolitik'in ahlaki karakteri üzerine bir araştırma. Friedrich Andreas Perthes, Gotha 1915. Perthes'in dünya savaşı üzerine yazıları. Cilt 6.
  • Savaş ve Hıristiyanlık. Friedrich Andreas Perthes, Gotha 1915. Perthes'in dünya savaşı üzerine yazıları. Cilt 7.
  • Alman aklının özü. Grote'sche Verlagsbuchhandlung, Berlin 1917.
  • Felsefi bir problem olarak ölümsüzlük fikri. 1920.
  • Din felsefesi. Reuther & Reichard, Berlin, 1921; 2., gözden geçirilmiş baskı, 1922.
  • 'Batı'nın düşüşüne'. Oswald Spengler ile bir tartışma. Reuther & Reichard, Berlin; 2. yeniden çalışma. ve ek baskı, 1921.
  • Sanki din felsefesi. Kant ve idealist pozitivizm üzerine bir inceleme. 1921.
  • Hegelci felsefenin günümüzün felsefi düşüncesi için anlamı. Reuther & Reichard, Berlin 1921.
  • Kant'ın uzay ve zaman teorisinin mirası. 1924.
  • Yunan matematiğinin temelleri. 1928, Helmut Hasse ile .
  • Eros ve Caritas. Platonik aşk ve Hıristiyanlık anlamında aşk. 1929.
  • Mantık tarihi. Junker ve Dünnhaupt, Berlin 1931 ( Alber, Freiburg im Breisgau yakınlarındaki mantık tarihinin bir taslağı ile 1959 )
  • Goethe'nin ölümsüzlük sorununa bakışı. 1934.
  • Yeni lojistik mantık ve bilim. İçinde: Araştırmalar ve Gelişmeler. Cilt 11, 1935.
  • Klasik ve modern mantık. İçinde: Alman Felsefesi için Yapraklar. Cilt 10, 1937, s. 254-281.
  • Bir Platonist'in Fragmanları. Staufen, Köln hiçbir yıl (1940).
  • Katı bir bilim olarak metafizik. Staufen, Köln 1941.
  • Yeni bir temel araştırma biçimi. Araştırma ve ilerleme no 35/36 1941 yılı, s. 382 vd.
  • Mantık, gramer, metafizik. İçinde: Felsefe Arşivi. Cilt 1, 1947, s. 39-80.
  • Nietzsche ile karşılaşma. Furche, Tübingen 1948.
  • Matematiksel mantığın temel özellikleri. Berlin, Göttingen 1961, Gisbert Hasenjaeger ile birlikte .
  • Matematik evrenseldir. Katı bir bilim olarak felsefe üzerine risaleler. Düzenleyen Hans Hermes , Friedrich Kambartel ve Joachim Ritter , Wissenschaftliche Buchgesellschaft, Darmstadt 1961.
Denemeler
  • Ladin ve Napolyon. İçinde: Prusya yıl kitapları. Cilt 152, 1913, sayfa 1-12.
  • Sanki din felsefesi. İçinde: Felsefe Yıllıkları. Cilt 1, 1919, s. 27-113.
  • Sanki din felsefesi. İçinde: Felsefe Yıllıkları. 3. cilt, H. 1 1923, s. 1-73.
  • Yunanlılar neden irrasyonel sayıları oluşturmadı? İçinde: Kant çalışmaları. Cilt 3, 1928, s. 35-72.
  • Augustine ve Descartes. İçinde: Alman Felsefesi için Yapraklar. Cilt 5, 1932, Sayı 4, s. 405-423.
  • Matematikte Tanrı fikri. İçinde: Alman Felsefesi için Yapraklar. Cilt 8, 1934/35, s. 318-338.
  • Leibniz ve temel matematiksel araştırma . In: Alman Matematikçiler Derneği (Hrsg.): Alman Matematikçiler Derneği'nin yıllık raporu . kaset 52 . Teubner, 1942, ISSN  0012-0456 , s. 217-244 ( uni-goettingen.de ).
  • Mantık, gramer, metafizik. İçinde: Hukuk ve Sosyal Felsefe Arşivi. Cilt 36, 1943/44, sayfa 393-433.

Edebiyat

İnternet linkleri

Bireysel kanıt

  1. ↑ a b Yazılı Kartpostal, Heinrich Scholz. 11 Şubat 1937. Turing Dijital Arşivi, erişim tarihi 23 Ocak 2019 .
  2. ↑ a b Yazılı Kartpostal, Heinrich Scholz. 5 Mart 1937. Turing Dijital Arşivi, erişim tarihi 23 Ocak 2019 .
  3. ^ A b Alan Turing: Hesaplanabilir Sayılar Üzerine, Karar Problemine Bir Uygulama ile . İçinde: Londra Matematik Derneği Bildirileri . 2. seri. kaset 42 , 1937, s. 230–265 , doi : 10.1112 / plms / s2-42.1.230 (İngilizce).
  4. ↑ Turing'in 1936-1938 yazışmalarından alıntılar da dahil olmak üzere Sıra Sayılarına Dayalı Mantık Sistemleri (1938) . İçinde: Copeland, B. Jack (Ed.): The Essential Turing: Bilgi İşlem, Mantık, Felsefe, Yapay Zeka ve Yapay Yaşamda Temel Yazılar: Artı Enigma'nın Sırları . Clarendon Press, Oxford 2004, ISBN 978-0-19-825079-1 , s. 131 (İngilizce).
  5. ↑ Hans-Christoph Schmidt am Busch ve Kai F. Wehmeier : ' Ardımda bıraktığım tek iz bu': Matematiksel Mantık ve Temel Araştırma Enstitüsü'nün kökenlerine ilişkin belgeler. İçinde: H.-C. Schmidt am Busch, KF Wehmeier (Ed.): Heinrich Scholz: Mantıkçı, filozof, ilahiyatçı. Mentis Verlag, Paderborn 2005, s. 93-101.
  6. ^ Hans Christoph Schmidt am Busch, Kai F. Wehmeier: Heinrich Scholz ve Jan Łukasiewicz arasındaki ilişkiler üzerine. İçinde: Mantık Tarihi ve Felsefesi. Cilt 28, 2007, s. 67-81.
  7. ↑ Kai F. Wehmeier, Hans-Christoph Schmidt am Busch : Frege'nin mülkünü arıyorlar. İçinde: G. Gabriel, U. Dathe (ed.): Gottlob Frege: Work and Effect. Mentis Verlag, Paderborn 2000, s. 267-281.
  8. ↑ a b c d e Westfälische Nachrichten : Bir öncünün izinde: Bilgisayar bilimcisi Alan Turing'in orijinal baskıları Münster Üniversitesi Kütüphanesindedir. Westphalia, Münster, Elmar Ries, 28 Ocak 2013.
  9. ↑ Philosophisches Jahrbuch 56 (1946) 112.
kişisel veri
SOYADI Scholz, Heinrich
KISA AÇIKLAMA Alman Protestan ilahiyatçı, matematikçi ve filozof
DOĞUM GÜNÜ 17 Aralık 1884
DOĞUM YERİ Berlin
ÖLÜM TARİHİ 30 Aralık 1956
ÖLÜM YERİ Münster