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
Simpson runs 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.
- John Clemens. Assistant Professor
of Mathematics. Descriptive set theory.
- Noopur Pathak. Graduate Student in Mathematics.
Computable analysis, randomness.
- Sankha Basu. Graduate Student in Mathematics.
- Jacob Hendricks. Graduate Student in Mathematics.
- Phil Hudelson. Graduate Student in Mathematics.
- Paul Axt. Professor of Mathematics, Retired. Logic,
recursive function theory.
- Thomas Jech. Professor of Mathematics,
Retired. Set theory.
- Richard Mansfield. Associate
Professor of Mathematics, Retired. Logic.
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:
- MATH
457, Introduction to Mathematical Logic.
- MATH
459, Computability and Unsolvability.
- MATH
557, Mathematical Logic.
- MATH
558, Foundations of Mathematics I.
- MATH 559-560, Recursion Theory I, II.
- MATH
561-562, Set Theory I, II.
- MATH
563-564, Model Theory I, II.
- MATH
565, Foundations of Mathematics II.
- 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 logic web site
currently located in Austria.
Many mathematical logicians are members of the Association for Symbolic Logic.
simpson@math.psu.edu / 10 October 2008