Church's thesis after 70 years

著者

書誌事項

Church's thesis after 70 years

Adam Olszewski , Jan Woleński , Robert Janusz (Eds.)

(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」 より

関連文献: 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BA84078740
  • ISBN
    • 3938793090
  • 出版国コード
    gw
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Heusenstamm
  • ページ数/冊数
    551 p.
  • 大きさ
    22 cm
  • 分類
  • 親書誌ID
ページトップへ