Heinrich Scholz - Heinrich Scholz

Heinrich Scholz
Heinrich Scholz no Mathematical Research Institute Oberwolfach
Nascermos	17 de dezembro de 1884  ( 1884-12-17 ) Berlim , Império Alemão
Morreu	30 de dezembro de 1956 (1956-12-30) (com 72 anos) Münster , Alemanha Ocidental
Cidadania	alemão
Alma mater	Universidade Münster
Conhecido por	Instituto de Lógica Matemática e Pesquisa Fundamental da Universidade de Münster World primeiro seminário sobre ciência da computação (com Alan Turing)
Carreira científica
Campos	Lógica Matemática
Instituições	University of Breslau University of Berlin Erlangen University
Teses
Orientador de doutorado	Adolf von Harnack , Alois Riehl
Alunos de doutorado	Friedrich Bachmann Hans Hermes Gisbert Hasenjaeger Karl Schröter
Influências	Alfred North Whitehead Bertrand Russell Otto Toeplitz Alan Turing Friedrich Schleiermacher Bernard Bolzano

Heinrich Scholz ( alemão: [ʃɔlts] ; 17 de dezembro de 1884 - 30 de dezembro de 1956) foi um lógico , filósofo e teólogo protestante alemão . Ele era um par de Alan Turing que mencionou Scholz ao escrever sobre a recepção de " On Computable Numbers, with an Application to the Entscheidungsproblem ": "Recebi duas cartas pedindo reimpressões, uma de Braithwaite no King's e uma de um professor [sic] na Alemanha ... Eles pareciam muito interessados ​​no jornal. [...] Fiquei decepcionado com a recepção aqui. "

Scholz teve uma carreira extraordinária (foi considerado um destacado cientista de importância nacional), mas não foi considerado um lógico brilhante, por exemplo no mesmo nível que Gottlob Frege ou Rudolf Carnap . Ele forneceu um ambiente acadêmico adequado para o desenvolvimento de seus alunos. Fundou o Instituto de Lógica Matemática e Pesquisa Fundamental da Universidade de Münster em 1936, o que pode ser dito possibilitou o estudo da lógica no mais alto nível internacional após a Segunda Guerra Mundial até os dias atuais.

Vida pessoal

O pai de Herman Scholz era um ministro protestante na Igreja de Santa Maria, em Berlim . De 1903 a 1907, estudou filosofia e teologia na Universidade de Erlangen e Universidade de Berlim conseguir uma Licenciatura em Teologia (Theol Lic..). Ele foi aluno de Adolf von Harnack , em filosofia com os colegas Alois Riehl e Friedrich Paulsen . Em 28 de julho de 1910, Scholz habilitou-se nas disciplinas de filosofia religiosa e teologia sistemática em Berlim, e foi promovido a professor titular , onde trabalhou como conferencista. Em 1913, em Erlangen, Heinrich Scholz fez o exame para promoção do Dr. phil. com Richard Falckenberg , estudando a obra de Schleiermacher e Goethe com uma tese intitulada: Schleiermacher und Goethe. Ein Beitrag zur Geschichte des deutschen Geistes. Em 1917, foi nomeado para a cadeira de Filosofia da Religião em Breslau, sucedendo a Rudolf Otto para ensinar filosofia religiosa e teologia sistemática. No mesmo ano, ele se casou com sua noiva, Elisabeth Orth. Devido a 8 anos de problemas gástricos contínuos, ele foi dispensado do serviço militar. Em 1919, ele foi submetido a uma operação na qual ele acreditava que uma grande parte de seu estômago foi removida. Naquele ano, ele atendeu o telefonema para a Universidade de Kiel , como cadeira de filosofia. Foi em Kiel, em 1924, que a primeira esposa de Scholz, Elisabeth Orth, morreu.

A partir de outubro de 1928, lecionou na Universidade de Münster , primeiro como Professor de Filosofia . Em 1938, foi mudado para Professor de Filosofia da Matemática e Ciências e novamente em 1943 para Cadeira de Lógica Matemática e Questões Fundamentais em Matemática trabalhando como chefe do Instituto de Lógica Matemática e Pesquisa Fundamental em Münster até se aposentar em 1952 como professor emérito .

Scholz deixou sua segunda esposa, Erna. O túmulo de Scholz está localizado no Cemitério do Parque Eichhof, perto de Kiel.

Trabalhar

De sua própria conta, em 1921, tendo acidentalmente encontrado Principia Mathematica de Bertrand Russell e Alfred North Whitehead, ele começou a estudar lógica, que havia abandonado na juventude para estudar teologia, levando mais tarde a um estudo de matemática e física teórica por um diploma de graduação em Kiel. No entanto, outro fator em sua mudança de foco foi o matemático Otto Toeplitz . Os amplos interesses de pesquisa de Toeplitz, incluindo espaços de Hilbert e teoria espectral, incentivaram o interesse de Scholz pela matemática. Na verdade, Segal sugere que o amor de Scholz pela estrutura também foi um fator importante em sua passagem para a lógica matemática, descrevendo-a assim:

