Paul Lorenzen (24 de marzo de 1915 - 1 de octubre de 1994) fue un filósofo y matemático alemán, fundador de la Escuela de Erlangen (con Wilhelm Kamlah) e inventor de la semántica de juegos (con Kuno Lorenz ).
Lorenzen estudió en la Universidad de Göttingen hasta que obtuvo su doctorado allí en 1938 bajo la dirección de Helmut Hasse con una tesis titulada Zur Abstrakten Begründung der multiplikativen Idealtheorie . En 1933, se unió a las SA y a la Unión de Estudiantes Nazis (NSDStB), mientras que, cuatro años más tarde, se convirtió en miembro del Partido Nazi . [1] A principios de 1940 fue reclutado en el ejército. [2] A través de la mediación de Hasse, Lorenzen trabajó con Wilhelm Tranow desde julio de 1940 hasta abril de 1941 en el proyecto de decodificación de Bavy. [3]
En 1939, se convirtió en asistente de Wolfgang Krull en la Universidad de Bonn , donde permaneció oficialmente hasta 1949. [4] Su trabajo principal fue sobre los fundamentos de las matemáticas : la teoría de la demostración . Creó y modificó las matemáticas constructivas . Lorenzen enseñó en Stanford , la Universidad de Texas y la Universidad de Boston en los EE. UU. Fue profesor John Locke en 1967/1968.
Lorenzen llegó en 1962 a la Universidad de Erlangen (sur de Alemania) y fundó allí la Escuela Erlangen de constructivismo epistemológico .
Escribió con Wilhelm Kamlah el famoso libro Propedéutica lógica ("Logische Propädeutik") y trabajó en semántica de juegos ( "Dialogische Logik ") con Kuno Lorenz . Con Peter Janich inventó la protofísica del tiempo y el espacio. Desarrolló la lógica constructiva , la teoría de tipos constructivos y el análisis constructivo .
El trabajo de Lorenzen sobre cálculo diferencial e integral estuvo dedicado a Hermann Weyl . Lorenzen utilizó la técnica de Weyl para desarrollar un análisis predicativo , que puede reconstruir el análisis clásico , sin el principio del tercero excluido ni el axioma de elección . Trabajó también en la eliminación por corte de Gerhard Gentzen para encontrar una forma de continuar el programa de Hilbert después de los resultados de Gödel .
En la teoría de la geometría y la física, Lorenzen recibió la influencia de Hugo Dingler . Siguió a Dingler en la construcción de la geometría y la física a partir de operaciones primitivas. Lorenzen adoptó una interpretación temprana de Steven Weinberg (Gravitation and Cosmology, 1972) para sus dudas sobre los elementos geométricos de la relatividad general , creyendo que las ecuaciones de Maxwell debían ser modificadas por la relatividad general.
Lorenzen también estuvo influido por la hermenéutica de Wilhelm Dilthey y le gustaba citar la frase de Dilthey de que el conocimiento no puede ir más allá de la vida. La Lebensphilosophie de Dilthey era la descripción del contexto de la experiencia ordinaria en el que construimos las abstracciones de las matemáticas y la física.
Como profesor de la Cátedra John Locke inventó la lógica normativa como base de la ética y la argumentación política.
