Heinrich Scholz (lógico)

Heinrich Scholz no Mathematical Research Institute Oberwolfach

Heinrich Scholz (nascido em 17 de dezembro de 1884 em Berlim , † 30 de dezembro de 1956 em Münster, Vestfália ) foi um lógico, filósofo e teólogo protestante alemão.

vida e trabalho

O filho do clérigo Hermann Scholz estudou filosofia e teologia em Berlim e Erlangen e obteve seu Lic. Theol. 1909. Foi aluno de Adolf von Harnack , em filosofia de Alois Riehl e Friedrich Paulsen . Em 1910, Scholz completou sua habilitação nas disciplinas de filosofia da religião e teologia sistemática em Berlim. Em Erlangen, ele colocou em 1913, quando Richard Falkenberg testou para a promoção do Dr. phil. com a obra Schleiermacher e Goethe. Uma contribuição para a história do espírito alemão .

Ele foi nomeado para suceder Rudolf Otto em Breslau , onde ensinou filosofia da religião e teologia sistemática como professor titular desde 1917 . No mesmo ano, ele se casou com sua noiva Elisabeth von Orth. Ele foi dispensado do serviço militar devido a uma doença de estômago que durou 8 anos. Em 1919, ele foi submetido a uma operação que provavelmente removeu uma grande parte de seu estômago. No mesmo ano, ele aceitou o convite de Kiel para uma cadeira de filosofia. A partir de outubro de 1928, ele lecionou em Münster, primeiro como professor de filosofia. Lá ele fez amizade com Karl Barth , que ensinava teologia protestante em Münster desde 1925. Influenciado pelas conversas com Scholz, Barth escreveu seu livro em 1930/31 sobre a prova de Deus de Anselmo de Canterbury , "fides quaerens intellectum".

Depois de interromper seus estudos de lógica em favor da teologia em sua juventude, ele não começou novamente até 1924, fascinado por Principia Mathematica de Bertrand Russell e Alfred North Whitehead , para estudar matemática e física teórica. Scholz se tornou um lógico matemático.

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

“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. 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 algumas observações sobre isso. "

Na Westphalian Wilhelms University em Münster , ele criou o primeiro foco em lógica matemática e pesquisa básica, que tem uma influência muito forte na ciência da computação teórica de hoje . Este empreendimento ficou registrado na história da universidade como a "Escola de Münster". Seu cargo de professor titular foi rededicado em 1936 a um cargo de professor de lógica matemática e pesquisa básica e, em 1943, à primeira cadeira na Alemanha em lógica matemática e pesquisa básica . A cadeira de Münster ainda é considerada uma das melhores da Alemanha hoje. Scholz aposentou-se em 1952. Durante a Segunda Guerra Mundial, ele protegeu o lógico polonês Jan Łukasiewicz de Varsóvia com ajuda financeira e conseguiu que ele se mudasse para Münster.

Scholz era considerado um platônico e, nesse sentido, via a lógica matemática como a base do conhecimento. Ele é considerado o descobridor da propriedade de Gottlob Frege . Foi por meio dele que os escritos de Frege se tornaram acessíveis a um grande número de pessoas. Sob a orientação de Scholz, Friedrich Bachmann (1934), Hans Hermes (1938), Karl Schröter (1941) e Gisbert Hasenjaeger (1950) fizeram seus doutorados .

Na propriedade de Scholz, Achim Clausing encontrou duas gravuras originais das publicações mais importantes de Alan Turing , perdidas desde 1945, no porão do Instituto de Ciência da Computação da Universidade Westphalian Wilhelms em Münster . Este é o trabalho “Sobre números computáveis ​​com uma aplicação ao problema de decisão” de 1937, que Scholz solicitou a Turing naquele mesmo ano com um cartão postal. Com base nesse trabalho, segundo a declaração de Clausing, Scholz realizou “o primeiro seminário mundial de informática”. O segundo trabalho data de 1950 e é um tratado sobre o desenvolvimento da inteligência artificial, que Turing forneceu com um comentário manuscrito: “Esta é provavelmente a minha última cópia”. Na Sotheby’s , cópias comparáveis ​​de Turing que não tinham dedicatória foram leiloadas por 180.000 euros.

Em Münster, ele morou em Westring 17 (hoje Domagkstrasse). O túmulo de Scholz está no cemitério do parque Eichhof, em Kiel.

