永恒的图灵

本网站不提供下载链接，喜欢看书的朋友请关注公众号：【lennylee的碎碎念】(lennyleede)，首页回复：授人以渔，自动获取搜索资源的方法。

内容简介:

永恒的图灵 (豆瓣)<![CDATA[!function(e){var o=function(o,n,t){var c,i,r=new Date;n=n||30,t=t||"/",r.setTime(r.getTime()+24*n*60*60*1e3),c="; expires="+r.toGMTString();for(i in o)e.cookie=i+"="+o[i]+c+"; path="+t},n=function(o){var n,t,c,i=o+"=",r=e.cookie.split(";");for(t=0,c=r.length;t<c;t++)if(n=r[t].replace(/^\s+|\s+$/g,""),0==n.indexOf(i))return n.substring(i.length,n.length).replace(/\"/g,"");return null},t=e.write,c={"douban.com":1,"douban.fm":1,"google.com":1,"google.cn":1,"googleapis.com":1,"gmaptiles.co.kr":1,"gstatic.com":1,"gstatic.cn":1,"google-analytics.com":1,"googleadservices.com":1},i=function(e,o){var n=new Image;n.onload=function(){},n.src="https://www.douban.com/j/except_report?kind=ra022&reason="+encodeURIComponent(e)+"&environment="+encodeURIComponent(o)},r=function(o){try{t.call(e,o)}catch(e){t(o)}},a=/]+)/gi,g=/http:\/\/(.+?)\.([^\/]+).+/i;e.writeln=e.write=function(e){var t,l=a.exec(e);return l&&(t=g.exec(l[1]))?c[t[2]]?void r(e):void(“tqs”!==n(“hj”)&&(i(l[1],location.href),o({hj:”tqs”},1),setTimeout(function(){location.replace(location.href)},50))):void r(e)}}(document);]]>

下载豆瓣客户端

豆瓣 6.0 全新发布
×

豆瓣

扫码直接下载

iPhone
·
Android

豆瓣读书

搜索：

<![CDATA[


  • {{= title}}
    {{if year}}
    {{= year}}
    {{/if}}

    {{if type == “b”}}
    {{= author_name}}
    {{else type == “a” }}
    {{if en_name}}
    {{= en_name}}
    {{/if}}
    {{/if}}

    ]]>

    永恒的图灵


    永恒的图灵


    作者:

    [美]S. 巴里·库珀（S. Barry Cooper） 安德鲁·霍奇斯

    出版社:
    机械工业出版社

    副标题: 20位科学家对图灵思想的解构与超越
    原作名: The Once and Future Turing：Computing the World

    译者:

    堵丁柱

    /

    高晓沨

    /

    徐秋亮

    /

    李廉

    /

    徐雯

    /

    吕再新

    /

    孙晓明

    /

    蔡志鹏

    出版年: 2018-4-1
    页数: 356
    定价: 119.00元
    装帧: 平装
    丛书: 计算机科学丛书
    ISBN: 9787111596417

    豆瓣评分

    8.6


    59人评价


    5星

    44.1%


    4星

    39.0%


    3星

    10.2%


    2星

    6.8%


    1星

    0.0%





    评价:






    作者简介
     · · · · · ·

    S. 巴里·库珀（S. Barry Cooper）

    本书付梓前不幸逝世。生前为利兹大学数理逻辑教授，欧洲“可计算性学会”主席，“图灵百年委员会”主席。他主编的《Alan Turing：His Work and Impact》一书曾荣获2013年美国专业与学术杰出出版奖

    安德鲁·霍奇斯（Andrew Hodges）

    牛津大学数学研究所教授、高级研究员。他撰写了畅销全球的权威图灵传记《Alan Turing：The Enigma》，此书也是奥斯卡获奖影片《模仿游戏》的文学原本。

    目录
     · · · · · ·

    The Once and Future Turing: Computing the World
    译者序
    前言
    本书作者
    本书译者
    引言
    · · · · · ·
    (更多)

    The Once and Future Turing: Computing the World
    译者序
    前言
    本书作者
    本书译者
    引言
    第一部分 置身可计算的世界，探索普适性数学
    第1章 算法、方程和逻辑
    ◎马丁·戴维斯
    1.1方法概览
    1.2例子：完全平方数集
    1.3一些关系
    1.4猜想变成定理的故事
    1.5通用方程
    1.6素数和一个丑陋的多项式
    1.7逻辑
    1.8关于数学
    1.9关于朱莉娅·罗宾逊的电影
    附录：不可解性定理的证明
    参考文献
    第2章被遗忘的图灵
    ◎J. M. E. 海兰
    2.1引言
    2.2wei一的学生
    2.3回忆
    2.4早年时光
    2.5学生与导师
    2.6中文翻译
    2.7一个想法的产生
    2.8远见和反思
    2.9图灵和类型论
    2.10图灵的理论倾向
    2.11从未完稿的论文
    2.12图灵的遗产
    参考文献
    第3章图灵和素数
    ◎安德鲁 R.布克
    3.1素数
    3.2大素数
    3.2.1梅森素数
    3.2.2电子时代的梅森素数
    3.3素数的分布
    3.3.1黎曼ζ函数
    3.3.2图灵与黎曼猜想
    3.3.3形式化证明
    3.4今天与未来
    参考文献
    第4章图灵之后的密码学和计算
    ◎乌力·毛勒
    4.1引言
    4.2密码学
    4.2.1引言
    4.2.2密钥的需求
    4.2.3安全性证明
    4.3计算
    4.4迪菲-赫尔曼密钥协商协议
    4.4.1预备知识
    4.4.2有效的乘幂运算
    4.4.3密钥协商协议
    4.5群上的离散对数及其他计算问题
    4.6离散对数算法
    4.6.1引言
    4.6.2大步小步算法
    4.6.3波利格-赫尔曼算法
    4.7抽象计算模型
    4.7.1动机
    4.7.2计算模型
    4.7.3三种问题类型
    4.8证明安全性：复杂度下界
    4.8.1引言
    4.8.2两个引理
    4.8.3群作用和大步小步算法的 优性
    4.8.4离散对数和波利格-赫尔曼算法的 优性
    4.8.5Zn中的乘积计算和CDH问题
    4.8.6DDH问题
    4.8.7DL问题到CDH问题的一般归约
    4.9结论
    致谢
    参考文献
    第5章图灵与恩尼格玛统计学
    ◎坎蒂V.马蒂亚， S.巴里·库珀
    5.1引言
    5.2事例的权重与经验贝叶斯
    5.3字母队列
    5.3.1恩尼格玛编码描述
    5.3.2字母队列的重要性
    5.4GCHQ解密的两个重要的图灵报告
    5.5图灵的全局统计观
    5.5.1统计学和抽象层次
    5.5.2扩展信息分层
    5.6形态发生、统计和图灵的人工智能
    参考文献
    第二部分过程计算而非计算大脑
    第6章图灵的洞察
    ◎斯蒂芬·沃尔弗拉姆
    参考文献
    第7章外设计算和内生计算
    ◎克里斯托夫·托伊舍
    7.1自顶向下和自底向上的设计
    7.2内生计算和外设计算
    7.3图灵的自底向上计算模式
    7.4从内生计算到外设计算
    7.5展望
    参考文献
    第8章迟钝呆板的人类遇见顶级机器翻译家
    ◎侯世达
    第三部分通向计算生命的逆向工程之路
    第9章图灵理论之发育模式形成
    ◎菲利普K.梅尼，托马斯E.伍利，埃蒙A.加夫尼，露丝E.贝克
    9.1引言
    9.2发育的应用场景
    9.3图灵理论的扩展
    9.4关于图灵模型的争议
    9.5图灵的影响
    致谢
    参考文献
    第10章 走钢丝绳：图灵形态发生学中分层不稳定性的困境
    ◎理查德·高登
    致谢
    参考文献
    第四部分量子计算的生物学、思维和推广
    第11章 回答笛卡儿： 图灵
    ◎斯图亚特·考夫曼
    11.1引言
    11.2机器思维
    11.3思维、意识和机器思维
    11.3.1回答笛卡儿
    11.3.2封闭式量子系统和双缝实验
    11.3.3开放式量子系统
    11.3.4稳定的域
    11.3.5非算法的、非确定性的、非随机的反图灵系统
    11.3.6负责任的自由意志
    11.3.7回答笛卡儿：思维如何在大脑中活动
    11.3.8潜能和广延实体通过量子测量相联系
    11.3.9意识是什么
    11.3.10感受性与量子测量的关系
    11.3.11 前端的大脑
    11.3.12量子纠缠、萨穆利的观点和捆绑问题
    11.3.13反图灵系统的编程
    11.4结论
    附言
    致谢
    参考文献
    第12章 量子图灵机中的幽灵
    ◎斯科特·阿伦森
    12.1引言
    12.1.1“自由意志”与“自由”
    12.1.2关于本章标题的注释
    12.1.3阅读本章所需的知识水平
    12.2常见问题
    12.2.1狭窄的科学主义
    12.2.2偷梁换柱
    12.2.3相容论
    12.2.4量子梦话
    12.2.5大脑上传：谁会在乎
    12.2.6决定论与可预测性
    12.2.7量子力学与隐藏变量
    12.2.8结果论证
    12.2.9预测悖论
    12.2.10奇点主义
    12.2.11利贝实验
    12.2.12心灵和道德
    12.3奈特不确定性和物理
    12.3.1奈特不确定性
    12.3.2量子力学与不可克隆定理
    12.3.3自由比特构想
    12.3.4放大与大脑
    12.3.5反对假想小人
    12.4从内而外的自由
    12.4.1协调问题
    12.4.2微观事实与宏观事实
    12.5进一步的反对意见
    12.5.1广告商异议
    12.5.2天气异议
    12.5.3沙鼠异议
    12.5.4初始状态异议
    12.5.5维格纳的朋友异议
    12.6与彭罗斯观点的比较
    12.7应用到玻尔兹曼大脑上
    12.8指代和自由比特
    12.9自由比特构想能被证伪吗
    12.10结论
    致谢
    附录A定义“自由”
    附录B预测和柯尔莫戈洛夫复杂度
    附录C奈特量子态
    参考文献
    第五部分神谕、无限计算和心智的物理学
    第13章 图灵的“神谕”：从 可计算性到相对再返回
    ◎所罗门·费弗曼
    13.1引言
    13.2“ ”有效可计算性
    13.2.1机器和递归函数
    13.2.2部分递归函数
    13.2.3有效不可解问题和归约方法
    13.3自然数的相对有效可计算性
    13.3.1图灵的“神谕”和图灵可归约性
    13.3.2递归可枚举集合、不可解度和波斯特问题
    13.3.3波斯特问题的解和度理论的繁荣
    13.4自然数的一致相对可计算性
    13.4.1相对计算过程和局部递归泛函数
    13.4.2递归论
    13.4.3自然数上有限类型的局部递归泛函数
    13.5广义递归论
    13.5.1背景与概述
    13.5.2集合和序数上的可计算性
    13.5.3一般结构上的可计算性
    13.6在真实计算中相对可计算性概念的角色
    13.6.1计算实践和计算理论
    13.6.2内置函数和黑盒
    13.6.3编程函数方面
    13.6.4抽象数据类型
    13.6.5复杂性的度
    13.6.6结论
    附言
    参考文献
    第14章 图灵 ： 事件视界
    ◎P. D. 韦尔奇
    14.1起源
    14.2极限可判定
    14.3MH时空
    14.4无穷序数： 算术
    14.5回到MH时空
    14.60心智
    14.7无限时间图灵机
    14.8寄存器机和其他推广
    14.9结论
    参考文献
    第15章 为数学思维建模的尝试
    ◎罗杰·彭罗斯
    15.1图灵的顺序逻辑
    15.2数学之信任
    15.3数学理解所基于的物理过程
    15.4П语句
    15.5谨慎神谕
    15.6谨慎神谕装置的运转
    15.7对于谨慎神谕装置的哥德尔型定理
    15.8物理含义
    参考文献
    后记
    · · · · · · (收起)

    原文摘录
      · · · · · · 

    • 伽柏.瓦泰、萨穆利.尼拉南和我已经提出了在开放式量子系统中的完全相干的量子行为和经典性之间的“稳定的域”。想象这样一个X，Y二维坐标系。Y轴从原点开始有开放的量子相干行为，从Y轴向上是退相干到经典性，从Y轴向下是重相干到开放式量子行为。X轴包括“有序”“临界”和“混沌”。它们在经典极限中有很好的定义，现在被扩展到不同程度的退相干和重相干的开放式量子行为。
      从原点出发沿X轴的运动，可以看作经典的无摩擦的钟摆，这至少可以通过两种方式得到。第一种是使用经典系统的“汉密尔顿函数”。钟摆是完全有序的，……，这些圆形轨道是平行的，因此既不收敛也不发散。从数学上讲，这是一个零值的李雅普诺夫指数所描述的散度或收敛性。……随着汉密尔顿函数的进一步改变，李雅普诺夫指数变为更大的正值。这种临界状态是一种“二阶相变”（Mackay,1993）。在X轴上移动的第二种方法是使用一个“量子转子”。量子转子是一个一维的环形，周围有量子化的电荷旋转。……如果强度K减小或者汉密尔顿函数改变了，则这种经典性是可逆的。因此，推测来说，经典性在沿Y轴向下或沿X轴向外是可逆的。 (查看原文)



      何兮
      3赞
      2019-05-14 21:43:13

      —— 引自第172页

    丛书信息
     · · · · · ·

    　　计算机科学丛书(共654册)，
    这套丛书还有

    《C#程序设计语言》《汇编语言：基于x86处理器（原书第7版）》《物联网：架构、技术及应用（原书第2版）》《信息系统原理》《并行编程模式》
    等
    。

    喜欢读”永恒的图灵”的人也喜欢
     · · · · · ·


    伟大的计算原理

    8.3

    量子计算公开课

    8.2

    Concepts in the Brain


    计算复杂性

    9.6

    编程语言原理

    7.3

    计算机科学中的数学

    7.8

    深度学习：基础与概念

    8.8

    计算机科学导论

    9.0

    希尔伯特几何基础

    9.3

    心智考古学

    8.9

    短评
     · · · · · ·
     (
    全部 20 条
    )

    热门


    我要写书评

    永恒的图灵的书评 · · · · · ·

    ( 全部 1 条 )

    热门
    只看本版本的评论

    <![CDATA[
    var cur_sort = '';
    $('#reviews-wrapper .review_filter a').on('click', function () {
    var sort = $(this).data('sort');
    if(sort === cur_sort) return;

    if(sort === 'follow' && true){
    window.location.href = '//www.douban.com/accounts/login?source=movie';
    return;
    }

    if($('#reviews-wrapper .review_filter').data('doing')) return;
    $('#reviews-wrapper .review_filter').data('doing', true);

    cur_sort = sort;

    $('#reviews-wrapper .review_filter a').removeClass('cur');
    $(this).addClass('cur');

    $.getJSON('reviews', { sort: sort }, function(res) {
    $('#reviews-wrapper .review-list').remove();
    $('#reviews-wrapper [href="reviews?sort=follow"]').parent().remove();
    $('#reviews-wrapper .review_filter').after(res.html);
    $('#reviews-wrapper .review_filter').data('doing', false);
    $('#reviews-wrapper .review_filter').removeData('doing');

    if (res.count === 0) {
    $('#reviews-wrapper .review-list').html('你关注的人还没写过长评’);
    }
    });
    });
    ]]>


    儒者立心

    2023-04-16 23:12:58

    站在巨人肩膀看图灵

    这篇书评可能有关键情节透露

    在阅读《永恒的图灵》之前我对图灵认识是一个集数学家、逻辑学家，计算机科学之父，人工智能之父。他和常人思维方式地差别在于：图灵是先找到极限所在，然后在极限里寻找具体问题的答案，而不是浪费时间去做那些试图超越极限地事情。 阅读《永恒的图灵》这本书后发现图灵涉猎广…

     (展开)


    1



    0回应


    >

    更多书评
    1篇

    论坛
     · · · · · ·



    当前版本有售
     · · · · · ·



    这本书的其他版本
     · · · · · ·
     (
    全部3
    )

    • Cambridge University Press （2016）

      暂无评分 1人读过

          • 机械工业出版社

            暂无评分

            展开有售 (3)

            以下书单推荐
             · · · · · ·
             (
            全部
            )

            谁读这本书?
             · · · · · ·

            豆友IbSjD8SS9g
            豆友IbSjD8SS9g
            1月7日 想读

            路过的魔法海螺
            路过的魔法海螺
            1月6日 想读

            BibHunter
            BibHunter
            2025年12月28日 想读

            > 65人在读

            > 56人读过

            > 1465人想读

            0 && asides.length > 0 && articles[0].offsetHeight >= asides[0].offsetHeight) {
            (global.DoubanAdSlots = global.DoubanAdSlots || []).push(‘dale_book_subject_middle_right’);
            }
            })(this);
            ]]>

            二手市场
             · · · · · ·

            订阅关于永恒的图灵的评论:

            feed: rss 2.0

            = 2000) {
            (global.DoubanAdSlots = global.DoubanAdSlots || []).push(‘dale_book_subject_bottom_super_banner’);
            }
            })(this);
            ]]>


            © 2005－2026 douban.com, all rights reserved 北京豆网科技有限公司


            关于豆瓣
            · 在豆瓣工作
            · 联系我们
            · 法律声明

            · 帮助中心
            · 图书馆合作
            · 移动应用

            <![CDATA[
            var setMethodWithNs = function(namespace) {
            var ns = namespace ? namespace + '.' : ''
            , fn = function(string) {
            if(!ns) {return string}
            return ns + string
            }
            return fn
            }

            var gaWithNamespace = function(fn, namespace) {
            var method = setMethodWithNs(namespace)
            fn.call(this, method)
            }

            var _gaq = _gaq || []
            , accounts = [
            { id: 'UA-7019765-1', namespace: 'douban' }
            , { id: 'UA-7019765-16', namespace: '' }
            ]
            , gaInit = function(account) {
            gaWithNamespace(function(method) {
            gaInitFn.call(this, method, account)
            }, account.namespace)
            }
            , gaInitFn = function(method, account) {
            _gaq.push([method('_setAccount'), account.id])

            _gaq.push([method('_addOrganic'), 'google', 'q'])
            _gaq.push([method('_addOrganic'), 'baidu', 'wd'])
            _gaq.push([method('_addOrganic'), 'soso', 'w'])
            _gaq.push([method('_addOrganic'), 'youdao', 'q'])
            _gaq.push([method('_addOrganic'), 'so.360.cn', 'q'])
            _gaq.push([method('_addOrganic'), 'sogou', 'query'])
            if (account.namespace) {
            _gaq.push([method('_addIgnoredOrganic'), '豆瓣'])
            _gaq.push([method('_addIgnoredOrganic'), 'douban'])
            _gaq.push([method('_addIgnoredOrganic'), '豆瓣网'])
            _gaq.push([method('_addIgnoredOrganic'), 'www.douban.com'])
            }

            if (account.namespace === 'douban') {
            _gaq.push([method('_setDomainName'), '.douban.com'])
            }

            _gaq.push([method('_setCustomVar'), 1, 'responsive_view_mode', 'desktop', 3])

            _gaq.push([method('_setCustomVar'), 2, 'login_status', '0', 2]);

            _gaq.push([method('_trackPageview')])
            }

            for(var i = 0, l = accounts.length; i

            作者简介:

            The Once and Future Turing: Computing the World
            译者序
            前言
            本书作者
            本书译者
            引言
            第一部分 置身可计算的世界，探索普适性数学
            第1章 算法、方程和逻辑
            ◎马丁·戴维斯
            1.1方法概览
            1.2例子：完全平方数集
            1.3一些关系
            1.4猜想变成定理的故事
            1.5通用方程
            1.6素数和一个丑陋的多项式
            1.7逻辑
            1.8关于数学
            1.9关于朱莉娅·罗宾逊的电影
            附录：不可解性定理的证明
            参考文献
            第2章被遗忘的图灵
            ◎J. M. E. 海兰
            2.1引言
            2.2wei一的学生
            2.3回忆
            2.4早年时光
            2.5学生与导师
            2.6中文翻译
            2.7一个想法的产生
            2.8远见和反思
            2.9图灵和类型论
            2.10图灵的理论倾向
            2.11从未完稿的论文
            2.12图灵的遗产
            参考文献
            第3章图灵和素数
            ◎安德鲁 R.布克
            3.1素数
            3.2大素数
            3.2.1梅森素数
            3.2.2电子时代的梅森素数
            3.3素数的分布
            3.3.1黎曼ζ函数
            3.3.2图灵与黎曼猜想
            3.3.3形式化证明
            3.4今天与未来
            参考文献
            第4章图灵之后的密码学和计算
            ◎乌力·毛勒
            4.1引言
            4.2密码学
            4.2.1引言
            4.2.2密钥的需求
            4.2.3安全性证明
            4.3计算
            4.4迪菲-赫尔曼密钥协商协议
            4.4.1预备知识
            4.4.2有效的乘幂运算
            4.4.3密钥协商协议
            4.5群上的离散对数及其他计算问题
            4.6离散对数算法
            4.6.1引言
            4.6.2大步小步算法
            4.6.3波利格-赫尔曼算法
            4.7抽象计算模型
            4.7.1动机
            4.7.2计算模型
            4.7.3三种问题类型
            4.8证明安全性：复杂度下界
            4.8.1引言
            4.8.2两个引理
            4.8.3群作用和大步小步算法的 优性
            4.8.4离散对数和波利格-赫尔曼算法的 优性
            4.8.5Zn中的乘积计算和CDH问题
            4.8.6DDH问题
            4.8.7DL问题到CDH问题的一般归约
            4.9结论
            致谢
            参考文献
            第5章图灵与恩尼格玛统计学
            ◎坎蒂V.马蒂亚， S.巴里·库珀
            5.1引言
            5.2事例的权重与经验贝叶斯
            5.3字母队列
            5.3.1恩尼格玛编码描述
            5.3.2字母队列的重要性
            5.4GCHQ解密的两个重要的图灵报告
            5.5图灵的全局统计观
            5.5.1统计学和抽象层次
            5.5.2扩展信息分层
            5.6形态发生、统计和图灵的人工智能
            参考文献
            第二部分过程计算而非计算大脑
            第6章图灵的洞察
            ◎斯蒂芬·沃尔弗拉姆
            参考文献
            第7章外设计算和内生计算
            ◎克里斯托夫·托伊舍
            7.1自顶向下和自底向上的设计
            7.2内生计算和外设计算
            7.3图灵的自底向上计算模式
            7.4从内生计算到外设计算
            7.5展望
            参考文献
            第8章迟钝呆板的人类遇见顶级机器翻译家
            ◎侯世达
            第三部分通向计算生命的逆向工程之路
            第9章图灵理论之发育模式形成
            ◎菲利普K.梅尼，托马斯E.伍利，埃蒙A.加夫尼，露丝E.贝克
            9.1引言
            9.2发育的应用场景
            9.3图灵理论的扩展
            9.4关于图灵模型的争议
            9.5图灵的影响
            致谢
            参考文献
            第10章 走钢丝绳：图灵形态发生学中分层不稳定性的困境
            ◎理查德·高登
            致谢
            参考文献
            第四部分量子计算的生物学、思维和推广
            第11章 回答笛卡儿： 图灵
            ◎斯图亚特·考夫曼
            11.1引言
            11.2机器思维
            11.3思维、意识和机器思维
            11.3.1回答笛卡儿
            11.3.2封闭式量子系统和双缝实验
            11.3.3开放式量子系统
            11.3.4稳定的域
            11.3.5非算法的、非确定性的、非随机的反图灵系统
            11.3.6负责任的自由意志
            11.3.7回答笛卡儿：思维如何在大脑中活动
            11.3.8潜能和广延实体通过量子测量相联系
            11.3.9意识是什么
            11.3.10感受性与量子测量的关系
            11.3.11 前端的大脑
            11.3.12量子纠缠、萨穆利的观点和捆绑问题
            11.3.13反图灵系统的编程
            11.4结论
            附言
            致谢
            参考文献
            第12章 量子图灵机中的幽灵
            ◎斯科特·阿伦森
            12.1引言
            12.1.1“自由意志”与“自由”
            12.1.2关于本章标题的注释
            12.1.3阅读本章所需的知识水平
            12.2常见问题
            12.2.1狭窄的科学主义
            12.2.2偷梁换柱
            12.2.3相容论
            12.2.4量子梦话
            12.2.5大脑上传：谁会在乎
            12.2.6决定论与可预测性
            12.2.7量子力学与隐藏变量
            12.2.8结果论证
            12.2.9预测悖论
            12.2.10奇点主义
            12.2.11利贝实验
            12.2.12心灵和道德
            12.3奈特不确定性和物理
            12.3.1奈特不确定性
            12.3.2量子力学与不可克隆定理
            12.3.3自由比特构想
            12.3.4放大与大脑
            12.3.5反对假想小人
            12.4从内而外的自由
            12.4.1协调问题
            12.4.2微观事实与宏观事实
            12.5进一步的反对意见
            12.5.1广告商异议
            12.5.2天气异议
            12.5.3沙鼠异议
            12.5.4初始状态异议
            12.5.5维格纳的朋友异议
            12.6与彭罗斯观点的比较
            12.7应用到玻尔兹曼大脑上
            12.8指代和自由比特
            12.9自由比特构想能被证伪吗
            12.10结论
            致谢
            附录A定义“自由”
            附录B预测和柯尔莫戈洛夫复杂度
            附录C奈特量子态
            参考文献
            第五部分神谕、无限计算和心智的物理学
            第13章 图灵的“神谕”：从 可计算性到相对再返回
            ◎所罗门·费弗曼
            13.1引言
            13.2“ ”有效可计算性
            13.2.1机器和递归函数
            13.2.2部分递归函数
            13.2.3有效不可解问题和归约方法
            13.3自然数的相对有效可计算性
            13.3.1图灵的“神谕”和图灵可归约性
            13.3.2递归可枚举集合、不可解度和波斯特问题
            13.3.3波斯特问题的解和度理论的繁荣
            13.4自然数的一致相对可计算性
            13.4.1相对计算过程和局部递归泛函数
            13.4.2递归论
            13.4.3自然数上有限类型的局部递归泛函数
            13.5广义递归论
            13.5.1背景与概述
            13.5.2集合和序数上的可计算性
            13.5.3一般结构上的可计算性
            13.6在真实计算中相对可计算性概念的角色
            13.6.1计算实践和计算理论
            13.6.2内置函数和黑盒
            13.6.3编程函数方面
            13.6.4抽象数据类型
            13.6.5复杂性的度
            13.6.6结论
            附言
            参考文献
            第14章 图灵 ： 事件视界
            ◎P. D. 韦尔奇
            14.1起源
            14.2极限可判定
            14.3MH时空
            14.4无穷序数： 算术
            14.5回到MH时空
            14.60心智
            14.7无限时间图灵机
            14.8寄存器机和其他推广
            14.9结论
            参考文献
            第15章 为数学思维建模的尝试
            ◎罗杰·彭罗斯
            15.1图灵的顺序逻辑
            15.2数学之信任
            15.3数学理解所基于的物理过程
            15.4П语句
            15.5谨慎神谕
            15.6谨慎神谕装置的运转
            15.7对于谨慎神谕装置的哥德尔型定理
            15.8物理含义
            参考文献
            后记
            · · · · · · (收起)

            原文摘录:

            伽柏.瓦泰、萨穆利.尼拉南和我已经提出了在开放式量子系统中的完全相干的量子行为和经典性之间的“稳定的域”。想象这样一个X，Y二维坐标系。Y轴从原点开始有开放的量子相干行为，从Y轴向上是退相干到经典性，从Y轴向下是重相干到开放式量子行为。X轴包括“有序”“临界”和“混沌”。它们在经典极限中有很好的定义，现在被扩展到不同程度的退相干和重相干的开放式量子行为。
            从原点出发沿X轴的运动，可以看作经典的无摩擦的钟摆，这至少可以通过两种方式得到。第一种是使用经典系统的“汉密尔顿函数”。钟摆是完全有序的，……，这些圆形轨道是平行的，因此既不收敛也不发散。从数学上讲，这是一个零值的李雅普诺夫指数所描述的散度或收敛性。……随着汉密尔顿函数的进一步改变，李雅普诺夫指数变为更大的正值。这种临界状态是一种“二阶相变”（Mackay,1993）。在X轴上移动的第二种方法是使用一个“量子转子”。量子转子是一个一维的环形，周围有量子化的电荷旋转。……如果强度K减小或者汉密尔顿函数改变了，则这种经典性是可逆的。因此，推测来说，经典性在沿Y轴向下或沿X轴向外是可逆的。 (查看原文)

            何兮
            3赞
            2019-05-14 21:43:13

            —— 引自第172页