[MaFLa] Szabó Máté előadása

[Csörgőné Szenti Andrea]

Kedves Kollégák!

Az MTA Bölcsészettudományi Kutatóközpont Filozófiai Intézete szeretettel meghívja

Szabó Máté
Kalmár László: Egy érv a Church-tézis plauzibilitásával szemben
című előadására.

Helyszín: 1014 Budapest, Országház u. 30. Pepita terem
Időpont: 2016. január 26., 16:00.

Az előadás absztraktja:

Alonzo Church híres, An Unsolvable Problem of Elementary Number Theory (1936) című cikkében azonosította az effektív kiszámíthatóság intuitív fogalmát a rekurzív függvény matematikailag precíz fogalmával. Ez az úgynevezett Church (-Turing) tézis széles körben elfogadott a matematikusok között. A tézis ellen érvelő kevés cikk egyike Kalmár híres ám meglehetősen rövid Argument Against the Plausibility of Church's Thesis című írása 1959-bõl. Előadásom célja Kalmár érvének részletes bemutatása, melynek során a hiányzó részletek magyarázatánál Kalmár általános matematikafilozófiai nézeteire és az általa hasonló témákban írt magyar nyelvű cikkeire támaszkodom.
Üdvözlettel:
MTA BTK FI


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://listbox.elte.hu/mailman/private/mafla/attachments/20160120/bb50e707/attachment.html>