A Magyar Tudományos Akadémia Bölcsészettudományi Kutatóközpont Filozófiai Intézete tisztelettel meghívja

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

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

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.