BCJC 6o 《图灵的秘密》读书笔记2

最新推荐文章于 2021-11-04 09:23:05 发布
最新推荐文章于 2021-11-04 09:23:05 发布
阅读量91 收藏
点赞数 1
分类专栏： 笔记
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_44848160/article/details/121065319
版权
这篇博客探讨了数学家希尔伯特提出的一般性判定问题，即寻找一个通用方法来判断数理逻辑中的命题是否可证明。这一问题激发了图灵创作《论可计算数》一文，他在文中提出了著名的图灵机模型，为现代计算机科学奠定了基础。图灵的工作解决了希尔伯特的判定性问题，并引入了可计算性的概念，对信息科学产生了深远影响。
摘要由CSDN通过智能技术生成

当年的图灵写《论可计算数》的动机?
是解决德国数学家大卫·希尔伯特(1862一1943)构想的一个问题.
希尔伯特寻找一种通用的方法来判定数理逻辑中的任意命题是否可证明.
寻找这种"通用的方法"被称为判定性问题.

李京森
关注
  • 1
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
BCJC 6O 《图灵的秘密》读书笔记1
weixin_44848160的博客
10-31 188
朋友们.想更加详细的了解图灵.那么请读《图灵的秘密》.有人不禁要问.作者权威性如何?告诉你相当权威. 《图灵秘密的作者》是美国顶级编程达人:查尔斯·佩特佐德 (Charles Petzold) 1984年开始写程序.1986年发作处女做.直到今天依然是Windows GDI 程序设计首席技术作家的地位. 著作有《window程序设计》 《图灵的秘密》 ...
Mission Impossible——《图灵的秘密》读后感
图灵教育官方博客
04-15 966
《图灵的秘密》是关于图灵1936年那篇开创性论文的解读，内容很多很难，需要的背景知识包括数理逻辑，lambda演算，以及一些基本的数论。读完的笔记也许都会比原书多，这里想简洁或者宏观性地谈谈几个主角之间的“故事”。 　　实际上说争论更准确。 　　初（我目前所知道的），大神莱布尼兹有两个及其宏大，甚至伟大的想法（若能实现，即使代价是将微积分其拱手让给牛顿，莱布尼兹绝对认为也值）： 　　1. ...
BCJC 60 《图灵的秘密》读书笔记
weixin_44848160的博客
10-30 143
为了更好的了解图灵.美国的一位window界的著名程序员详细的研究了图灵.并写了一本书.《图灵的秘密》.有兴趣的朋友们一起读起来. 当然.没兴趣的.可以略过BCJC60
BCJC 6O 《图灵的秘密》读书笔记3.图灵的两大论文
weixin_44848160的博客
11-01 233
图灵一生
BCJC 60 《图灵的秘密》读书笔记6希尔伯特的思想
weixin_44848160的博客
11-04 98
加粗样式
BCJC 6o 《图灵的秘密》读书笔记5 贝曼对于假想判定过程的描述
weixin_44848160的博客
11-04 95
贝曼是数学家希尔伯特的一位助手
图灵的秘密：他的生平、思想及论文解读,读后感
jialijun的博客
03-03 887
上一篇文章，我说我要读一下，图灵的论文，于是下了一篇对他生平和论文解读的书。于是非常合理的， 又一次经历了从入门到放弃，我发现我除了对图灵的生平事迹，同性恋，冯诺依曼比他大还给他写过推荐 信，最早的一种水银延迟存储器，这些大众都喜欢的话题之外，对他的论文完全没有印象，虽然我努力的 去理解它的论述，但是经过1天之后，我完全想不起来，我看过什么。好吧，我承认，我和数学是绝缘 ...
制造业运营生产一体化整体规划方案.pdf
08-11
制造业运营生产一体化整体规划方案.pdf
软件开发编程重要培训资料分享7软件开发编程开发技术资料.zip
08-11
软件开发编程重要培训资料分享7软件开发编程开发技术资料.zip
毕业设计，基于ASP+SqlServer开发的外观专利图像检索平台，内含完整源代码，数据库，毕业论文
08-11
毕业设计，基于ASP+SqlServer开发的外观专利图像检索平台，内含完整源代码，数据库，毕业论文 随着Internet技术的发展，互联网在中国逐步普及,人们对网络的需求也日益增长,利用计算机实现外观专利图像检索平台的管理势在必行。本系统从初步调查开始，详细介绍了需求分析、流程和数据分析，并进行了系统总体结构设计和数据库设计. 系统采用Dreamweaver编写ASP脚本，SQL SERVER建立数据库，从界面简洁、实用的要求出发，完成了外观专利图像检索平台管理工作的主要部分，包括外观专利图像检索平台和用户的信息浏览,添加，修改，删除，查询，并且实现了一些变量的取值，保存，的计算，和统计。 外观专利图像检索平台作为一个新兴的产业近年来取得了迅速的发展，旅行社如雨后春笋遍布全国各省市、目前外观专利图像检索平台行业普遍存在着企业规模小，管理不规范等弱点。外观专利图像检索平台可以把各种外观专利图像检索平台分类存储管理通过网络实现共享，不仅方便快捷，而且不会因为人员流动影响企业的经营，是旅行社在激烈的市场竞争中的坚强后盾。 因此，本文就详细的设计了一个外观专利图像检索平台，把外观专利图像检
Matlab编程车牌识别[Matlab编程].zip
08-11
MATLAB车牌识别系统是一种基于MATLAB开发的软件系统，用于自动识别和提取车辆上的车牌信息。该系统利用计算机视觉和图像处理技术，通过对车牌图像进行分析和处理，实现对车牌号码的自动识别。 该系统的工作流程通常包括以下几个步骤： 1. 车牌图像获取：通过摄像头或者从图像库中获取车辆的图像。 2. 车牌定位：使用图像处理技术，如边缘检测、形态学操作等，对图像进行处理，找出图像中的车牌位置。 3. 字符分割：对车牌进行分割，将每个字符或数字单独提取出来。这一步通常涉及到连通区域分析、投影法等技术。 4. 字符识别：对每个字符进行识别，将其转化为相应的数字或字母。这一步可以使用机器学习技术，如支持向量机（SVM）或深度学习方法，如卷积神经网络（CNN）。 5. 结果输出：将识别结果输出到用户界面或保存到文件中。 MATLAB提供了一系列图像处理和机器学习工具箱，可以大大简化和加速车牌识别系统的开发过程。通过使用MATLAB的图像处理函数和算法库，用户可以快速实现车牌识别的各个步骤，并进行调试和优化。 此外，MATLAB还提供了一些示例代码和教程，可以帮助用户入门和学习车牌识
JavaScript高阶第二天.xmind
最新发布
08-11
JavaScript高阶笔记总结： 目前学到的this指向： 1.普通函数的this指向 window 2.构造函数this指向实例化对象 3.事件中的this指向事件源 4.定时器中的this指向window 5.立即执行函数中的this指向window 6.对象中的this指向对象本身 7.原型对象中的this指向实例化对象 改变this指向的方法： 1.call():参数以逗号分隔，会立即调用函数执行 2.apply():参数以数组形式传递，会立即调用函数执行 3.bind():参数以逗号分隔，需要手动调用 4.call()的使用场景：数据类型判断 Object.prototype.toString.call(); 5.apply()的使用场景：求最值 Math.max() 传入参数的最大值 6.bind()的使用场景： bind()不会立即调用函数执行，一般用于改变定时器中的this指向 判断数据类型的方法： 1.typeof 2.instanceof
毕业设计基于深度学习的面部表情识别系统python源码+说明文档+论文（高分毕设）
08-11
<项目介绍> - 面部表情识别系统。用于寻找图片中的面部并识别出表情所属的类别。使用卷积神经网络构建整个系统，并在FER2013、JAFFE和CK+三个表情识别数据集上进行模型评估。 - 不懂运行，下载完可以私聊问，可远程教学 该资源内项目源码是个人的毕设，代码都测试ok，都是运行成功后才上传资源，答辩评审平均分达到96分，放心下载使用！ 1、该资源内项目代码都经过测试运行成功，功能ok的情况下才上传的，请放心下载使用！ 2、本项目适合计算机相关专业(如计科、人工智能、通信工程、自动化、电子信息等)的在校学生、老师或者企业员工下载学习，也适合小白学习进阶，当然也可作为毕设项目、课程设计、作业、项目初期立项演示等。 3、如果基础还行，也可在此代码基础上进行修改，以实现其他功能，也可用于毕设、课设、作业等。 下载后请首先打开README.md文件（如有），仅供学习参考, 切勿用于商业用途。 --------
毕业设计javajsp党员管理系统springmvc-qkrp源码含文档工具包
08-11
毕业设计javajsp党员管理系统springmvc-qkrp源码含文档工具包 后台是springmvc，页面是jsp，数据库mysql，jdk1.8，开发工具用ecplise、myecplise、sts、idea都可以 党员信息管理系统 个人中心 党组织活动管理 用户管理 管理员 党员信息管理 党员发展管理 网上学习管理 文档管理 首页轮播管理 个人中心 党组织活动查询 电 我的党员信息 党员发展 支部信息 个人中心 党组织活动管理 支部管理员 党员信息管理 支部会议管理 支部考勤管理 包含：源码、数据库脚本、论文、环境工具包、相同框架项目的安装教程（在说明文档中）
软件开发编程重要培训资料分享8软件开发编程开发技术资料.zip
08-11
软件开发编程重要培训资料分享8软件开发编程开发技术资料.zip
数据结构与算法的教学课件
08-11
数据结构与算法的教学课件，比较全面的数据结构教程。
智慧交通解决方案(3).docx
08-11
智慧交通解决方案(3).docx
电感针脚上锡包胶机step_机械3D图可修改打包下载.zip
08-11
电感针脚上锡包胶机step_机械3D图可修改打包下载.zip
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值