Heinrich Scholz (lógico)

Heinrich Scholz en el Instituto de Investigación Matemática Oberwolfach

Heinrich Scholz (nacido el 17 de diciembre de 1884 en Berlín † el 30 de diciembre de 1956 en Münster, Westfalia ) fue un lógico, filósofo y teólogo protestante alemán.

vida y trabajo

El hijo del clérigo Hermann Scholz estudió filosofía y teología en Berlín y Erlangen y obtuvo el título de Lic. Theol. 1909. Fue alumno de Adolf von Harnack , en filosofía de Alois Riehl y Friedrich Paulsen . En 1910, Scholz completó su habilitación en las asignaturas de filosofía de la religión y teología sistemática en Berlín. En 1913 en Erlangen aprobó el examen de Richard Falckenberg para el doctorado de un Dr. phil. con la obra Schleiermacher y Goethe. Una contribución a la historia del espíritu alemán .

Fue llamado para suceder a Rudolf Otto en Breslau , donde enseñó filosofía de la religión y teología sistemática como profesor titular desde 1917 . En el mismo año se casó con su prometida Elisabeth von Orth. Fue dado de alta del servicio militar debido a una dolencia de estómago que duró 8 años. En 1919 se sometió a una operación en la que probablemente le extirparon gran parte del estómago. Ese mismo año aceptó una llamada a Kiel para una cátedra de filosofía. A partir de octubre de 1928 enseñó en Münster, primero como profesor de filosofía. Allí se hizo amigo de Karl Barth , que enseñaba teología protestante en Münster desde 1925. Influenciado por las conversaciones con Scholz, Barth escribió su libro en 1930/31 sobre la prueba de Dios de Anselmo de Canterbury , "fides quaerens intellectum".

Después de romper sus estudios de lógica en favor de la teología en su juventud, no comenzó de nuevo hasta 1924, fascinado por los Principia Mathematica de Bertrand Russell y Alfred North Whitehead , a estudiar matemáticas y física teórica. Scholz se convirtió en un lógico matemático.

En la década de 1930 mantuvo contacto con Alan Turing , quien más tarde escribió, en una carta a su casa fechada el 22 de febrero de 1937, sobre la inclusión de su artículo "Sobre números computables, con una aplicación al problema de la toma de decisiones":

“He recibido dos cartas pidiendo reimpresiones, una de Braithwaite en King's y otra de un profesor [sic] en Alemania ... Parecían muy interesados ​​en el periódico. Creo que posiblemente esté causando cierta impresión. Me decepcionó su recepción aquí. Esperaba que Weyl, que había hecho un trabajo relacionado bastante estrechamente con él hace algunos años, al menos hubiera hecho algunos comentarios al respecto ".

En la Westphalian Wilhelms University en Münster , creó el primer enfoque en la lógica matemática y la investigación básica, que tiene una gran influencia en la informática teórica actual . Este esfuerzo pasó a la historia de la universidad como la "Escuela de Münster". Su cátedra completa se volvió a dedicar en 1936 a un puesto de profesor de lógica matemática e investigación básica y en 1943 a la primera cátedra en Alemania de lógica matemática e investigación básica . La silla Münster todavía se considera una de las mejores de Alemania. Scholz se retiró en 1952. Durante la Segunda Guerra Mundial protegió al lógico polaco Jan Łukasiewicz de Varsovia con ayuda económica y se aseguró de que se trasladara a Münster.

Scholz fue considerado un platónico y, en este sentido, vio la lógica matemática como la base del conocimiento. Se le considera el descubridor de la herencia de Gottlob Frege . Fue a través de él que los escritos de Frege se hicieron accesibles a un gran número de personas. Bajo la dirección de Scholz, Friedrich Bachmann (1934), Hans Hermes (1938), Karl Schröter (1941) y Gisbert Hasenjaeger (1950) hicieron sus doctorados .

