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.
- Sankha Basu. Graduate Student in Mathematics.
Intuitionism.
- Phil Hudelson. Graduate Student in Mathematics.
Randomness, mass problems.
- Adrian Maler. Graduate Student in Mathematics.
Computable analysis.
- Noopur Pathak. Graduate Student in Mathematics.
Computable analysis, randomness.
Ph.D. Program and Advanced Courses
From 1980 to the present we have graduated 23 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 logic web site
currently located in Austria.
Many mathematical logicians are members of the Association for Symbolic Logic.
simpson@math.psu.edu / 28 October 2011