Heinrich Scholz - Heinrich Scholz

Entomolog için bkz Heinrich Scholz (entomolog) .
Avusturyalı heykeltıraş için bkz Heinrich Karl Scholz .

Heinrich Scholz
HeinrichScholz.jpg
Doğum 17 Aralık 1884  ( 1884-12-17 )
Berlin , Alman İmparatorluğu
Öldü 30 Aralık 1956 (1956-12-30) (72 yaşında)
Münster , Batı Almanya
Vatandaşlık Almanca
gidilen okul Münster Üniversitesi
Bilinen Münster Üniversitesi Matematiksel Mantık ve Temel Araştırma Enstitüsü
Dünyanın bilgisayar bilimi üzerine ilk semineri (Alan Turing ile)
Bilimsel kariyer
Alanlar Matematik
Mantığı
Kurumlar Breslau
Üniversitesi Berlin
Üniversitesi Erlangen Üniversitesi
Tezler
Doktora danışmanı Adolf von Harnack , Alois Riehl
Doktora öğrencileri Friedrich Bachmann
Hans Hermes
Gisbert Hasenjaeger
Karl Schröter
Etkiler Alfred North Whitehead
Bertrand Russell
Otto Toeplitz
Alan Turing
Friedrich Schleiermacher
Bernard Bolzano

Heinrich Scholz ( Almanca: [ʃɔlts] ; 17 Aralık 1884 - 30 Aralık 1956) Alman bir mantıkçı , filozof ve Protestan ilahiyatçıydı . Alan Turing'in " Hesaplanabilir Sayılar Üzerine, Entscheidungsproblem Uygulamasıyla " alınışıyla ilgili yazarken Scholz'dan bahseden bir meslektaşıydı : "Biri King's'deki Braithwaite'den ve diğeri de Almanya'da profesör [sic] ... Gazeteye çok ilgi gösteriyor gibiydiler. [...] Buradaki resepsiyonu beni hayal kırıklığına uğrattı. "

Scholz'un olağanüstü bir kariyeri vardı (ulusal öneme sahip seçkin bir bilim adamı olarak kabul edildi) ancak parlak bir mantıkçı olarak görülmedi, örneğin Gottlob Frege veya Rudolf Carnap ile aynı seviyede . Öğrencilerinin gelişmesi için uygun bir akademik ortam sağladı. 1936'da Münster Üniversitesi'nde Matematiksel Mantık ve Temel Araştırmalar Enstitüsü'nü kurdu ve bu, II.Dünya Savaşı'ndan sonra günümüze kadar en yüksek uluslararası düzeyde mantık çalışmasına olanak sağladı .

Kişisel hayat

Herman Scholz'un babası , Berlin'deki St. Mary Kilisesi'nde protestan bir bakandı . 1903'ten 1907'ye kadar Erlangen Üniversitesi'nde ve Berlin Üniversitesi'nde felsefe ve teoloji okudu ve teoloji alanında bir Lisans sahibi oldu (Lic. Theol.). Akranları Alois Riehl ve Friedrich Paulsen ile felsefe alanında Adolf von Harnack'in bir öğrencisiydi . 28 Temmuz 1910'da Scholz , Berlin'de din felsefesi ve sistematik teoloji konularında habilite kazandı ve orada öğretim görevlisi olarak çalışarak tam profesörlüğe terfi etti . Heinrich Scholz, 1913 yılında Erlangen'de Dr. phil'in terfisi için sınavına girdi . ile Richard Falckenberg , çalışmalarını inceleyerek Schleiermacher'e ve Goethe başlıklı tezi ile: Schleiermacher'in Goethe und. Ein Beitrag zur Geschichte des deutschen Geistes. 1917'de Breslau'da Rudolf Otto'dan sonra din felsefesi ve sistematik teoloji öğretmek üzere Din Felsefesi başkanlığına atandı . Aynı yıl nişanlısı Elisabeth Orth ile evlendi. 8 yıldır devam eden mide rahatsızlığı nedeniyle askerlik hizmetinden muaf tutuldu. 1919'da midesinin büyük bir kısmının alındığına inandığı bir operasyon geçirdi. O yıl felsefe başkanı olarak Kiel Üniversitesi'ni aradı. Scholz'un ilk karısı Elisabeth Orth 1924'te Kiel'de öldü.

