TUDOMANYFILOZOFIA SZEMINARIUM, C s a b a F.

ELTE TTK Tudomanytortenet es Tudomanyfilozofia Tanszek Budapest, Pazmany P. setany 1/A TUDOMANYFILOZOFIA SZEMINARIUM (http://hps.elte.hu/seminar) ________________________________________________ Marcius 5. 16:00 6. em. 6.54 C s a b a F e r e n c ELTE, BTK Filozofiai Intezet, Logika Tanszek Godel nemteljessegi tetelei Az eloadas elso feleben, a technikai reszletek esszeru adagolasaval attekintjuk a godeli gomdolatmenetet, kiemelve a logikai komplexitas fogalmanak jelentoseget, s kiterve nehany kesobbi fejlemenyre is. A masodik reszben nehany, a tetelek altal felvetett filozofiai kerdesrol lesz szo. Az egyik a matematikai igazsag fogalmanak letjogosultsaga es a tetelek bizonyitasaban jatszott szerepe. Godel: "(A)z eldonthetetlen matematikai allitasok megkonstrualasanak heurisztikus alapelve az objektiv matematikai igazsag alapvetoen transzfinit fogalma volt." A masik a "mechanizmus es optimizmus'' kerdeskor, amely az utobbi evtizedekben ujra es ujra felmerult, de nem mindig mas megvilagitasban. Godel: "A matematika vagy lenyege szerint befejezhetetlen, abban az ertelemben, hogy evidens axiomai soha nem ragadhatok meg valamely veges szabaly segitsegevel, vagyis az emberi elme (meg a tiszta matematika teruleten is) vegtelenul meghaladja barmely veges gep teljesitokepesseget, vagy pedig leteznek (...) abszolut megoldhatatlan diofantikus problemak (az sem zarhato ki, hogy a ket lehetoseg mindegyike fennall, igy szigoruan veve harom alternativaval van dolgunk)." A szeminarium szervezoje: E. Szabo Laszlo -- 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