Turing-, Human- and Physical Computability: An Unasked Question

被引:0
|
作者
Eli Dresner
机构
[1] Tel Aviv University,Department of Philosophy
来源
Minds and Machines | 2008年 / 18卷
关键词
Church-Turing thesis; Computability; Physical computability; Thesis M; Turing;
D O I
暂无
中图分类号
学科分类号
摘要
In recent years it has been convincingly argued that the Church-Turing thesis concerns the bounds of human computability: The thesis was presented and justified as formally delineating the class of functions that can be computed by a human carrying out an algorithm. Thus the Thesis needs to be distinguished from the so-called Physical Church-Turing thesis (or Thesis M), according to which all physically computable functions are Turing computable. The latter is often claimed to be false, or, if true, contingently so. On all accounts, though, thesis M is not easy to give counterexamples to, but it is never asked why—how come that a thesis that transfers a notion from the strictly human domain to the general physical domain just happens to be so difficult to falsify (or even to be true). In this paper I articulate this question and consider several tentative answers to it.
引用
收藏
页码:349 / 355
页数:6
相关论文
共 8 条
  • [1] Turing-, human- and physical computability: An unasked question
    Dresner, Eli
    MINDS AND MACHINES, 2008, 18 (03) : 349 - 355
  • [2] "Riding the rip": an experiential and integrated human- physical geography curriculum in Costa Rica
    Brannstrom, Christian
    Houser, Chris
    JOURNAL OF GEOGRAPHY IN HIGHER EDUCATION, 2015, 39 (04) : 527 - 542
  • [3] Support Vector Machine Classification of Muscle Cocontraction to Improve Physical Human- Robot Interaction
    Moualeu, Antonio
    Gallagher, William
    Ueda, Jun
    2014 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2014), 2014, : 2154 - 2159
  • [4] Worker- in-the-Loop Cyber-Physical System for Safe Human- Robot Collaboration in Construction
    Liu, Yizhi
    Habibnezhad, Mahmoud
    Jebelli, Houtan
    Monga, Vishal
    COMPUTING IN CIVIL ENGINEERING 2021, 2022, : 1075 - 1083
  • [5] Discrete Windowed-Energy Variable Structure Passivity Signature Control for Physical Human-(Tele)Robot Interaction
    Thudi, Smrithi
    Atashzar, S. Farokh
    IEEE ROBOTICS AND AUTOMATION LETTERS, 2021, 6 (02) : 3647 - 3654
  • [6] Power-Based Velocity-Domain Variable Structure Passivity Signature Control for Physical Human-(Tele)Robot Interaction
    Paik, Peter
    Thudi, Smrithi
    Atashzar, S. Farokh
    IEEE TRANSACTIONS ON ROBOTICS, 2023, 39 (01) : 386 - 398
  • [7] PHYSICAL GEOGRAPHY AND HUMAN GEOGRAPHY: A QUESTION OF METHOD - A TEST FROM THE RESEARCH ON SANDIZATION
    Antunes Suertegaray, Dirce Maria
    GEOGRAPHIA-UFF, 2010, 12 (23): : 8 - 29
  • [8] Harnessing the Power of Human Biomechanics in Force-Position Domain: A 3D Passivity Index Map for Upper Limb Physical Human-(Tele)Robot Interaction
    Zhou, Xingyuan
    Paik, Peter
    Atashzar, S. Farokh
    2023 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS, IROS, 2023, : 4141 - 4146