ELFT HÍRADÓ

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

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