Series: Penn State Logic Seminar
Date: Tuesday, September 5, 2000
Time: 2:30 - 3:20 PM
Place: 307 Boucke Building
Speaker: Stephen G. Simpson, Department of Mathematics, Penn State
Title: Organizational Meeting
Abstract:
The logic seminar will meet every Tuesday at 2:30 PM in 307 Boucke,
from now through December 5. This meeting is organizational.
Possible future topics include: Tarski's axiomatic geometry; the
Goedel incompleteness phenomenon; decidable and undecidable theories;
solvable and unsolvable problems; subsystems of second order
arithmetic; reverse mathematics; independence results in set theory;
introduction to proof theory.