AMS :: 1998 Joint Mathematics Meetings, Program by Special Session
Joint Mathematics Meetings Program by Special Session
Current as of Tuesday, April 12, 2005 15:09:45
Program |
Deadlines |
Registration/Housing/Etc. |
Inquiries: meet@ams.org
1998 Joint Mathematics Meetings
Baltimore, MD, January 7-10, 1998
Meeting #930
Associate secretaries: Robert J Daverman , AMS daverman@math.utk.edu
Donovan H Van Osdol , MAA dv@christa.unh.edu
AMS Special Session on History of Mathematical Logic
Wednesday January 7, 1998, 8:00 a.m.-10:30 a.m. AMS Special Session on History of Mathematical Logic, I
Organizers: John W. Dawson, Jr. , Pennsylvania State University, York jwd7@psu.edu
8:00 a.m.
Non-classical foundations before 1914.
Wim B Ruitenburg* , Marquette University
(930-01-486)
8:30 a.m.
The Last Fifty Years of Recursion Theory.
Anil Nerode* , Cornell University, Ithaca, New York 14850
(930-03-595)
9:00 a.m.
Set Theory Genealogy.
Jean A. Larson* , University of Florida
(930-01-1216)
9:30 a.m.
The Mathematical Import of Zermelo's Well-Ordering Theorem
Akihiro Kanamori* , Boston University
(930-01-28)
10:00 a.m.
Fraenkel and the reception of intuitionism.
Dirk D. Van Dalen* , Phil.Dept. Utrecht University
(930-01-257)
Wednesday January 7, 1998, 2:15 p.m.-3:45 p.m. AMS Special Session on History of Mathematical Logic, II
Organizers: John W. Dawson, Jr. , Pennsylvania State University, York jwd7@psu.edu
2:15 p.m.
Hilbert's Consistency Proofs.
Wilfried Sieg* , Carnegie Mellon University
(930-01-267)
2:45 p.m.
Was Aristotle the first mathematical logician?
John Corcoran* , Department of Philosophy, SUNY at Buffalo
(930-03-1209)
3:15 p.m.
The "Infinitary Cholera Bacillus": Cantor and the Reception of Infinitesimals, 1870-1910.
Gregory H. Moore* , McMaster University
(930-01-1070)
MAA Online
Inquiries: meet@ams.org