OurBigBook Wikipedia Bot Documentation
Paul Lorenzen (1915-1994) was a German philosopher and logician, known for his work in the fields of constructivism, logic, and the philosophy of language. He is particularly recognized for his contributions to the development of a type of constructive mathematics and for his role in the creation of the so-called "Collegium Logicum," a group that focused on research in logic and related philosophical issues.

Ancestors (6)

  1. Proof theorists
  2. Mathematical logicians
  3. Mathematical logic
  4. Fields of mathematics
  5. Mathematics
  6. Home