En la propiedad de Scholz, Achim Clausing encontró dos copias originales de las publicaciones más importantes de Alan Turing , que se habían perdido desde 1945, en el sótano del Instituto de Ciencias de la Computación de la Universidad Westfaliana Wilhelms en Münster . Se trata de la obra "Sobre números computables con aplicación al problema de la toma de decisiones" de 1937, que Scholz solicitó con una postal de Turing ese mismo año. Sobre la base de este trabajo, según la declaración de Clausing, Scholz celebró “el primer seminario mundial sobre informática”. La segunda obra data de 1950 y es un tratado sobre el desarrollo de la inteligencia artificial, que Turing aportó con un comentario manuscrito: “Esta es probablemente mi última copia”. En Sotheby's se subastaron por 180.000 euros grabados comparables de Turing que no tenían dedicación.

En Münster vivió en Westring 17 (hoy Domagkstrasse). La tumba de Scholz se encuentra en el cementerio del parque Eichhof en Kiel.

Fuentes (selección)

  • Cristianismo y ciencia en la doctrina de la fe de Schleiermacher. 1909.
  • Fe e incredulidad en la historia mundial. Un comentario sobre Agustín de civitate dei. 1911.
  • Schleiermacher y Goethe. Una contribución a la historia del espíritu alemán. 1913, disertación.
  • El idealismo como portador de la idea de guerra. Friedrich Andreas Perthes, Gotha 1915. Escritos de Perthes sobre la guerra mundial. Volumen 3.
  • Política y moral. Una investigación sobre el carácter moral de la realpolitik moderna. Friedrich Andreas Perthes, Gotha 1915. Escritos de Perthes sobre la guerra mundial. Volumen 6.
  • La guerra y el cristianismo. Friedrich Andreas Perthes, Gotha 1915. Escritos de Perthes sobre la guerra mundial. Volumen 7.
  • La esencia de la mente alemana. Grote'sche Verlagsbuchhandlung, Berlín 1917.
  • La idea de la inmortalidad como problema filosófico. 1920.
  • Filosofía de la religión. Reuther & Reichard, Berlín, 1921; Segunda edición revisada, 1922.
  • A la 'caída del oeste'. Una discusión con Oswald Spengler. Reuther & Reichard, Berlín; 2. reelaboración. y ed. adicional, 1921.
  • La filosofía de la religión del como si. Una revisión de Kant y el positivismo idealista. 1921.
  • El significado de la filosofía hegeliana para el pensamiento filosófico del presente. Reuther & Reichard, Berlín 1921.
  • El legado de la teoría del espacio y el tiempo de Kant. 1924.
  • Los fundamentos de las matemáticas griegas. 1928 con Helmut Hasse .
  • Eros y Caritas. Amor platónico y amor en el sentido del cristianismo. 1929.
  • Historia de la lógica. Junker y Dünnhaupt, Berlín 1931 (1959 con un esbozo de la historia de la lógica cerca de Alber, Friburgo de Brisgovia)
  • Posición de Goethe sobre la cuestión de la inmortalidad. 1934.
  • La nueva lógica y ciencia logística. En: Investigaciones y Avances. Volumen 11, 1935.
  • La lógica clásica y la moderna. En: Hojas de Filosofía Alemana. Volumen 10, 1937, págs. 254-281.
  • Fragmentos de un platónico. Staufen, Colonia sin fecha (1940).
  • La metafísica como ciencia estricta. Staufen, Colonia 1941.
  • Una nueva forma de investigación básica. Investigación y progreso nº 35/36 año 1941, p. 382 y sigs.
  • Lógica, gramática, metafísica. En: Archivo de Filosofía. Volumen 1, 1947, págs. 39-80.
  • Encuentro con Nietzsche. Furche, Tübingen 1948.
  • Características básicas de la lógica matemática. Berlín, Göttingen 1961 con Gisbert Hasenjaeger .
  • Mathesis universalis. Tratados sobre la filosofía como ciencia estricta. Editado por Hans Hermes , Friedrich Kambartel y Joachim Ritter , Wissenschaftliche Buchgesellschaft, Darmstadt 1961.
