LORENZEN, PAUL (1915-1994)

Nac. en Kiel, fue Privatdozent en la Universidad de Bonn desde 1946, profesor numerario (1956­-1962) en la Universidad de Kiel y profesor en la Universidad de Erlangen desde 1962 hasta su jubilación en 1980. Lorenzen es conocido sobre todo por sus trabajos en lógica y fundamentación de la matemática, en los que ha adoptado un punto de vista construccionista al que nos hemos referido con más detalle en el artículo Construccionismo. Se trata, como el autor indica, de un «construccionismo mate­rial», que no debe confundirse con el cons­truccionismo de Brouwer, el cual es conside­rado como excesivamente «intuitivo» o «sub­jetivo». Puesto en práctica como fundamento de la matemática, el construccionismo de Lo­renzen le ha llevado a refundamentar gran parte de la matemática clásica, tratando de salvar, al principio, las dificultades ofrecidas por la teoría ramificada de los tipos. Lorenzen ha ampliado su construccionismo a otras