Ekim 1928'den itibaren , önce Felsefe Profesörü olarak Münster Üniversitesi'nde ders verdi . Bu, 1938'de Matematik ve Bilim Felsefesi Profesörü olarak değiştirildi ve 1943'te Matematiksel Mantık ve Matematikte Temel Sorular Kürsüsü, 1952'de emekli profesör olarak emekli olana kadar Münster'deki Matematiksel Mantık ve Temel Araştırma Enstitüsü başkanı olarak görev yaptı. .

Scholz, ikinci eşi Erna'dan kurtuldu. Scholz mezarı, Kiel yakınlarındaki Park Mezarlığı Eichhof'ta yer almaktadır.

İş

Kendi hesabından, 1921'de, kazara Bertrand Russell ve Alfred North Whitehead tarafından Principia Mathematica ile karşılaştığında, gençliğinde teoloji okumak için terk ettiği mantığı çalışmaya başladı ve daha sonra matematik ve teorik fizik çalışmalarına yöneldi. Kiel'de bir lisans derecesi. Ancak odak noktasını değiştirmesindeki bir başka faktör de matematikçi Otto Toeplitz'di . Toeplitz'in Hilbert uzayları ve spektral teori de dahil olmak üzere geniş araştırma ilgi alanları , Scholz'un matematiğe olan ilgisini teşvik etti. Gerçekten de Segal, Scholz'un yapı sevgisinin matematiksel mantığa geçişinde önemli bir faktör olduğunu öne sürüyor ve bunu şöyle açıklıyor:

Scholz'un yapı duygusu küçük bir şey değildi. Görünüşe göre akşam yemeğine misafir getirirken: (1) altı kişiden fazla kişinin davet edilmemesi gerektiğini; (2) mükemmel bir menü olmalıdır; (3) bir tartışma konusu planlanmalıdır; ve (4) misafirlerin bu konuya mümkün olduğunca önceden hazırlanmaları gerekir.

1925'te Münster Üniversitesi'nde Protestan teolojisi öğrettiği Karl Barth'ın bir meslektaşıydı . Barth, Scholz ile yapılan görüşmelerin etkisiyle daha sonra 1930 / 31'de yazdı. Canterbury'nin Anselm'i hakkındaki kitabı Tanrı'nın kanıtı " fides quaerens intellectum ".

1930'larda Alan Turing ile temas kurdu ve 22 Şubat 1937 tarihli bir mektup evinde "Hesaplanabilir Sayılar Üzerine, Entscheidungsproblem Uygulaması ile" başlıklı makalesinin alınmasıyla ilgili olarak yazdı:

Yeniden baskı isteyen iki mektup aldım, biri King's'deki Braithwaite'den ve diğeri Almanya'daki bir profesörden [sic] ... Gazeteye çok ilgi duyuyorlardı. Sanırım belli bir izlenim bırakıyor. Burada resepsiyonu beni hayal kırıklığına uğrattı. Birkaç yıl önce onunla oldukça yakından bağlantılı bazı işler yapmış olan Weyl'in en azından bu konuda birkaç açıklama yapmasını bekliyordum.

At Münster Üniversitesi , matematiksel mantık ve temel araştırmalar içine yaptığı çalışmada, temelleri katkı sağladığını, kritik anlayışlar birçok sağlanan teorik bilgisayar bilimleri . Scholz, Münster'e geldiği andan itibaren bir matematiksel mantık okulu inşa etmeye çalıştı. 1935'te Münster'deki araştırma ekibi, Münster matematiksel mantık okulu olarak anılıyordu . Scholz, 1936'yı Münster Okulu'nun doğduğu yıl olarak adlandırıyor . Profesörlüğü, 1936'da matematiksel mantık ve temel araştırmalar için bir konferansa ve 1943'te Almanya'da matematiksel mantık ve temel araştırma için ilk kürsüye verildi. Münster Sandalye hala Almanya'nın en iyilerinden biri olarak kabul ediliyor.

Scholz bir Platoncu olarak kabul edildi ve bu anlamda matematiksel mantığı bilginin temeli olarak gördü. 1936'da DFG'den mantık alanında üç cilt araştırma üretmesi ve Gottlob Frege makalelerinin düzenlenmesi için bir hibe aldı . Gottlob Frege mülkünün keşfi olarak kabul edilir .

