Laguna Workshop
Methodology of Pure and Applied Mathematics
March 5-7, 2004
Laguna Hotel
Laguna Beach, CA


Friday, March 5:  Aspects of Pure Mathematics
9:00        Jamie Tappenden (Philosophy, Michigan),
'A case study in mathematical explanation and reasoning styles:  why do elliptic functions have two periods?'
10:30      Jeremy Avigad (Philosophy, CMU), 'Mathematical method and proof'
2:00        Paolo Mancosu (Philosophy, UC Berkeley), 'Visualization in logic and mathematics'
3:30        Alasdair Urquhart (Philosophy, Toronto), 'Non-rigorous mathematics -- is it really mathematics?'
Saturday, March 6:  Current Thinking on the Continuum Hypothesis
9:00        Hugh Woodin (Mathematics, UC Berkeley)    (transparencies)
10:30      John Steel (Mathematics, UC Berkeley)            (transparencies)
2:00        Matt Foreman (Mathematics, UC Irvine)
3:30        Tony Martin (Mathematics and Philosophy, UCLA)
Sunday, March 7:  Aspects of Applied Mathematics
9:00        Sheldon Smith (Philosophy, UCLA),
'Continuous bodies and contact interactions:  the view from applied mathematics'
10:30      Mark Wilson (Philosophy, Pittsburgh), 'Something's gotta give'




Sponsored by


UCI Department of Logic and Philosophy of Science

UCI Center for Logic and its Applications

UCI Interdisciplinary Program in History and Philosophy of Science

UCI School of Social Sciences

UCI Office of Research and Graduate Studies


For more information, contact