Heinrich Scholz ( en 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 . Fue un par de Alan Turing , quien mencionó a Scholz cuando escribió con respecto a la recepción de " Sobre números computables, con una aplicación al problema de Entscheidung ": [1] "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 artículo. [...] 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, al mismo nivel, por ejemplo, de Gottlob Frege o Rudolf Carnap . Proporcionó un ambiente académico adecuado para que sus estudiantes prosperaran. Fundó el Instituto de Lógica Matemática e Investigación Fundamental en la Universidad de Münster en 1936, lo que puede decirse que permitió el estudio de la lógica al más alto nivel internacional después de la Segunda Guerra Mundial hasta la actualidad. [2]
El padre de Herman Scholz fue ministro protestante en la iglesia de Santa María de Berlín . [3] De 1903 a 1907 estudió filosofía y teología en la Universidad de Erlangen y la Universidad de Berlín, obteniendo una licenciatura en teología (Lic. theol.). Fue alumno de Adolf von Harnack , en filosofía con sus pares Alois Riehl y Friedrich Paulsen . El 28 de julio de 1910, Scholz se habilitó en las materias de filosofía religiosa y teología sistemática en Berlín, y fue promovido a profesor titular , trabajando allí como conferenciante. [4] En 1913, en Erlangen, Heinrich Scholz tomó su examen para la promoción de 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. [5] En 1917 fue nombrado catedrático de Filosofía de la Religión en Breslau, sucediendo a Rudolf Otto en la docencia de filosofía religiosa y teología sistemática. Ese mismo año se casó con su prometida, Elisabeth Orth. Debido a ocho años de continuos problemas gástricos, fue eximido del servicio militar. En 1919 se sometió a una operación en la que creyó que le extirparon gran parte del estómago. Ese año aceptó la convocatoria de 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. [4]
A partir de octubre de 1928, enseñó en la Universidad de Münster , primero como profesor de Filosofía . En 1938, cambió su puesto a profesor de Filosofía de las Matemáticas y la Ciencia y, nuevamente en 1943, a catedrático 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 [6] hasta que se jubiló en 1952 como profesor emérito. [4]
A Scholz le sobrevivió su segunda esposa, Erna. La tumba de Scholz se encuentra en el cementerio del parque Eichhof, cerca de Kiel.
Según sus propias palabras, en 1921, tras haber encontrado por casualidad los 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 le llevó a estudiar matemáticas y física teórica, obteniendo una licenciatura en Kiel. [2] Sin embargo, otro factor en su cambio de enfoque fue el matemático Otto Toeplitz . [4] 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 [4] [7] sugiere que el amor de Scholz por la estructura también fue un factor importante en su paso a la lógica matemática, describiéndolo de esta manera:
El sentido de la estructura de Scholz no era algo insignificante. Al parecer, creía que, cuando se invitaba a cenar a un grupo de invitados, (1) no se debía invitar a más de seis personas; (2) debía haber un menú excelente; (3) se debía planificar un tema de debate; y (4) los invitados debían haberse preparado lo más posible de antemano sobre ese tema.
En 1925 fue par de Karl Barth en la Universidad de Münster, donde enseñó teología protestante . Bajo la influencia de las conversaciones con Scholz, Barth escribió más tarde, en 1930/31, su libro sobre la prueba de Anselmo de Canterbury de Dios, " fides quaerens intellectum ".
En la década de 1930, mantuvo contacto [8] [9] 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 Entscheidungsproblem": [1]
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 artículo. Creo que posiblemente está causando cierta impresión. Me decepcionó la recepción que tuvo aquí. Esperaba que Weyl, que había hecho algún trabajo relacionado estrechamente con el tema hace algunos años, al menos hubiera hecho algunos comentarios al respecto. [10]
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 las bases de la informática teórica . [2] Desde el momento en que llegó a Münster, Scholz trabajó para construir una escuela de lógica matemática. [4] En 1935, su equipo de investigación en Münster se conocía como la escuela de lógica matemática de Münster . [4] Scholz nombra 1936 como el año en que nació la Escuela de Münster . [3] Su cátedra se rededicó en 1936 a una cátedra de lógica matemática e investigación fundamental y en 1943 a la primera cátedra en Alemania de lógica matemática e investigación fundamental. La cátedra de Münster todavía se considera 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 documentos de Gottlob Frege . Se le considera el descubridor del legado de Gottlob Frege . [11]
Gisbert Hasenjaeger, cuya tesis había sido supervisada por Scholtz, produjo un libro Grundzüge der mathematischen Logik en 1961, que fue escrito conjuntamente con Scholz a pesar de haberse publicado cinco años después de la muerte de Scholz. [4]
Al principio, Scholz se mostró satisfecho con el ascenso del poder nazi en Alemania . Se describía a sí mismo como un nacionalista conservador, describiéndose como tal: "Nos sentíamos como prusianos hasta la médula" [3] y su amigo Heinrich Behnke lo describía como un "nacionalista prusiano de mente estrecha". [4] A Behnke le resultaba difícil discutir cuestiones políticas. Al principio, las leyes nazis ayudaron a establecer Münster como un importante centro de lógica, mientras que el resto del personal universitario de las universidades de Göttingen y Berlín estaba siendo eliminado.
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, [4] que 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 afirmaba que había "lesionado el honor nacional" y se le prohibía enviar más peticiones. [12] Salamucha fue liberado más tarde, pero asesinado por los nazis en 1944. [4] Sin embargo, Scholz persistió, primero ayudando a Alfred Tarski , que había huido de Polonia a los Estados Unidos, a comunicarse con su esposa que permaneció en Polonia y más tarde ayudando al lógico polaco Jan Łukasiewicz , con quien había estado en correspondencia desde 1928, a abandonar Polonia con su esposa y esconderse en Alemania. [4]
Aunque Scholz reconoció la verdadera naturaleza de los nazis y los aborreció desde mediados de 1942 en adelante, permaneció en buenos términos con académicos nazis como Ludwig Bieberbach . [4] 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 , al que describió como judío, el peor insulto posible en Alemania en ese momento. [4] Max Steck reconoció el "logro per se sobresaliente del formalismo" ("an sich betrachtet einmaligen Leistung des Formalismus"), pero criticó el "componente epistemológico faltante" ("Jede eigentliche Erkenntnistheorie fehlt im Formalismus") [13] y en la única página de su obra principal donde 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"). [14] En respuesta a esto, Bieberbach le pidió a Scholz que escribiera un artículo para Deutsche Mathematik , para responder a los ataques de Steck al formalismo matemático , 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?". [4] [15] Scholz había recibido financiación de Bieberbach ya en 1937, lo que impulsó a un molesto Steck a escribir en su libro de 1942:
Lo que Scholz ha entendido es, sin duda, que el Estado alemán le ha concedido enormes cantidades de dinero para la publicación de esta producción lógica. Nosotros rechazamos de plano esta lógica que ensalza a los empiristas y filósofos sensoriales ingleses, como los ingleses Locke, Berkeley y Hume, y que, por una vez, nos parece que ya es hora de hablar de los "grandes alemanes". [4] [16]
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 reseña del libro del filósofo nazi Wolfgang Cramer Das Problem der reinen Anschauung (1938) y una reseña de Andreas Ein Parmenideskommentar de Speiser (1938).
A finales de los años 2000, Achim Clausing [17] recibió el encargo de revisar el patrimonio restante de Scholz en la Universidad de Münster, y mientras revisaba los papeles de archivo en el sótano del Instituto de Ciencias de la Computación, Clausing descubrió dos impresiones originales de la publicación más importante de Alan Turing, que había estado desaparecida desde 1945. [18] En este caso, la obra " Sobre números computables, con una aplicación al problema de la endoscopia " de 1936, que Scholz había solicitado, y una postal de Turing. Basándose en el trabajo de Turing y en conversaciones con Scholz, Clausing afirmó que "[fue] el primer seminario del mundo sobre ciencias de la computación". El segundo trabajo, que era un artículo de la revista Mind, 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 . [19] Recientemente, en Sotheby's , impresiones comparables de Turing, sin dedicatoria adjunta, se vendieron por 180.000 euros.