Mathematical Logic at Penn State
Introduction
Here is a one-page introduction to our logic program, for prospective
graduate students:
PDF,
PS,
DVI,
HTML.
Logic Seminar
Reimann and Simpson run
the Penn
State Logic Seminar.
Research Personnel
The Department of Mathematics
of the Pennsylvania State University
conducts research in mathematical logic. The research staff consists
of:
- 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:
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.
t20@psu.edu / 16 September 2013