O sentimento de Scholz por estrutura não era pouca coisa. Ele aparentemente achava que, ao receber convidados para o jantar: (1) não mais do que seis pessoas deveriam ser convidadas; (2) deve haver um menu excelente; (3) um tema de discussão deve ser planejado; e (4) os convidados devem ter se preparado tanto quanto possível sobre este tema.

Em 1925, foi colega de Karl Barth na Universidade de Münster, onde ensinou teologia protestante . Sob a influência de conversas com Scholz, Barth escreveu mais tarde em 1930/31. seu livro sobre o Anselmo de Canterbury prova de Deus " fides quaerens intellectum ".

Na década de 1930, ele manteve contato com Alan Turing que mais tarde - em uma carta para casa datada de 22 de fevereiro de 1937 - escreveu sobre a recepção de seu artigo "Sobre números computáveis, com uma aplicação ao Entscheidungsproblem":

Recebi duas cartas pedindo reimpressões, uma de Braithwaite do King's e outra de um professor [sic] na Alemanha ... Eles pareciam muito interessados ​​no jornal. Acho que possivelmente está causando uma certa impressão. Fiquei desapontado com a sua recepção aqui. Eu esperava que Weyl, que havia feito alguns trabalhos intimamente ligados a isso alguns anos atrás, pelo menos tivesse feito alguns comentários sobre isso.

Na Universidade de Münster , seu estudo em lógica matemática e pesquisa básica forneceu muitos dos insights críticos que contribuíram para os fundamentos da ciência da computação teórica . Desde que chegou a Münster, Scholz trabalhou para construir uma escola de lógica matemática. Em 1935, sua equipe de pesquisa em Münster era conhecida como a escola de lógica matemática de Münster . Scholz nomeia 1936, como o ano em que nasceu a Escola Münster . Sua cátedra foi rededicada em 1936 a uma bolsa de lógica matemática e pesquisa fundamental e em 1943 a primeira cadeira na Alemanha para lógica matemática e pesquisa fundamental. A cadeira Münster ainda é considerada uma das melhores da Alemanha.

Scholz era considerado um platônico e, nesse sentido, considerava a lógica matemática o fundamento do conhecimento. Em 1936 recebeu uma bolsa da DFG , para a produção de três volumes de pesquisa em lógica e para a edição dos artigos de Gottlob Frege . Ele é considerado o descobridor da propriedade de Gottlob Frege .

Gisbert Hasenjaeger, cuja tese foi supervisionada por Scholtz, produziu um livro Grundzüge der mathematischen Logik em 1961, que foi escrito em conjunto com Scholz, apesar de ter sido publicado cinco anos após a morte de Scholz.

Trabalho durante a Segunda Guerra Mundial

Inicialmente, Scholz estava satisfeito com a ascensão do poder nazista na Alemanha . Descrevendo-se como um nacionalista conservador, descrevendo-se como tal "Nós nos sentimos como prussianos até os ossos" "e descrito por seu amigo Heinrich Behnke como um" nacionalista prussiano mesquinho ". Behnke achou difícil discutir questões políticas. No início, As leis nazistas ajudaram a estabelecer Münster como um centro importante para a lógica, enquanto outros funcionários das universidades de Göttingen e Berlim estavam sendo destruídos.

Em 14 de março de 1940, Scholz enviou uma carta ao Departamento de Educação da Polônia ocupada, solicitando a libertação de Jan Salamucha, que havia sido professor de teologia na Universidade de Cracóvia . Salamucha foi enviado para o campo de concentração de Sachsenhausen em 1940. Em outubro de 1940, Scholz recebeu uma resposta do ministro da Educação que afirmava que ele havia "ferido a honra nacional" e estava proibido de enviar novas petições. Salamucha foi posteriormente libertado, mas morto pelos nazistas em 1944 No entanto, Scholz persistiu, primeiro ajudando Alfred Tarski , que havia fugido da Polônia para os Estados Unidos, a se corresponder com sua esposa que permaneceu na Polônia e mais tarde ajudando o lógico polonês Jan Łukasiewicz , que ele tinha se correspondido desde 1938, para deixar a Polônia com sua esposa e se esconder na Alemanha.

