Heinrich Scholz - Heinrich Scholz

Para el entomólogo, consulte Heinrich Scholz (entomólogo) .
Para el escultor austriaco, vea Heinrich Karl Scholz .

Heinrich Scholz
HeinrichScholz.jpg
Nacido 17 de diciembre de 1884  ( 17/12/1884 )
Berlín , Imperio Alemán
Fallecido 30 de diciembre de 1956 (30/12/1956) (72 años)
Münster , Alemania Occidental
Ciudadanía alemán
alma mater Universidad de Münster
Conocido por Instituto de Lógica Matemática e Investigación Fundamental de la Universidad de Münster
Primer seminario mundial sobre informática (con Alan Turing)
Carrera científica
Campos Lógica matemática
Instituciones Universidad de Breslau
Universidad de Berlín Universidad de
Erlangen
Tesis
Asesor de doctorado Adolf von Harnack y Alois Riehl
Estudiantes de doctorado Friedrich Bachmann
Hans Hermes
Gisbert Hasenjaeger
Karl Schröter
Influencias Alfred North Whitehead
Bertrand Russell
Otto Toeplitz
Alan Turing
Friedrich Schleiermacher
Bernard Bolzano

Heinrich Scholz ( alemán: [ʃɔlts] ; 17 de diciembre de 1884 - 30 de diciembre de 1956) fue un lógico , filósofo y teólogo protestante alemán . Era un par de Alan Turing que mencionó a Scholz cuando escribió con respecto a la recepción de " Sobre números computables, con una aplicación al problema de Entscheidung ": "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. [...] Me decepcionó su recepción aquí ".

Scholz tuvo una carrera extraordinaria (fue considerado un científico destacado de importancia nacional) pero no fue considerado un lógico brillante, por ejemplo, al mismo nivel que Gottlob Frege o Rudolf Carnap . Proporcionó un entorno académico adecuado para que sus estudiantes prosperasen. Fundó el Instituto de Lógica Matemática e Investigación Fundamental en la Universidad de Münster en 1936, lo que se puede decir que permitió el estudio de la lógica al más alto nivel internacional después de la Segunda Guerra Mundial hasta la actualidad.

Vida personal

El padre de Herman Scholz fue un ministro protestante en la Iglesia de Santa María, Berlín . De 1903 a 1907 estudió filosofía y teología en la Universidad de Erlangen y Universidad de Berlín el logro de una licenciatura en teología (Lic. Theol.). Fue alumno de Adolf von Harnack , en filosofía con sus compañeros Alois Riehl y Friedrich Paulsen . El 28 de julio de 1910, Scholz se habilitó en las asignaturas de filosofía religiosa y teología sistemática en Berlín, y fue ascendido a catedrático , trabajando allí como conferencista. En 1913, en Erlangen, Heinrich Scholz tomó su examen para la promoción del Dr. Phil. con Richard Falckenberg , estudiando la obra de Schleiermacher y Goethe con una tesis titulada: Schleiermacher und Goethe. Ein Beitrag zur Geschichte des deutschen Geistes. En 1917 fue nombrado presidente de la cátedra de Filosofía de la Religión en Breslau, sucediendo a Rudolf Otto para enseñar filosofía religiosa y teología sistemática. Ese mismo año se casó con su prometida, Elisabeth Orth. Debido a 8 años de continuos problemas gástricos, fue eximido del servicio militar. En 1919 fue sometido a una operación en la que creía que le extirparon gran parte del estómago. Ese año tomó la convocatoria a la Universidad de Kiel , como catedrático de filosofía. Fue mientras estaba en Kiel, en 1924, cuando murió la primera esposa de Scholz, Elisabeth Orth.

Desde octubre de 1928 en adelante, enseñó en la Universidad de Münster , primero como profesor de Filosofía . En 1938, fue cambiado a Profesor de Filosofía de las Matemáticas y Ciencias y nuevamente en 1943 a la Cátedra de Lógica Matemática y Cuestiones Fundamentales en Matemáticas trabajando como director del Instituto de Lógica Matemática e Investigación Fundamental en Münster hasta que se retiró en 1952 como profesor emérito. .

A Scholz le sobrevivió su segunda esposa, Erna. La tumba de Scholz se encuentra en el cementerio del parque Eichhof, cerca de Kiel.

Trabaja

