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 con 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 Nazionalista de Estudiantes Alemanes (NSDStB), mientras que, cuatro años más tarde, se convirtió en miembro del Partido Nazi . [1] A principios de 1940 fue reclutado por el ejército. [2] Por mediación de Hasse, Lorenzen trabajó con Wilhelm Tranow desde julio de 1940 hasta abril de 1941 en el proyecto de decodificación del 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 prueba . Creó y modificó las matemáticas constructivas . Lorenzen enseñó en Stanford , la Universidad de Texas y la Universidad de Boston en Estados Unidos. Fue profesor John Locke en 1967/1968.
Lorenzen llegó en 1962 a la Universidad de Erlangen (sur de Alemania) y fundó allí la Escuela de Erlangen de constructivismo epistemológico .
Escribió con Wilhelm Kamlah el famoso libro Lógica propedéutica ("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 . También trabajó en la eliminación de Gerhard Gentzen para encontrar una manera 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 fue influenciado por Hugo Dingler . Siguió a Dingler en la construcción de la geometría y la física a partir de operaciones primitivas. Lorenzen tomó una interpretación temprana de Steven Weinberg (Gravitación y cosmología, 1972) por 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 fue influenciado por la hermenéutica de Wilhelm Dilthey y le gustaba citar el dicho de Dilthey de que el conocimiento no puede ir detrás de la vida. La Lebensphilosophie de Dilthey fue la descripción del entorno de la experiencia ordinaria en el que construimos las abstracciones de las matemáticas y la física.
Como profesor John Locke inventó la lógica normativa como base de la ética y la argumentación política.