Fontes (seleção)

  • Cristianismo e Ciência na Doutrina da Fé de Schleiermacher. 1909.
  • Fé e descrença na história mundial. Um comentário sobre Augustine de civitate dei. 1911.
  • Schleiermacher e Goethe. Uma contribuição para a história do espírito alemão. 1913, dissertação.
  • O idealismo como portador da ideia de guerra. Friedrich Andreas Perthes, Gotha 1915. Escritos de Perthes sobre a guerra mundial. Volume 3.
  • Política e moral. Uma investigação sobre o 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 guerra mundial. Volume 7.
  • A essência da mente alemã. Grote'sche Verlagsbuchhandlung, Berlin 1917.
  • A ideia da imortalidade como um problema filosófico. 1920.
  • Filosofia da religião. Reuther e Reichard, Berlim, 1921; 2ª edição revisada, 1922.
  • Para a 'queda do oeste'. Uma discussão com Oswald Spengler. Reuther & Reichard, Berlim; 2. retrabalho. e ed. adicional, 1921.
  • A filosofia da religião do como se. Uma revisão de Kant e do positivismo idealista. 1921.
  • O significado da filosofia hegeliana para o pensamento filosófico do presente. Reuther & Reichard, Berlin 1921.
  • O legado da teoria do espaço e do tempo de Kant. 1924.
  • Os fundamentos da matemática grega. 1928 com Helmut Hasse .
  • Eros e Caritas. Amor platônico e amor no sentido do cristianismo. 1929.
  • História da lógica. Junker e Dünnhaupt, Berlin 1931 (1959 com um esboço da história da lógica perto de Alber, Freiburg im Breisgau)
  • A posição de Goethe sobre a questão da imortalidade. 1934.
  • A nova lógica e ciência logística. In: Pesquisas e avanços. Volume 11, 1935.
  • O clássico e a lógica moderna. In: Folhas para a filosofia alemã. Volume 10, 1937, pp. 254-281.
  • Fragments of a Platonist. Staufen, Colônia, nenhum ano (1940).
  • A metafísica como ciência estrita. Staufen, Colônia 1941.
  • Uma nova forma de pesquisa básica. Pesquisa e progresso nº 35/36 ano 1941, p. 382 e segs.
  • Lógica, gramática, metafísica. In: Arquivo de Filosofia. Volume 1, 1947, pp. 39-80.
  • Encontro com Nietzsche. Furche, Tübingen 1948.
  • Características básicas da lógica matemática. Berlim, Göttingen 1961 com Gisbert Hasenjaeger .
  • Mathesis universalis. Tratados sobre a filosofia como ciência estrita. Editado por Hans Hermes , Friedrich Kambartel e Joachim Ritter , Wissenschaftliche Buchgesellschaft, Darmstadt 1961.
Ensaios
  • Spruce e Napoleão. In: Anuários prussianos. Vol. 152, 1913, pp. 1-12.
  • A filosofia da religião do como se. In: Annals of Philosophy. Volume 1, 1919, pp. 27-113.
  • A filosofia da religião do como se. In: Annals of Philosophy. 3º volume, H. 1 1923, pp. 1-73.
  • Por que os gregos não aumentaram os números irracionais? In: estudos de Kant. Volume 3, 1928, pp. 35-72.
  • Agostinho e Descartes. In: Folhas para a filosofia alemã. Volume 5, 1932, Edição 4, pp. 405-423.
  • A ideia de Deus na matemática. In: Folhas para a filosofia alemã. Volume 8, 1934/35, pp. 318-338.
  • Leibniz e a pesquisa matemática básica . In: German Mathematicians Association (Ed.): Relatório anual da German Mathematicians Association . fita 52 . Teubner, 1942, ISSN  0012-0456 , p. 217-244 ( uni-goettingen.de ).
  • Lógica, gramática, metafísica. In: Arquivo de Filosofia Legal e Social. Volume 36, 1943/44, pp. 393-433.

literatura

Links da web

Evidência individual

  1. ↑ a b Cartão-postal digitado, Heinrich Scholz. 11 de fevereiro de 1937. The Turing Digital Archive, acessado em 23 de janeiro de 2019 .
  2. ↑ a b Cartão-postal digitado, Heinrich Scholz. 5 de março de 1937. The Turing Digital Archive, acessado em 23 de janeiro de 2019 .
  3. ^ A b Alan Turing: Em números computáveis, com uma aplicação ao problema de decisão . In: Proceedings of the London Mathematical Society . 2ª série. fita 42 , 1937, pp. 230–265 , doi : 10.1112 / plms / s2-42.1.230 (inglês).
  4. ↑ Systems of Logic Based on Ordinals (1938), incluindo trechos da correspondência de Turing, 1936-1938 . In: Copeland, B. Jack (Ed.): The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life: Plus the Secrets of Enigma . Clarendon Press, Oxford 2004, ISBN 978-0-19-825079-1 , pp. 131 (inglês).
  5. ↑ Hans-Christoph Schmidt am Busch e Kai F. Wehmeier : 'É o único vestígio que deixo para trás': documentos sobre a história das origens do Instituto de Lógica Matemática e Pesquisa Básica. In: H.-C. Schmidt am Busch, KF Wehmeier (Ed.): Heinrich Scholz: lógico, filósofo, teólogo. mentis Verlag, Paderborn 2005, pp. 93-101.
  6. ^ Hans Christoph Schmidt am Busch, Kai F. Wehmeier: Sobre as relações entre Heinrich Scholz e Jan Łukasiewicz. In: História e Filosofia da Lógica. Volume 28, 2007, pp. 67-81.
  7. ↑ Kai F. Wehmeier, Hans-Christoph Schmidt am Busch : Em busca da propriedade de Frege. In: 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 : Seguindo os passos de um pioneiro: Impressões originais do cientista da computação Alan Turing estão na Biblioteca da Universidade de Münster. Westphalia, Münster, Elmar Ries, 28 de janeiro de 2013.
  9. ↑ Philosophisches Jahrbuch 56 (1946) 112.
dados pessoais
SOBRENOME Scholz, Heinrich
PEQUENA DESCRIÇÃO Teólogo protestante alemão, matemático e filósofo
DATA DE NASCIMENTO 17 de dezembro de 1884
LOCAL DE NASCIMENTO Berlim
DATA DA MORTE 30 de dezembro de 1956
LUGAR DA MORTE Muenster