Symposium on Constructive Geometric Reasoning
All day Saturday, October 24, 2009
John Mumma (Stanford): “Exact geometric constructions with inexact diagrams” (abstract)
Victor Pambuccian (Arizona State University): “Universal axiomatizations of plane geometries in languages without relation symbols” (abstract)
Michael Friedman (Stanford): “Kant on Geometry and Spatial Intuition” (abstract)
Michael Beeson (San Jose State): “The parallel postulate in constructive geometry” (abstract)
Dana Scott (Carnegie Mellon and UC Berkeley): “Geometry via Algebra” (abstract)
||Lunch at CSLI
||Dinner at CSLI
Slides from some of the symposium's talks can be found here:
All conference events will be held at CSLI in Cordura Hall, Room 100.
The address is 210 Panama Street. Directions can be found here.
There is free parking in the lot across Panama Street after 4:00pm on weekdays and all day on weekends.
On Friday the 23rd, Dana Scott will also be giving a talk on modal set theory in Cordura Hall 100, at 4:00. See here for details.
Solomon Feferman and John Mumma.
Division of Logic, Methodology, and Philosophy of Science
in the Patrick Suppes Center for the Interdisciplinary Study of Science and Technology