Tezi Scholtz tarafından yönetilen Gisbert Hasenjaeger , 1961'de Scholz'un ölümünden beş yıl sonra yayımlanmasına rağmen Scholz ile ortaklaşa yazılan bir Grundzüge der mathematischen Logik kitabı çıkardı .

II.Dünya Savaşı sırasında çalışmak

Başlangıçta Scholz, Almanya'da Nazi gücünün yükselişinden memnundu . Kendini muhafazakar bir milliyetçi olarak tanımlayan, kendisini "Prusyalılar gibi hissettik" "ve arkadaşı Heinrich Behnke tarafından" küçük fikirli Prusya milliyetçisi "olarak tanımlayan Behnke , siyasi meseleleri tartışmayı zor bulmuştu. Göttingen ve Berlin Üniversitelerindeki diğer üniversite personeli yok edilirken, Nazi yasaları Münster'i Mantık için önemli bir merkez haline getirdi.

14 Mart 1940'ta Scholz, Kraków Üniversitesi'nde ilahiyat profesörü olan Jan Salamucha'nın serbest bırakılması için işgal altındaki Polonya'nın Eğitim bölümüne bir mektup gönderdi . Salamucha, 1940'ta Sachsenhausen toplama kampına gönderildi . Ekim 1940'ta Scholz, eğitim bakanı için "ulusal onuru yaraladığını" ve başka dilekçe göndermesinin yasak olduğunu belirten bir yanıt aldı. Salamucha daha sonra serbest bırakıldı ancak 1944'te Naziler tarafından öldürüldü.Ancak Scholz, önce Polonya'dan Amerika Birleşik Devletleri'ne kaçan Alfred Tarski'nin Polonya'da kalan karısıyla yazışmasına yardım etti ve daha sonra Polonyalı Mantıkçı Jan Łukasiewicz'e yardım etti. 1938'den beri karısıyla Polonya'yı terk edip Almanya'da saklanmakla ilgili yazışmalar yapıyordu.

Scholz, Nazilerin gerçek doğasını tanımasına ve 1942 ortalarından itibaren onlardan nefret etmesine rağmen, Ludwig Bieberbach gibi Nazi akademisyenleriyle arası iyi oldu . Nasyonal Sosyalizm döneminde, matematiğe biçimci yaklaşımı reddeden Alman Matematiğini savunan Max Steck, Hilbert'in Yahudi olarak tanımladığı yaklaşımına derinden karşı çıktı - bu zamanda Almanya'daki olası en kötü hakaret. Max Steck "biçimciliğin kendi başına olağanüstü başarısını" ("bir sich betrachtet einmaligen Leistung des Formalismus") kabul etti, ancak "eksik epistemolojik bileşeni" ("Jede eigentliche Erkenntnistheorie fehlt im Formalismus") ve ana sayfasının tek sayfasında eleştirdi. biçimcilik ile Yahudileri birbirine bağladığı çalışma, "Yahudiler biçimciliğin gerçek trend belirleyicileriydi" ("die eigentlichen Schrittmacher des Formalismus") bahseder. Buna yanıt olarak Bieberbach, Scholz'dan Deutsche Mathematik için Steck'in matematiksel biçimciliğe yönelik saldırılarına yanıt vermesi için bir makale yazmasını istedi; bu, Bieberbach'ın Nazi matematikçilerin Yahudi matematiğine yönelik saldırısına öncülük etmesinden bu yana şaşırtıcıydı. Hilbert'in "Yahudi" olarak görülmediğinden emin olan Scholz, "Matematiğin temellerinin resmileştirilmiş çalışması neyi hedefliyor?" Diye yazdı. Scholz, 1937 gibi erken bir tarihte Bieberbach'tan fon almıştı, bu da kızgın bir Steck'in 1942'deki kitabında yazmasına neden oldu:

Scholz'un anladığı şey, kuşkusuz, bu mantık üretimi için Alman Devletinden büyük miktarda yayın parası elde etmektir. İngiliz empiristlerini ve İngilizler Locke, Berkeley, Hume gibi duyusal filozofları öven bu mantığı temelden reddediyoruz ve şimdiye kadar "Büyük Almanlar" hakkında bir kez bile konuşma zamanı buluyoruz.

