Welcome to the Logic Group at Penn State! Below you find some resources related to our group, our teaching and research.
Personnel
Our group currently consists of:
- Jan Reimann. Associate Professor of Mathematics.
- Linda Westrick. Assistant Professor of Mathematics.
Research Seminars
We run a weekly Logic Seminar, in which we have guest talks by outside speakers and also work through research papers together.
We also have an occasional Logic, Games, and Graphs seminar, an interdisciplinary seminar with researchers in graph theory and game theory.
Ph.D. Program and Advanced Courses
From 1980 to the present we have graduated 31 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.
Penn State is an institutional member of the Association for Symbolic Logic.