Church's thesis after 70 years
著者
書誌事項
Church's thesis after 70 years
（Ontos mathematical logic / edited by Wolfram Pohlers ... [et al.], v.1）
ontos verlag, 2006
大学図書館所蔵 件 / 全3件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
内容説明・目次
内容説明
"Church's Thesis" (CT) was first published by Alonzo Church in 1935. CT is a proposition that identifies two notions: an intuitive notion of a effectively computable function defined in natural numbers with the notion of a recursive function. Despite of the many efforts of prominent scientists, "Church's Thesis" has never been falsified. There exists a vast literature concerning the thesis. The aim of the book is to provide one volume summary of the state of research on "Church's Thesis". These include the following: different formulations of CT; CT and intuitionism; CT and intentional mathematics; CT and physics; the epistemic status of CT; CT and philosophy of mind; provability of CT; and CT and functional programming.
「Nielsen BookData」 より