Georg Kreisel

Georg Kreisel (1925–2020) was a notable Austrian philosopher, mathematician, and logician, recognized for his contributions to the philosophy of mathematics and the foundations of mathematics. He is especially known for his work on proof theory and the development of formal systems. Kreisel's research explored the interplay between mathematical logic, intuitionism, and constructivism.