Según su propio relato, en 1921, habiendo encontrado por accidente Principia Mathematica de Bertrand Russell y Alfred North Whitehead , comenzó a estudiar lógica, que había abandonado en su juventud para estudiar teología, lo que más tarde condujo a un estudio de matemáticas y física teórica tomando una licenciatura en Kiel. Sin embargo, otro factor en su cambio de enfoque fue el matemático Otto Toeplitz . Los amplios intereses de investigación de Toeplitz, incluidos los espacios de Hilbert y la teoría espectral, alentaron el interés de Scholz por las matemáticas. De hecho, Segal sugiere que el amor de Scholz por la estructura también fue un factor importante en su paso hacia la lógica matemática, y lo describe así:

El sentimiento de Scholz por la estructura no era poca cosa. Aparentemente, sintió que al tener invitados a cenar: (1) no se debe invitar a más de seis personas; (2) debe haber un menú excelente; (3) se debe planificar un tema de discusión; y (4) los invitados deben haberse preparado lo más posible de antemano sobre este tema.

En 1925, fue compañero de Karl Barth en la Universidad de Münster, en la que enseñó teología protestante . Bajo la influencia de conversaciones con Scholz, Barth escribió más tarde en 1930/31. su libro sobre la prueba de Dios de Anselmo de Canterbury " fides quaerens intellectum ".

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

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 algún trabajo relacionado bastante con él hace algunos años, al menos hubiera hecho algunos comentarios al respecto.

En la Universidad de Münster , su estudio de la lógica matemática y la investigación básica, proporcionó muchas de las ideas críticas que contribuyeron a los fundamentos de la informática teórica . Desde que llegó a Münster, Scholz trabajó para construir una escuela de lógica matemática. En 1935, su equipo de investigación en Münster se conocía como la escuela de lógica matemática de Münster . Scholz nombra 1936, como el año en que nació la Escuela de Münster . Su cátedra se volvió a dedicar en 1936 a una cátedra de lógica matemática e investigación fundamental y en 1943 la primera cátedra en Alemania de lógica matemática e investigación fundamental. La silla Münster sigue siendo considerada una de las mejores de Alemania.

Scholz era considerado un platónico y, en ese sentido, consideraba la lógica matemática como la base del conocimiento. En 1936 recibió una beca de la DFG para la producción de tres volúmenes de investigación en lógica y para la edición de los artículos de Gottlob Frege . Se le considera el descubridor de la finca de Gottlob Frege .

Gisbert Hasenjaeger, cuya tesis había sido supervisada por Scholtz, produjo un libro Grundzüge der mathischen Logik en 1961 que fue escrito conjuntamente con Scholz a pesar de haber sido publicado cinco años después de la muerte de Scholz.

Trabajar durante la Segunda Guerra Mundial

Inicialmente, Scholz estaba satisfecho con el surgimiento del poder nazi en Alemania . Se describe a sí mismo como un nacionalista conservador, se describe a sí mismo como "Nos sentimos prusianos hasta la médula", y su amigo Heinrich Behnke lo describe como un "nacionalista prusiano de mente estrecha". Behnke encontró difícil discutir cuestiones políticas. Al principio, el Las leyes nazis ayudaron a establecer Münster como un centro importante para la lógica a medida que otros miembros del personal universitario de las universidades de Göttingen y Berlín estaban siendo eliminados.

El 14 de marzo de 1940, Scholz envió una carta al departamento de Educación de la Polonia ocupada, solicitando la liberación de Jan Salamucha, quien había sido profesor de teología en la Universidad de Cracovia . Salamucha fue enviado al campo de concentración de Sachsenhausen en 1940. En octubre de 1940, Scholz recibió una respuesta del ministro de Educación que decía que había "lesionado el honor nacional" y que tenía prohibido enviar más peticiones. Salamucha fue liberado más tarde pero asesinado por los nazis en 1944.Sin embargo, Scholz persistió, primero ayudando a Alfred Tarski , que había huido de Polonia a los Estados Unidos, a mantener correspondencia con su esposa que permanecía en Polonia y luego ayudando al lógico polaco Jan Łukasiewicz , a quien Había estado correspondiendo desde 1938, para dejar Polonia con su esposa y esconderse en Alemania.