Embora Scholz reconhecesse a verdadeira natureza dos nazistas e os aborrecesse de meados de 1942 em diante, ele manteve uma boa relação com acadêmicos nazistas como Ludwig Bieberbach . Durante o período do nacional-socialismo, Max Steck, que defendeu a matemática alemã que rejeitou a abordagem formalista da matemática, opôs-se profundamente à abordagem de Hilbert, que ele descreveu como judia - o pior insulto possível na Alemanha na época. Max Steck reconheceu a "realização notável per se do formalismo" ("an sich betrachtet einmaligen Leistung des Formalismus"), mas criticou o "componente epistemológico ausente" ("Jede eigentliche Erkenntnistheorie fehlt im Formalismus") e na única página de seu principal trabalho onde ele conecta formalismo e judeus, ele menciona que "os judeus foram os verdadeiros criadores de tendências do formalismo" ("die eigentlichen Schrittmacher des Formalismus"). Em resposta a isso, Bieberbach pediu a Scholz que escrevesse um artigo para a Deutsche Mathematik , para responder aos ataques de Steck ao formalismo matemático , o que foi surpreendente, já que Bieberbach liderou o ataque dos matemáticos nazistas à matemática judaica. Assegurando-se de que Hilbert não fosse considerado "judeu", Scholz escreveu "O que o estudo formalizado dos fundamentos da matemática visa ?." Scholz havia recebido financiamento de Bieberbach já em 1937, o que levou um Steck irritado a escrever em seu livro de 1942:

O que Scholz entendeu é, sem dúvida, isso, obter do Estado alemão enormes somas de dinheiro para publicação para essa produção lógica. Nós rejeitamos fundamentalmente esta lógica que elogia os empiristas e filósofos sensoriais ingleses como os ingleses Locke, Berkeley, Hume, e agora achamos que é realmente hora de falar uma vez sobre os "Grandes Alemães".

Havia três outros artigos de Heinrich Scholz na revista alemã Matemática : Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls (1936), uma revisão do livro do Nazi filósofo Wolfgang Cramer Das Problem der reinen Anschauung (1938) e uma revisão de Andreas Speiser de Ein Parmenideskommentar (1938).

Primeiro seminário de ciência da computação do mundo

No final dos anos 2000, Achim Clausing foi incumbido de examinar o espólio restante de Scholz na Universidade de Münster e, ao examinar os documentos de arquivo no porão do Instituto de Ciência da Computação, Clausing descobriu duas gravuras originais da publicação mais importante de Alan Turing, que estava desaparecido desde 1945. Neste caso, a obra " Sobre números computáveis, com um aplicativo para o Entscheidungsproblem " de 1936, que Scholz havia solicitado, e um cartão postal de Turing. Com base no trabalho de Turing e nas conversas com Scholz, Clausing afirmou "[foi] o primeiro seminário do mundo sobre ciência da computação". O segundo trabalho, um artigo da Mind (periódico), data de 1950 e é um tratado sobre o desenvolvimento da inteligência artificial . Turing forneceu-lhes um comentário escrito à mão. Esta é provavelmente minha última cópia . Recentemente, na Sotheby's , cópias comparáveis ​​de Turing, sem dedicatória, foram vendidas por 180.000 euros.

Funciona

• Cristianismo e Ciência na Doutrina da Fé de Schleiermacher , 1909
• Crença e descrença na história mundial. Uma resposta a Augustine de Civitate Dei , 1911
• Schleiermacher und Goethe. Ein Beitrag zur Geschichte des deutschen Geistes [ Schleiermacher e Goethe. Uma Contribuição à História do Espírito Alemão ] (Dissertação) (em alemão), Leipzig: JC Hinrichs, 1913
• Idealismo como portador do pensamento de guerra . Friedrich Andreas Perthes, Gotha , 1915. Escritos de Perthes sobre a Segunda Guerra Mundial, Volume 3
• Política e moralidade. Uma investigação do caráter moral da realpolitik moderna . Friedrich Andreas Perthes, Gotha, 1915. Escritos de Perthes sobre a Guerra Mundial, Volume 6
• A guerra e o cristianismo . Friedrich Andreas Perthes, Gotha, 1915. Escritos de Perthes sobre a Segunda Guerra Mundial, Volume 7
• A essência do espírito alemão . Grote'sche Verlagsbuchhandlung, Berlim, 1917.
• A ideia de imortalidade como um problema filosófico , 1920
• Filosofia da religião . Reuther & Reichard, Berlin, 1921, 2ª edição revisada, 1922.
• Sobre o 'Declínio' do Ocidente. Uma disputa com Oswald Spengler . Reuther & Reichard, Berlim; 2ª edição revisada e complementada, 1921.
• A filosofia religiosa do como se. Uma revisão de Kant e o positivismo idealista , 1921
• A importância da filosofia de Hegel para os filósofos da atualidade . Reuther & Reichard, 1921 Berlim
• O legado da doutrina de espaço e tempo de Kant , 1924
• The Basics of Greek Mathematics , 1928 com Helmut Hasse
• Eros e Caritas. O amor platônico e o amor no sentido do Cristianismo , 1929
• História da lógica. Junker e Dünnhaupt, Berlin 1931 (1959 sob o esboço da história da lógica Alber, Freiburg im Breisgau)
• A atitude de Goethe em relação à questão da imortalidade , 1934
• A nova lógica logística e o ensino das ciências. In: Research and progress , Volume 11, 1935.
• A lógica clássica e moderna. In: Sheets for German Philosophy , Volume 10, 1937, pp. 254-281.
• Fragments of a Platonist . Staufen, Colônia sem data (1940).
• A metafísica como ciência rigorosa . Staufen, Colônia 1941.
• Uma nova forma de pesquisa básica. Pesquisa e progresso No. 35/36 nascido em 1941, pp. 382ss.
• Lógica, gramática, metafísica . Em: Arquivos de filosofia , Volume 1, 1947, pp. 39–80.
• Encontro com Nietzsche . Sulco, Tübingen 1948.
• Princípios de lógica matemática. Berlim, Göttingen 1961 Gisbert Hasenjaeger
• Mathesis universalis. Ensaios sobre a filosofia como ciência rigorosa , Editado por Hans Hermes , Friedrich Kambartel e Joachim Ritter , University Press, Darmstadt 1961.
• Scholz Leibniz e a base matemática para a pesquisa, relatório anual Clube de matemáticos alemães de 1943

