Mathematical Logic at Penn State
September 16, 2013
- Logic Seminar:
- Logic Lunch: weekly at nearby eating establishments.
- Logic Web Page: http://www.personal.psu.edu/t20/logic/
- Logic Research Personnel:
- Stephen G. Simpson, Professor, firstname.lastname@example.org
- Jan Reimann, Assistant Professor, email@example.com
- Jason Rute, Postdoctoral Fellow, firstname.lastname@example.org
- Sankha Basu, Lecturer, email@example.com
- Adrian Maler, Ph.D. Candidate, firstname.lastname@example.org
- John Pardo, Ph.D. Candidate, email@example.com
- Logic 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
Historically, mathematical logic grew out of profound investigations
concerning the most basic concepts and logical structure of
mathematics. Among the great names are Georg Cantor, David Hilbert,
Kurt Gödel, and Alan Turing.
- Cantor - father of set theory, the currently accepted
foundation for all of mathematics.
- Hilbert - the leading mathematician of his time. The problem
list of 1900. Foundations of geometry. The predicate calculus.
The finitist program in foundations of mathematics.
- Gödel - the great figure in foundations of
mathematics. Semantic completeness of the predicate calculus. The
Gödel Incompleteness Theorem. Unprovability of consistency. The
Gödel Hierarchy. Relative consistency of the Continuum
- Turing - father of computer science. Analysis of computability
via Turing machines. Unsolvability of the Halting Problem.
- Gödel and Turing are the only mathematicians in Time
Magazine's list of the 20 most influential thinkers of the 20th
- MATH 557 and MATH 558 are an exposition of the ideas of Gödel
This document was generated using the
LaTeX2HTML translator Version 2008 (1.71)
Copyright © 1993, 1994, 1995, 1996,
Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999,
Mathematics Department, Macquarie University, Sydney.
The command line arguments were:
latex2html -split 0 130916.tex
The translation was initiated by Stephen G Simpson on 2013-09-16
Stephen G Simpson