Alman Matematik dergisinde Heinrich Scholz'un üç makalesi daha vardı : Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls (1936), Nazi filozof Wolfgang Cramer'in Das Problem der reinen Anschauung (1938) kitabının bir incelemesi ve Andreas'ın bir incelemesi Speiser 's Ein Parmenideskommentar (1938).

Dünyanın ilk bilgisayar bilimi semineri

2000'lerin sonunda, Achim Clausing, Münster Üniversitesi'ndeki Scholz'un kalan arazisini incelemekle görevlendirildi ve Bilgisayar Bilimleri Enstitüsü'nün bodrumundaki arşiv belgelerini incelerken Clausing, Alan'ın en önemli yayınının iki orijinal baskısını keşfetti. 1945'ten beri kayıp olan Turing. Bu durumda, Scholz'un talep ettiği 1936'dan " Hesaplanabilir Sayılar Üzerine, Entscheidungsproblem Uygulaması ile " çalışması ve Turing'den bir kartpostal. Turing'in çalışmasına ve Scholz ile yaptığı konuşmalara dayanarak Clausing, " bilgisayar bilimi üzerine dünyanın ilk semineriydi " dedi. Akıl (dergi) makalesi olan ikinci çalışma, 1950 yılına dayanıyor ve yapay zekanın gelişimi üzerine bir inceleme niteliğinde , Turing onlara el yazısıyla bir yorum sağladı. Bu muhtemelen benim son kopyam . At Sotheby 180,000 avroya satıldı hiçbir ekli özveri ile Turing son zamanlarda, karşılaştırılabilir baskılar.

İşler

  • Schleiermacher'ın İnanç Doktrininde Hristiyanlık ve Bilim , 1909
  • Dünya tarihine inanç ve inançsızlık. Augustine de Civitate Dei'ye Bir Yanıt , 1911
  • Schleiermacher und Goethe. Ein Beitrag zur Geschichte des deutschen Geistes [ Schleiermacher ve Goethe. Alman Ruhu Tarihine Katkı ] (Tez) (Almanca), Leipzig: JC Hinrichs, 1913
  • Savaş düşüncesinin taşıyıcısı olarak idealizm . Friedrich Andreas Perthes, Gotha , 1915. Perthes'in İkinci Dünya Savaşı üzerine yazıları, Cilt 3
  • Politika ve ahlak. Modern realpolitik'in ahlaki karakterinin incelenmesi . 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 2. Dünya Savaşı üzerine yazıları, Cilt 7
  • Alman ruhunun özü . Grote'sche Verlagsbuchhandlung, Berlin, 1917.
  • Felsefi bir sorun olarak ölümsüzlük fikri , 1920
  • Din felsefesi . Reuther & Reichard, Berlin, 1921, gözden geçirilmiş 2. baskı, 1922.
  • Batı'nın Düşüşü Üzerine. Oswald Spengler ile bir anlaşmazlık . Reuther ve Reichard, Berlin; 2. gözden geçirilmiş ve tamamlanmış baskı, 1921.
  • Sanki din felsefesi. Gözden Kant ve idealist pozitivizm 1921
  • Hegel felsefesinin günümüz filozofları için önemi . Reuther ve Reichard, 1921 Berlin
  • Kant'ın uzay ve zaman doktrininin mirası , 1924
  • Yunan Matematiğinin Temelleri , 1928 Helmut Hasse ile
  • Eros ve Caritas. Platonik aşk ve Hıristiyanlığın anlamı içindeki aşk , 1929
  • Mantığın tarihi. Junker ve Dünnhaupt, Berlin 1931 (Alber, Freiburg im Breisgau mantığının tarihinin ana hatları altında 1959)
  • Goethe'nin ölümsüzlük sorununa karşı tutumu , 1934
  • Yeni lojistik mantık ve fen öğretimi. İçinde: Araştırma ve ilerleme , Cilt 11, 1935.
  • Klasik ve modern mantık. In: Sheets for German Philosophy , Cilt 10, 1937, s. 254–281.
  • Bir Platonistin Parçaları . Staufen, Köln tarihsiz (1940).
  • Titiz 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 doğumlu, s. 382ff.
  • Mantık, gramer, metafizik . İçinde: Felsefe Arşivleri , Cilt 1, 1947, s. 39–80.
  • Nietzsche ile karşılaşma . Furrow, Tübingen 1948.
  • Matematiksel mantığın ilkeleri. Berlin, Göttingen 1961 Gisbert Hasenjaeger
  • Mathesis universalis. Titiz bilim olarak felsefe üzerine makaleler , Düzenleyen Hans Hermes , Friedrich Kambartel ve Joachim Ritter , University Press, Darmstadt 1961.
  • Scholz Leibniz ve araştırmanın matematiksel temeli, yıllık rapor Alman matematikçi kulübü 1943

