American Mathematical Society

AMS Sectional Meeting AMS Special Session

Current as of Saturday, March 24, 2012 00:23:03

Associate secretaries:

Steven H Weintraub, AMS shw2@lehigh.edu

Saturday March 17, 2012, 8:00 a.m.-10:15 a.m.
Special Session on The Legacy of Göedel's Second Incompleteness Theorem for the Foundations of Mathematics, I
Room 221, Funger Hall
Organizers:
Karim J. Mourad, Georgetown University kjm57@Georgetown.edu
- 8:00 a.m.
  Goedel's second theorem: its meaning and use.
  Harvey Friedman*, The Ohio State University
  (1080-03-360)
- 9:00 a.m.
  Panel Discussion

Saturday March 17, 2012, 1:30 p.m.-4:15 p.m.
Special Session on The Legacy of Göedel's Second Incompleteness Theorem for the Foundations of Mathematics, II
Room 221, Funger Hall
Organizers:
Karim J. Mourad, Georgetown University kjm57@Georgetown.edu
- 1:30 p.m.
  On W.W. Tait's Finitism and Hilbert's Program.
  Mark Lance*, Georgetown University
  K J Mourad, Georgetown University
  (1080-03-376)
- 2:00 p.m.
  Syntactic Finitism and its Metatheory.
  Jeffrey Sarnat*, Institut National de Recherche en Informatique et en Automatique
  (1080-03-373)
- 2:30 p.m.
  Irrationality, Incommensurability, and a Paradigmatic Shift in Mathematics - Visualizing Plato's Forms.
  Laurel Marie MacMillan*, University of Virginia
  (1080-03-362)
- 3:00 p.m.
  Panel Discussion

Sunday March 18, 2012, 8:00 a.m.-10:45 a.m.
Special Session on The Legacy of Göedel's Second Incompleteness Theorem for the Foundations of Mathematics, III
Room 221, Funger Hall
Organizers:
Karim J. Mourad, Georgetown University kjm57@Georgetown.edu
- 8:00 a.m.
  Godel's Incompleteness Theorems Viewed in the Wider Context of the Philosophy of Science.
  Tatiana Romanovskaya*, The George Washington University
  (1080-03-361)
- 8:30 a.m.
  Interim Report On The Hilbert Bernays Project.
  Adam Moskey*, Northern Virginia Community College
  (1080-03-369)
- 9:30 a.m.
  Panel Discussion

Sunday March 18, 2012, 3:00 p.m.-5:45 p.m.
Special Session on The Legacy of Göedel's Second Incompleteness Theorem for the Foundations of Mathematics, IV
Room 221, Funger Hall
Organizers:
Karim J. Mourad, Georgetown University kjm57@Georgetown.edu
- 3:00 p.m.
  On the Nature and Allowed Limited Extents of "Boundary-Case" Evasions of the Second Incompleteness Theorem.
  Dan Willard*, University at Albany - SUNY
  (1080-03-371)
- 3:30 p.m.
  Local Connectivity, Provability, and Computability.
  Timothy McNicholl*, Lamar University
  (1080-03-365)
- 4:00 p.m.
  Finite Set Theories and Hilbert's Finitism.
  K J Mourad*, Georgetown University
  (1080-03-378)
- 4:30 p.m.
  Panel Discussion