Ensayos
  • Abeto y Napoleón. En: anuarios prusianos. Vol. 152, 1913, págs. 1-12.
  • La filosofía de la religión del como si. En: Annals of Philosophy. Volumen 1, 1919, págs. 27-113.
  • La filosofía de la religión del como si. En: Annals of Philosophy. 3er volumen, H. 1 1923, págs. 1-73.
  • ¿Por qué los griegos no acumularon cifras irracionales? En: Estudios de Kant. Volumen 3, 1928, págs. 35-72.
  • Agustín y Descartes. En: Hojas de Filosofía Alemana. Volumen 5, 1932, Número 4, págs. 405-423.
  • La idea de Dios en las matemáticas. En: Hojas de Filosofía Alemana. Volumen 8, 1934/35, págs. 318-338.
  • Leibniz y la investigación matemática básica . En: Asociación Alemana de Matemáticos (Ed.): Informe anual de la Asociación Alemana de Matemáticos . cinta 52 . Teubner, 1942, ISSN  0012-0456 , pág. 217-244 ( uni-goettingen.de ).
  • Lógica, gramática, metafísica. En: Archivo de Filosofía Jurídica y Social. Volumen 36, 1943/44, págs. 393-433.

literatura

enlaces web

Evidencia individual

  1. ↑ a b Postal mecanografiada, Heinrich Scholz. 11 de febrero de 1937. The Turing Digital Archive, consultado el 23 de enero de 2019 .
  2. ↑ a b Postal mecanografiada, Heinrich Scholz. 5 de marzo de 1937. The Turing Digital Archive, consultado el 23 de enero de 2019 .
  3. ^ A b Alan Turing: sobre números computables, con una aplicación al problema de decisión . En: Actas de la London Mathematical Society . 2da serie. cinta 42 , 1937, págs. 230-265 , doi : 10.1112 / plms / s2-42.1.230 (inglés).
  4. ↑ Systems of Logic Based on Ordinals (1938), incluidos extractos de la correspondencia de Turing, 1936-1938 . En: Copeland, B. Jack (Ed.): The Essential Turing: Escritos fundamentales en Computación, Lógica, Filosofía, Inteligencia Artificial y Vida Artificial: Más los Secretos del Enigma . Clarendon Press, Oxford 2004, ISBN 978-0-19-825079-1 , págs. 131 (inglés).
  5. ↑ Hans-Christoph Schmidt am Busch y Kai F. Wehmeier : 'Es el único rastro que dejo': documentos sobre la historia de los orígenes del Instituto de Lógica Matemática e Investigación Básica. En: H.-C. Schmidt am Busch, KF Wehmeier (Ed.): Heinrich Scholz: lógico, filósofo, teólogo. mentis Verlag, Paderborn 2005, págs. 93-101.
  6. ^ Hans Christoph Schmidt am Busch, Kai F. Wehmeier: Sobre las relaciones entre Heinrich Scholz y Jan Łukasiewicz. En: Historia y Filosofía de la Lógica. Volumen 28, 2007, págs. 67-81.
  7. ↑ Kai F. Wehmeier, Hans-Christoph Schmidt am Busch : En busca de la propiedad de Frege. En: G. Gabriel, U. Dathe (ed.): Gottlob Frege: Trabajo y efecto. mentis Verlag, Paderborn 2000, págs. 267-281.
  8. ↑ a b c d e Westfälische Nachrichten : Tras los pasos de un pionero: Las copias originales del científico informático Alan Turing se encuentran en la Biblioteca de la Universidad de Münster. Westfalia, Münster, Elmar Ries, 28 de enero de 2013.
  9. ↑ Philosophisches Jahrbuch 56 (1946) 112.
información personal
APELLIDO Scholz, Heinrich
BREVE DESCRIPCIÓN Teólogo, matemático y filósofo protestante alemán
FECHA DE NACIMIENTO 17 de diciembre de 1884
LUGAR DE NACIMIENTO Berlina
FECHA DE MUERTE 30 de diciembre de 1956
LUGAR DE LA MUERTE queso Muenster