10 Facts About Paul Lorenzen

Paul Lorenzen was a German philosopher and mathematician, founder of the Erlangen School and inventor of game semantics.

Paul Lorenzen taught at Stanford, the University of Texas, and Boston University in the USA.

Paul Lorenzen came in 1962 to University of Erlangen and founded the Erlangen School of epistemological constructivism there.

Paul Lorenzen wrote with Wilhelm Kamlah the famous book Logical Propaedeutic and worked on game semantics with Kuno Lorenz.

Paul Lorenzen developed constructive logic, constructive type theory and constructive analysis.

Paul Lorenzen used Weyl's technique to develop a predicative analysis, which can reconstruct classical analysis, without the principle of excluded middle or the axiom of choice.

Paul Lorenzen worked on Gerhard Gentzen's cut elimination to find a way to continue Hilbert's program after the results of Godel.

Paul Lorenzen followed Dingler in building up geometry and physics out of primitive operations.

Paul Lorenzen took an early interpretation of Steven Weinberg for his doubts about geometrical elements of general relativity, believing that Maxwell's equations are to be modified by general relativity instead.

Paul Lorenzen was influenced by Wilhelm Dilthey's hermeneutics, and liked to quote Dilthey's saying that knowledge cannot go behind life.