The Incomputable: Journeys Beyond the Turing Barrier
暫譯: 不可計算的：超越圖靈障礙的旅程
Cooper, S. Barry, Soskova, Mariya I.
- 出版商: Springer
- 出版日期: 2018-07-28
- 售價: $5,490
- 貴賓價: 9.5 折 $5,216
- 語言: 英文
- 頁數: 292
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3319828819
- ISBN-13: 9783319828817
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book questions the relevance of computation to the physical universe. Our theories deliver computational descriptions, but the gaps and discontinuities in our grasp suggest a need for continued discourse between researchers from different disciplines, and this book is unique in its focus on the mathematical theory of incomputability and its relevance for the real world. The core of the book consists of thirteen chapters in five parts on extended models of computation; the search for natural examples of incomputable objects; mind, matter, and computation; the nature of information, complexity, and randomness; and the mathematics of emergence and morphogenesis.
This book will be of interest to researchers in the areas of theoretical computer science, mathematical logic, and philosophy.
商品描述(中文翻譯)
這本書質疑計算與物理宇宙的相關性。我們的理論提供了計算描述，但我們理解中的空白和不連續性表明，不同學科的研究者之間需要持續的對話，而這本書獨特之處在於其專注於不可計算性的數學理論及其對現實世界的相關性。書的核心由五個部分的十三章組成，內容涵蓋擴展計算模型；尋找不可計算物件的自然範例；心智、物質與計算；信息、複雜性與隨機性的本質；以及出現性和形態生成的數學。
這本書將吸引理論計算機科學、數學邏輯和哲學領域的研究者。
作者簡介
Prof. S. Barry Cooper was a Professor of Pure Mathematics at the University of Leeds. He was the founding President of the Computability in Europe Association, and a prolific author and editor in the domain of computability. He championed Alan Turing's achievements in logic and computer science, and in particular he motivated and organized cross-disciplinary collaborations, among them the events, publications and broadcasts of the Alan Turing Year in 2012.
Dr. Mariya I. Soskova is an associate professor in the Dept. of Mathematical Logic and Applications in Sofia University. She was recently a visiting scholar at the University of California, and a visiting seminar professor at the Dept. of Mathematics at the University of Wisconsin, Madison.
作者簡介(中文翻譯)
S. Barry Cooper 教授是利茲大學的純數學教授。他是歐洲可計算性協會的創始會長，也是可計算性領域的多產作者和編輯。他提倡艾倫·圖靈在邏輯和計算機科學方面的成就，特別是他促進和組織了跨學科的合作，其中包括2012年艾倫·圖靈年活動、出版物和廣播。
Mariya I. Soskova 博士是索非亞大學數學邏輯與應用系的副教授。她最近在加州大學擔任訪問學者，並在威斯康辛大學麥迪遜分校數學系擔任訪問研討會教授。
