Logic List Mailing Archive

"Truth and Proof: Kurt Goedel and the Foundations of Mathematics" (March 2006, Edinburgh)

Truth and Proof: Kurt G?del and the Foundations of Mathematics.
                    University of Edinburgh,
                       25-26 March, 2006

The year 2006 marks the centenary of Kurt G?del's birth. This conference
aims to bring together mathematicians and philosophers of mathematics to
reflect on the foundations of mathematics, particularly in the light of
G?del's work.

Invited Speakers:

  John Dawson (Pennsylvania State University)
  Stewart Shapiro (Ohio State University / St Andrews)
  Torkel Franz?n (Lule? University of Technology, Sweden)
  Hannes Leitgeb (University of Bristol)
  Panu Raatikainen (University of Helsinki)
  Philip Welch (University of Bristol)
  Richard Zach (University of Calgary)

Conference web-page:
 <http://homepages.ed.ac.uk/s0090199/conference.htm>

 The conference is organised by Jeffrey Ketland and Jean-Louis Hudry
(Department of Philosophy, University of Edinburgh). For further
information, contact:

      Jean-Louis Hudry: jl.hudry@ed.ac.uk

 This conference is supported by:

Mind Association
British Society for the Philosophy of Science (BSPS)
British Logic Colloquium (BLC)
Scots Philosophical Club (SPC)
Analysis Trust