Papéis

• Fichte und Napoleon . In: Preußische Jahrbücher (em alemão), Volume 152, 1913, pp. 1-12.
• A filosofia religiosa do como se . In: Annals of Philosophy , 1 Vol 1919, pp. 27-113
• A filosofia religiosa do como se . In: Annals of Philosophy , 3 Bd, H. 1 1923, pp. 1-73
• Por que os gregos não construíram os números irracionais ? Em: Kant Studies Vol.3, 1928, pp. 35-72
• Agostinho e Descartes . In: Sheets for German Philosophy , Volume 5, 1932, Issue 4, pp. 405-423.
• A ideia de Deus na matemática . In: Sheets for German Philosophy , Volume 8, 1934/35, pp. 318-338.
• Lógica, gramática, metafísica . In: Archives for Law and Social Philosophy , Volume 36, 1943/44, pp. 393-433

Referências

Origens

• Hermes, Hans (1955), "Heinrich Scholz zum 70. Geburtstag" [Heinrich Scholz por ocasião do seu 70º aniversário], Mathematisch-Physikalische Semesterberichte (em alemão), 4 : 165-170, ISSN   0340-4897
• Linneweber-Lammerskitten, Helmut (1995). "Scholz, Heinrich". Biographisch-Bibliographisches Kirchenlexikon (BBKL) (em alemão). Volume 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. Por ocasião do 100º aniversário do pesquisador fundamental], Humanismus und Technik. Jahrbuch 1984 (em alemão), Berlim: Gesellschaft von Freunden der Technischen Universität Berlin e. V., 27 , pp. 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 und Karl Barth [ Das Trevas para a Luz. Ciência e teologia nos pensamentos de Heinrich Scholz. Com conjuntos não publicados de teses de Heinrich Scholz e Karl Barth ], Amsterdam Studies in Theology (em alemão), 8 , Amsterdam / Atlanta GA: Editions Rodopi, ISBN   978-9051832471
• Peckhaus, Volker (1998–1999), "Integridade moral durante um período difícil: Beth e Scholz" , Philosophia Scientiae , 3 (4): 151–173 , recuperado em 18 de janeiro de 2019
• Peckhaus, Volker (2018), "Heinrich Scholz" , em Zalta, Edward N. (ed.), The Stanford Encyclopedia of Philosophy (outono de 2018 ed.), Stanford, CA: Metaphysics Research Lab, Stanford University , recuperado em 18 de janeiro de 2019
• Schmidt am Busch, Hans-Christoph; Wehmeier, Kai F. , eds. (2005). Heinrich Scholz - Logiker, Philosoph, Theologe [ Heinrich Scholz - lógico, filósofo, teólogo ] (em alemão e inglês). Paderborn, Alemanha: Mentis. ISBN   978-3897852792 .
• Schmidt am Busch, Hans-Christoph (2007), "Scholz, Heinrich" , Neue Deutsche Biographie (em alemão), 23 , pp. 454–455 , recuperado em 18 de janeiro de 2019

Trabalhos externos

• John J. O'Connor, Edmund F. Robertson  : Heinrich Scholz (lógico). In: Arquivo MacTutor History of Mathematics (Inglês)
• Publicações de e sobre Heinrich Scholz no catálogo da Biblioteca Nacional Alemã