Aunque Scholz reconoció la verdadera naturaleza de los nazis y los aborreció desde mediados de 1942 en adelante, se mantuvo en buenos términos con académicos nazis como Ludwig Bieberbach . Durante el período del nacionalsocialismo, Max Steck, quien defendió las matemáticas alemanas que rechazaban el enfoque formalista de las matemáticas, se opuso profundamente al enfoque de Hilbert, que describió como judío, el peor insulto posible en Alemania en este momento. Max Steck reconoció el "logro excepcional per se del formalismo" ("an sich betrachtet einmaligen Leistung des Formalismus"), pero criticó el "componente epistemológico faltante" ("Jede eigentliche Erkenntnistheorie fehlt im Formalismus") y en la única página de su principal En una obra en la que conecta el formalismo y los judíos, menciona que "los judíos fueron los verdaderos creadores de tendencias del formalismo" ("die eigentlichen Schrittmacher des Formalismus"). En respuesta a esto, Bieberbach le pidió a Scholz que escribiera un artículo para Deutsche Mathematik , para responder a los ataques al formalismo matemático de Steck, lo cual fue sorprendente ya que Bieberbach lideró el ataque de los matemáticos nazis a las matemáticas judías. Asegurándose de que Hilbert no fuera considerado "judío", Scholz escribió "¿A qué apunta el estudio formalizado de los fundamentos de las matemáticas?". Scholz había recibido financiación de Bieberbach ya en 1937, lo que llevó a Steck molesto a escribir en su libro de 1942:

Lo que Scholz ha entendido es sin duda esto, obtener del Estado alemán enormes cantidades de dinero para publicaciones para esta producción lógica. Rechazamos fundamentalmente esta lógica que elogia a los empiristas ingleses y a los filósofos sensoriales como los ingleses Locke, Berkeley, Hume, y ahora nos encontramos realmente con el momento de hablar por una vez sobre los "grandes alemanes".

Había otros tres artículos de Heinrich Scholz en la revista German Mathematics : Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls (1936), una revisión del libro del filósofo nazi Wolfgang Cramer Das Problem der reinen Anschauung (1938) y una revisión de Andreas Speiser 's Ein Parmenideskommentar (1938).

Primer seminario de informática del mundo

A finales de la década de 2000, a Achim Clausing se le encomendó la tarea de revisar el estado restante de Scholz en la Universidad de Münster, y mientras revisaba los documentos del archivo en el sótano del Instituto de Ciencias de la Computación, Clausing descubrió dos copias originales de la publicación más importante de Alan. Turing, desaparecida desde 1945. En este caso, la obra " Sobre números computables, con una aplicación al problema de Entscheidung " de 1936, que había solicitado Scholz, y una postal de Turing. Basado en el trabajo de Turing y las conversaciones con Scholz, Clausing declaró que "[fue] el primer seminario del mundo sobre informática". El segundo trabajo, que era un artículo de Mind (revista), data de 1950 y es un tratado sobre el desarrollo de la inteligencia artificial , Turing les proporcionó un comentario escrito a mano. Esta es probablemente mi última copia . En Sotheby grabados recientemente, comparables de Turing, sin dedicación adjunta, se vendió por 180.000 euros.

