Konferencia: "Igazság és bizonyítás: Kurt Gödel és a matematika alapjai"

"Igazság és bizonyítás: Kurt Gödel és a matematika alapjai" címmel rendez 2006 márciusában konferenciát az Edinburghi Egyetem Filozófia Tanszéke.

Truth and Proof: Kurt Gödel and the Foundations of Mathematics.
University of Edinburgh (UK), Philosophy Department
25-26 March 2006

The year 2006 is the centenary of Kurt Gödel's birth. In light of this, the Philosophy Department at the University of Edinburgh will be organising a two-day conference, entitled 'Truth and Proof: Kurt Gödel and the Foundations of Mathematics', to be held on Saturday 25 - Sunday 26 March 2006.

Invited speakers are:

John Dawson (Pennsylvania State University)
Harvey Friedman (Ohio State University)
Stewart Shapiro (Ohio State University/University of St Andrews)
Torkel Franzén (Northern Scholar, University of Edinburgh)
Hannes Leitgeb (University of Bristol)
Panu Raatikainen (University of Helsinki)
Philip Welch (University of Bristol)
Richard Zach (University of Calgary)

Registration is now open.

Website: http://homepages.ed.ac.uk/s0090199/conference.htm

Organised by Jeffrey Ketland and Jean-Louis Hudry (University of Edinburgh).

The conference is supported by the Mind Association, the British Society for the Philosophy of Science (BSPS), the British Logic Colloquium (BLC), the Scots Philosophical Club, and the Analysis Trust.