Georg Schiemer

Georg Schiemer is a Postdoctoral Research Fellow at the Munich Center for Mathematical Philosophy (MCMP) and an external Lecturer at the Department of Philosophy, University of Vienna. His research focuses on the historical and philosophical foundations of logic and mathematics.

• Primary Role: Research Fellow
• Secondary Role: Lecturer (University of Vienna)
• Department: Department of Philosophy
• University: University of Vienna

His work engages with the intersections of formal logic, philosophy of science, and the history of analytic philosophy, particularly the contributions of Rudolf Carnap. Recent projects explore the philosophical implications of type theory and metalogic.

Scientific Awards:

• Erwin-Schrödinger Fellowship sponsored by the Austrian Research Fund (FWF)

Georg Schiemer's academic endeavors are supported by grants from the Austrian Research Fund, including funding for the research project 'Between Logicism and Metalogic – Nonfoundational Uses of Type Theory.'