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 ": [2] "He recibido dos cartas pidiendo reimpresiones, una de Braithwaite en King's y uno de un profesor [sic] en Alemania ... Parecían muy interesados en el periódico. [...] Me decepcionó su recepción aquí ".
Heinrich Scholz | |
---|---|
Nació | 17 de diciembre de 1884 |
Fallecido | 30 de diciembre de 1956 | (72 años)
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 [1] |
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. [3]
Vida personal
El padre de Herman Scholz fue un ministro protestante en la Iglesia de Santa María, Berlín . [4] 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 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. [5] 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. [6] En 1917 fue nombrado presidente 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 problemas gástricos continuos, fue eximido del servicio militar. En 1919 se sometió 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. [5]
Desde octubre de 1928 en adelante, enseñó en la Universidad de Münster , primero como profesor de Filosofía . En 1938, este 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 Preguntas Fundamentales en Matemáticas trabajando como director del Instituto de Lógica Matemática e Investigación Fundamental en Münster [7] hasta que se jubiló en 1952 como profesor emérito. [5]
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, habiéndose encontrado por accidente con 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. [3] Sin embargo, otro factor en su cambio de enfoque fue el matemático Otto Toeplitz . [5] 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 [5] [8] sugiere que el amor de Scholz por la estructura también fue un factor importante en su paso hacia la lógica matemática, describiéndolo así:
El sentimiento de Scholz por la estructura no era poca cosa. Aparentemente, sintió que cuando se reciben invitados para 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 [9] [10] 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": [2]
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. [11]
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 . [3] Desde que llegó a Münster, Scholz trabajó para construir una escuela de lógica matemática. [5] En 1935, su equipo de investigación en Münster se conocía como la escuela de lógica matemática de Münster . [5] Scholz nombra 1936, como el año en que nació la Escuela Münster . [4] 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 fue considerado un platónico y, en ese sentido, consideró 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 . [12]
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. [5]
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 tal: "Nos sentimos prusianos hasta la médula", [4] y su amigo Heinrich Behnke lo describe como un "nacionalista prusiano de mente estrecha". [5] Behnke encontró discutiendo temas políticos. Al principio, 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 Gotinga 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, [5] 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 decía que había "dañado el honor nacional" y tenía prohibido enviar más peticiones. [13] Salamucha fue liberado más tarde pero asesinado por los nazis en 1944 [5] 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 a los polacos. El lógico Jan Łukasiewicz , con quien había estado correspondiendo desde 1938, para dejar Polonia con su esposa y esconderse en Alemania. [5]
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 . [5] 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. [5] Max Steck reconoció el "logro sobresaliente per se del formalismo" ("an sich betrachtet einmaligen Leistung des Formalismus"), pero criticó el "componente epistemológico faltante" ("Jede eigentliche Erkenntnistheorie fehlt im Formalismus") [14] y en adelante 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 pioneros del formalismo" ("die eigentlichen Schrittmacher des Formalismus"). [15] 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 dirigió 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?". [5] [16] 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". [5] [17]
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, Achim Clausing [18] tuvo 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 impresiones originales de las más importantes publicación de Alan Turing, desaparecida desde 1945. [19] 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 ciencias de la computación". El segundo trabajo, que fue 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 . [20] En Sotheby recientemente, impresiones comparables de Turing, sin dedicación adjunta, se vendió por 180.000 euros.
Obras
- 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; 2a 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, Friburgo de Brisgovia)
- 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, Tubinga 1948.
- Principios de lógica matemática. Berlín, Gotinga 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 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
- ^ Šebestik, Jan. "La lógica de Bolzano" . En Zalta, Edward N. (ed.). Enciclopedia de Filosofía de Stanford .
- ^ a b Alan Turing: " Sobre números computables, con una aplicación al Entscheidungsproblem ". En: Proceedings of the London Mathematical Society , segunda serie, vol. 42 (1937), págs. 230-265.
- ^ a b c Hans-Christoph Schmidt am Busch y Kai F. Wehmeier , "Es la única pista que dejo '. documentos sobre la historia del Instituto de Lógica Matemática y la investigación básica", En: Heinrich Scholz: lógico, filósofo , teólogo, ed. por H.-C. Schmidt am Busch y KF Wehmeier, mentis Verlag, Paderborn 2005, 93–101.
- ^ a b c Eckart Menzler-Trott (1 de enero de 2007). El genio perdido de la lógica: la vida de Gerhard Gentzen . American Mathematical Soc. págs. 183–. ISBN 978-0-8218-9129-2.
- ^ a b c d e f g h i j k l m n o p "Historia de Heinrich Scholz" . Universidad de St Andrews . Escuela de Matemáticas y Estadística de la Universidad de St Andrews, Escocia. Julio de 2009 . Consultado el 15 de diciembre de 2012 .
- ^ 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
- ^ "Instituto de Lógica Matemática e Investigaciones Fundamentales" . Universidad de Münster . Consultado el 15 de diciembre de 2013 .
- ^ Segal, SL (2003). Matemáticos bajo los nazis . Prensa de la Universidad de Princeton. ISBN 9780691164632.
- ^ Postal mecanografiada, Heinrich Scholz. 11 de febrero de 1937. , The Turing Digital Archive , consultado el 23 de enero de 2019
- ^ Postal mecanografiada, Heinrich Scholz. 5 de marzo de 1937. , The Turing Digital Archive , consultado el 23 de enero de 2019
- ^ Copeland, B. Jack, ed. (2004), "Systems of Logic Based on Ordinals (1938), incluyendo extractos de la correspondencia de Turing, 1936-1938", The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life: Plus the Secrets of Enigma , Oxford: Clarendon Press, pág. 131, ISBN 9780198250791
- ^ Kai F. Wehmeier y Hans-Christoph Schmidt am Busch, "En busca de la propiedad de Frege". En: Gottlob Frege: Works and Impact, ed. por G. Gabriel y U. Dathe, mentis Verlag, Paderborn 2005, 267–281.
- ^ Vita en Uni Münster (en alemán, p.111-118 = p.23-30 en el documento pdf), aquí: p.114-115 = p.26-27
- ^ Max Steck: "Mathematik als Begriff und Gestalt" (es decir, "Matemáticas como concepto y modelo"), Max Niemeyer Verlag, Halle (Saale), 1942, páginas 27, 28.
- ^ Max Steck: "Das Hauptproblem der Mathematik", segunda edición extendida, Dr. Georg Lüttke Verlag, Berlín 1943, página 204
- ^ Heinrich Scholz (julio de 1943). "Was will die formalisierte Grundlagenforschung?". Deutsche Mathematik . 7 (2/3): 206–248.
- ^ Max Steck, Das Hauptproblem der Mathematik, 2ª edición, Georg Lüttke Verlag, Berlín, 1943, página 157; cita directa del libro de Max Steck: "Lo que Scholz ha entendido es sin duda esto, renunciar a las afirmaciones de la primera edición de nuestro libro como pertenecientes a la historia del pensamiento y volverse personales. Rechazamos fundamentalmente esta lógica matemática formal, que alaba la empiristas y filósofos sensoriales como "los grandes ingleses Locke, Berkeley, Hume" (Heinrich Scholz en la página 15), y ahora encuentran realmente el momento de hablar por una vez sobre los "grandes alemanes" ". (Texto original alemán de Max Steck: "Was er verstanden hat ist zweifellos dies, die Darlegungen der 1. Auflage unseres Buches als geistesgeschichtliche Entwicklungen abzustreiten und ins Persönliche zu verbiegen. Wir lehnen grundsätzlich diese Logistik die en großen Engländer, Locke, Berkeley, Hume "sacerdote (así Heinrich Scholz ibid. S. 15) ab und finden es nachgerade an der Zeit, einmal von den" Großen Deutschen "zu sprechen." )
- ^ http://cs.uni-muenster.de/u/cl/
- ^ "Tras las huellas de un pionero: en la biblioteca de la Universidad de Münster hay grabados originales del informático Alan Turing". Westfälische Nachrichten . Münster: Westfälische Nachrichten Elmar Ries. 28 de enero de 2013.
- ^ Turing, Alan (octubre de 1950). "Maquinaria e Inteligencia Informática" . Instituto de Ciencias de la Computación, Universidad de Münster . Mente, una revisión trimestral de psicología y filosofía Vol LIX No 236 . Consultado el 15 de diciembre de 2013 .
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.
|volume=
tiene texto extra ( ayuda ) - 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 (edición de otoño de 2018), Stanford, CA: Metaphysics Research Lab, Universidad de Stanford , 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
- John J. O'Connor, Edmund F. Robertson : Heinrich Scholz (lógico). En: Archivo MacTutor de Historia de las Matemáticas (inglés)
- Publicaciones de y sobre Heinrich Scholz en el catálogo de la Biblioteca Nacional Alemana