Reimann and Simpson run the Penn State Logic Seminar.
- Stephen Simpson. Professor of Mathematics. Logic, foundations of mathematics.
- Jan Reimann. Assistant Professor of Mathematics. Computability, randomness.
- Jason Rute. Postdoctoral Fellow in Mathematics. Computability, randomness.
- Sankha Basu. Lecturer in Mathematics. Intuitionism.
- Adrian Maler. Graduate Student in Mathematics. Computable analysis.
- John Pardo. Graduate Student in Mathematics. Mathematical logic.
Ph.D. Program and Advanced Courses
From 1980 to the present we have graduated 29 Ph.D.s in mathematical logic. We offer the following courses:
- MATH 457, Introduction to Mathematical Logic.
- MATH 459, Computability and Unsolvability.
- MATH 557, Mathematical Logic.
- MATH 558, Foundations of Mathematics.
- MATH 559, Recursion Theory.
- MATH 561, Set Theory.
- MATH 574, Topics in Logic and Foundations.
- MATH 597, Special Topics.
Beyond Penn State
There is FOM, an automated e-mail list for foundations of mathematics.
There is a web page of resources in foundations of mathematics.
There is a web page of research groups in foundations of mathematics.
Many mathematical logicians are members of the Association for Symbolic Logic.