PHILOSOPHY OF SCIENCE COLLOQUIUM, Panel discussion: Goedel theorem

Department of History and Philosophy of Science Eotvos University Budapest, Pazmany P. setany 1/A PHILOSOPHY OF SCIENCE COLLOQUIUM (http://hps.elte.hu/seminar) ________________________________________________ April program 8 April 4:00 PM 6th floor 6.54 (Language: Hungarian) Panel discussion: A Godel-tetel filozofiai kovetkezmenyei Philosophical upshot of Godel's theorem Panelists: Ferenc Csaba (Logic, Eotvos) Janos Geier (Psychology, Eotvos) Andras Mate (Logic, Eotvos) Istvan Nemeti (Renyi Institute of Mathematics) Moderator: Laszlo E. Szabo (Theoretical Physics & HPS, Eotvos) Iden unnepeljuk Bolyai Janos szuletesenek ketszazadik evfordulojat! Bolyai, Gauss es Lobacsevszkij az elso nem-euklideszi geometriak megalkotasaval inditottak el azt a folyamatot, amit a matematika ontudatra ebredesenek nevezhetnenk. A matematika eme onreflexiojaval a filozofia epitmenyenek masik tartopillere, a racionalizmus is meginogni latszik. (Az elso, az empirizmus ugyanis mar Hume ota aladucolasra szorul.) A 19. szazad vegere vilagos volt, hogy ujra kell gondolnunk a matematika alapveto mibenletet. Ugy tunik, a matematika -- ahogyan Russell megfogalmazta -- "olyan tudomany, amelyben nem tudjuk mirol beszelunk, vagy hogy igaz-e, amit mondunk". A matematikus szamara sem az axiomaknak, sem a beloluk levezetett allitasoknak nincs jelentese, es nincs igazsaga. A matematikus dolga a levezetes maga. Sokaig ugy tunt, hogy a Hilbert-fele formalista/axiomatikus program a dolgokat a helyere teszi, mignem 1931-ben egy fiatal Becsi matematikus, Kurt Godel kozzetette az "Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme" cimu dolgozatat. Altalanos velekedes szerint, Godel eredmenyei lehetetlenne tettek a formalista program folytatasat. Tenyleg igy van-e? Hol tartunk most? Hogyan is kell pontosan ertekelnunk Godel teteleit? Ezekket a kerdeseket fogjuk megvitatni. ___________________ The organizer of the seminar: László E. Szabó -- Laszlo E. Szabo Department of Theoretical Physics Department of History and Philosophy of Science Eotvos University, Budapest H-1518 Budapest, Pf. 32, Hungary Phone/Fax: (36-1)372-2924 Home: (36-1) 200-7318 Mobil/SMS: (36) 20-366-1172 http://hps.elte.hu/~leszabo