Trabajos

  • El cristianismo y la ciencia en la doctrina de la fe de Schleiermacher , 1909
  • Creencia e incredulidad en la historia del mundo. Una respuesta a Agustín de Civitate Dei , 1911
  • Schleiermacher und Goethe. Ein Beitrag zur Geschichte des deutschen Geistes [ Schleiermacher y Goethe. Una contribución a la historia del espíritu alemán ] (disertación) (en alemán), Leipzig: JC Hinrichs, 1913
  • El idealismo como portador del pensamiento bélico . Friedrich Andreas Perthes, Gotha , 1915. Escritos de Perthes sobre la Segunda Guerra Mundial, Volumen 3
  • Política y moral. Una investigación del 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 Segunda Guerra Mundial, Volumen 7
  • La esencia del espíritu alemán . 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.
  • Sobre el 'declive' de Occidente. Una disputa con Oswald Spengler . Reuther & Reichard, Berlín; Segunda edición revisada y complementada, 1921.
  • La filosofía religiosa del como si. Una revisión de Kant y el positivismo idealista , 1921
  • La importancia de la filosofía de Hegel para los filósofos de la actualidad . Reuther & Reichard, 1921 Berlín
  • El legado de la doctrina del espacio y el tiempo de Kant , 1924
  • Los fundamentos de las matemáticas griegas , 1928 con Helmut Hasse
  • Eros y Caritas. El amor platónico y el amor en el sentido del cristianismo , 1929
  • Historia de la lógica. Junker y Dünnhaupt, Berlín 1931 (1959 bajo bosquejo de la historia de la lógica Alber, Freiburg im Breisgau)
  • La actitud de Goethe ante la cuestión de la inmortalidad , 1934
  • La nueva lógica logística y la enseñanza de las ciencias. En: Investigación y progreso , Volumen 11, 1935.
  • La lógica clásica y moderna. En: Sheets for German Philosophy , Volumen 10, 1937, págs. 254-281.
  • Fragmentos de un platónico . Staufen, Colonia sin fecha (1940).
  • La metafísica como ciencia rigurosa . Staufen, Colonia 1941.
  • Una nueva forma de investigación básica. Investigación y progreso No. 35/36 nacido en 1941, págs. 382ss.
  • Lógica, gramática, metafísica . En: Archivos de filosofía , volumen 1, 1947, págs. 39–80.
  • Encuentro con Nietzsche . Surco, Tübingen 1948.
  • Principios de lógica matemática. Berlín, Göttingen 1961 Gisbert Hasenjaeger
  • Mathesis universalis. Ensayos sobre la filosofía como ciencia rigurosa , editado por Hans Hermes , Friedrich Kambartel y Joachim Ritter , University Press, Darmstadt 1961.
  • Scholz Leibniz y la base matemática de la investigación, informe anual del club de matemáticos alemán 1943

Documentos

  • Fichte und Napoleon . En: Preußische Jahrbücher (en alemán), volumen 152, 1913, págs. 1-12.
  • La filosofía religiosa del como si . En: Annals of Philosophy , 1 Vol. 1919, págs. 27-113
  • La filosofía religiosa del como si . En: Annals of Philosophy , 3 Bd, H. 1 1923, págs. 1-73
  • ¿Por qué los griegos no construyeron los números irracionales ?. En: Kant Studies Vol.3, 1928, págs. 35-72
  • Agustín y Descartes . En: Sheets for German Philosophy , Volumen 5, 1932, Número 4, págs. 405–423.
  • La idea de Dios en las matemáticas . En: Sheets for German Philosophy , volumen 8, 1934/35, págs. 318–338.
  • Lógica, gramática, metafísica . En: Archives for Law and Social Philosophy , volumen 36, 1943/44, págs. 393–433

Referencias

Fuentes

  • Hermes, Hans (1955), "Heinrich Scholz zum 70. Geburtstag" [Heinrich Scholz con motivo de su 70º cumpleaños], Mathematisch-Physikalische Semesterberichte (en alemán), 4 : 165-170, ISSN   0340-4897
  • Linneweber-Lammerskitten, Helmut (1995). "Scholz, Heinrich". Biographisch-Bibliographisches Kirchenlexikon (BBKL) (en alemán). Volumen 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. Con motivo del centenario del investigador fundamental], Humanismus und Technik. Jahrbuch 1984 (en alemán), Berlín: Gesellschaft von Freunden der Technischen Universität Berlin e. V., 27 , págs. 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 [ De la oscuridad a la luz. Ciencia y teología en el pensamiento de Heinrich Scholz. Con conjuntos inéditos de tesis de Heinrich Scholz y Karl Barth ], Amsterdam Studies in Theology (en alemán), 8 , Amsterdam / Atlanta GA: Editions Rodopi, ISBN   978-9051832471
  • Peckhaus, Volker (1998-1999), "Integridad moral durante un período difícil: Beth y Scholz" , Philosophia Scientiae , 3 (4): 151-173 , consultado el 18 de enero de 2019
  • Peckhaus, Volker (2018), "Heinrich Scholz" , en Zalta, Edward N. (ed.), The Stanford Encyclopedia of Philosophy (otoño de 2018 ed.), Stanford, CA: Metaphysics Research Lab, Stanford University , consultado el 18 de enero 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 ] (en alemán e inglés). Paderborn, Alemania: Mentis. ISBN   978-3897852792 .
  • Schmidt am Busch, Hans-Christoph (2007), "Scholz, Heinrich" , Neue Deutsche Biographie (en alemán), 23 , págs. 454–455 , consultado el 18 de enero de 2019

Trabajos externos