Bildiriler

  • Fichte ve Napoleon . İçinde: Preußische Jahrbücher (Almanca), Cilt 152, 1913, s. 1-12.
  • Sanki din felsefesi . In: Annals of Philosophy , 1 Cilt 1919, s. 27–113
  • Sanki din felsefesi . In: Annals of Philosophy , 3 Bd, H. 1 1923, s. 1-73
  • Rumlar neden irrasyonel sayıları oluşturmadı ? İçinde: Kant Studies Cilt 3, 1928, s. 35–72
  • Augustine ve Descartes . In: Sheets for German Philosophy , Cilt 5, 1932, Sayı 4, s. 405–423.
  • Matematikte Tanrı fikri . In: Sheets for German Philosophy , Cilt 8, 1934/35, s. 318–338.
  • Mantık, gramer, metafizik . In: Archives for Law and Social Philosophy , Cilt 36, 1943/44, s. 393–433

Referanslar

Kaynaklar

  • Hermes, Hans (1955), "Heinrich Scholz zum 70. Geburtstag" [70. doğum günü vesilesiyle Heinrich Scholz], Mathematisch-Physikalische Semesterberichte (Almanca), 4 : 165–170 , ISSN   0340-4897
  • Linneweber-Lammerskitten, Helmut (1995). "Scholz, Heinrich". Biographisch-Bibliographisches Kirchenlexikon (BBKL) (Almanca). Cilt 9: "Scharling, Carl Henrik - Sheldon, Charles Monroe". Herzberg: Traugott Bautz. cols. 683–687. ISBN   978-3-88309-058-0 .
  • Meschkowski, Herbert (1984), "Heinrich Scholz. Zum 100. Geburtstag des Grundlagenforschers" [Heinrich Scholz. Temel araştırmacının 100. Doğum Günü vesilesiyle], Humanismus und Technik. Jahrbuch 1984 (Almanca), Berlin: Gesellschaft von Freunden der Technischen Universität Berlin e. V., 27 , s. 28–52, ISSN   0439-884X
  • Molendijk, Arie L. (1991), Aus dem Dunklen ins Helle. Wissenschaft und Theologie im Denken von Heinrich Scholz. Mit unveröffentlichten Thesenreihen von Heinrich Scholz ve Karl Barth [ Karanlıktan Işığa. Heinrich Scholz'un Düşüncelerinde Bilim ve Teoloji. Heinrich Scholz ve Karl Barth'ın yayınlanmamış tezleri ile ], Amsterdam Studies in Theology (Almanca), 8 , Amsterdam / Atlanta GA: Editions Rodopi, ISBN   978-9051832471
  • Peckhaus, Volker (1998–1999), "Zor bir dönemde ahlaki bütünlük: Beth ve Scholz" , Philosophia Scientiae , 3 (4): 151–173 , 18 Ocak 2019'da alındı
  • Peckhaus, Volker (2018), "Heinrich Scholz" , Zalta, Edward N. (ed.), The Stanford Encyclopedia of Philosophy (Sonbahar 2018 ed.), Stanford, CA: Metaphysics Research Lab, Stanford University , 18 Ocak 2019 tarihinde alındı
  • Schmidt am Busch, Hans-Christoph; Wehmeier, Kai F. , eds. (2005). Heinrich Scholz - Logiker, Philosoph, Theologe [ Heinrich Scholz - Mantıkçı, filozof, teolog ] (Almanca ve İngilizce). Paderborn, Almanya: Mentis. ISBN   978-3897852792 .
  • Schmidt am Busch, Hans-Christoph (2007), "Scholz, Heinrich" , Neue Deutsche Biographie (Almanca), 23 , s. 454–455 , 18 Ocak 2019'da alındı

Dış işler