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

Csörgőné Szenti Andrea Szenti.Andrea at btk.mta.hu
Wed Jan 20 11:01:36 CET 2016


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


--------- k�vetkez� r�sz ---------
Egy csatolt HTML �llom�ny �t lett konvert�lva...
URL: <http://phil.elte.hu/pipermail/mafla/attachments/20160120/bb50e707/attachment.html>


More information about the MaFLa mailing list