ELFT HÍRADÓ

[Laszlo E Szabo <leszabo AT hps.elte.hu>]

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