`
metaphy
  • 浏览: 349372 次
  • 性别: Icon_minigender_1
  • 来自: 大西洋底
社区版块
存档分类
最新评论

什么样的书是好书 —— 关于《逻辑的引擎》

阅读更多
这是一本适合数学系或计算机系本科生阅读的书,它会让你在乏味的学习之余体会到很多乐趣。对于我而言更是有“相逢恨晚”的感觉。它讲出了一些我所知道的东西,所以能看懂,也讲出了一些我不知道的东西,所以很有趣;但最重要的是,它引导我思考,让我明白了程序员“是谁,从哪里来”,但遗憾的是对“到哪里去”讲的不多,毕竟这是一本关于逻辑学(数学)发展的历史的小书。全书以传记章节的形式介绍了从莱布尼茨、布尔等一直到图灵这些伟大人物的思想,到最终的冯.诺依曼计算机结构的产生,这些数学家们已经为之准备了300多年。

莱布尼茨大家肯定不会陌生,尤其是我们现在依然在用他发明的微积分符号。他是个勤奋的人,对于逻辑学有一些不成系统的见解。真正令人印象深刻的是第二章的布尔,他把逻辑变成了代数。下面是他的很经典的变换:
引用
如果X,那么Y。就写成: X (1-Y) = 0

然后一大段推理就变成了方程式。不知道大家看了什么感觉,反正我看到这里是相当震撼,大学里的一些糊涂的科目变得“前所未有的清晰”。嘿嘿。

第三章弗雷格,他找出了一种“不用逻辑来发展逻辑的方法”,简单说,就是定义语法规则和句法规则,第一次构造出精确的形式化语言。令人印象深刻的是反写A(All,所有)反写E(Exist,存在)这种符号,就是他的创造。

第四章讲康托尔,讲他的连续统问题,这就是个纯数学问题了。这个问题是说自然数集合的基数(可以理解成元素个数,如果你认为能够数地过来的话)和实数集合的基数这2个大小是不是连着的。两个大小都是无限大,但他们发明了一种方法来比较,发现实数基数比自然数基数(那个符号念阿列夫0,希伯来语)要大。

第五、六章就来到了20世纪了,讲希尔伯特,歌德尔,也讲了罗素、冯.诺依曼等一些人,讨论了关于数学的基本问题,一致性问题、完备性问题。第四、五两章是针对弗雷格体系那块不太稳定的基石的。第六章讲了一些争论,关于数学的争论,没怎么看明白。

第七章就讲图灵和他的图灵机。图灵的贡献是卓越的,图灵机为冯.诺依曼计算机结构打下了基础,而后者就是我们现在普遍应用的计算机模型。很悲惨,我上学的时候老师都是从冯.诺依曼开始讲,这种承继关系现在才搞懂。更悲惨的是图灵因为他的同性恋倾向,最终死于自杀,年仅42岁。人们真的应该仔细考虑对待同性恋的态度。

第八章讲通用计算机,计算机终于从逻辑学走向工程学,从天才的大脑中走进来千家万户。

第九章讲人工智能,以及计算机的未来。未来会如何,谁也不能妄下结论,尤其是计算机这种一日千里的发展对象。

(第一段写的像广告,nnd)
1
0
分享到:
评论

相关推荐

    2021年读书文化主题活动总结范文.doc

    为了确保学生有充分的阅读时间,我们特别设置了“三读”时间——晨诵、午读、暮省,让学生们在一天的不同时间段里都能接触到书籍。此外,开设了专门的阅读课,由教师指导学生进行有效的阅读实践。 3. **读书交流与...

    五年级语文上册 口语交际习作一教案 人教新课标版.doc

    好书对于个人成长有着不可估量的影响,教案鼓励学生与好书为伴,养成热爱阅读的习惯。这样的习惯不仅能够让学生在知识的海洋中遨游,还能够帮助他们形成良好的道德品质和健全的人格。 综上所述,这份五年级语文上册...

    Open Circuits-The Inner Beauty of Electronic Components

    - 分类:可以分为两大类——被动元件和主动元件。被动元件如电阻器、电容器、电感器等;主动元件包括晶体管、集成电路等。 - 特性:不同的元件具有不同的电气特性,这些特性决定了它们在电路中的应用。 2. **电子...

    安川MP7系列工控系统源码解析:关键算法与硬件交互揭秘

    内容概要:本文深入剖析了安川MP7系列工业控制系统的关键源码,重点介绍了运动轨迹规划、通信协议处理以及故障处理机制等方面的技术细节。通过对实际代码片段的解读,揭示了该系统在硬件寄存器直接访问、特殊功能码处理等方面的独特之处。同时,文中还分享了一些基于实践经验得出的重要参数设置及其背后的故事,如特定摩擦补偿系数的选择原因等。 适合人群:从事工业自动化领域的工程师和技术人员,尤其是对安川产品有一定了解并希望深入了解其内部工作机制的专业人士。 使用场景及目标:帮助读者掌握安川MP7系列控制器的工作原理,提高对类似系统的维护能力和故障排查效率。对于想要进一步研究或二次开发该系统的开发者来说,也能提供宝贵的参考资料。 其他说明:文章不仅限于理论讲解,还包括了许多来自一线的实际案例和经验教训,使读者能够更好地理解和应用所学知识。

    自动化测试与脚本开发_Python3_pynput_键盘鼠标操作录制执行代码生成工具_用于自动化测试_脚本录制_重复操作模拟_宏命令生成_提高工作效率_支持GUI界面_跨平台兼容_.zip

    自动化测试与脚本开发_Python3_pynput_键盘鼠标操作录制执行代码生成工具_用于自动化测试_脚本录制_重复操作模拟_宏命令生成_提高工作效率_支持GUI界面_跨平台兼容_

    嵌入式八股文面试题库资料知识宝典-深入分析Windows和Linux动态库应用异同.zip

    嵌入式八股文面试题库资料知识宝典-深入分析Windows和Linux动态库应用异同.zip

    嵌入式八股文面试题库资料知识宝典-C语言总结.zip

    嵌入式八股文面试题库资料知识宝典-C语言总结.zip

    风储直流微电网母线电压控制策略与双闭环MPPT技术研究

    内容概要:本文详细探讨了风储直流微电网中母线电压控制的关键技术。首先介绍了风储直流微电网的背景和发展现状,强调了母线电压控制的重要性。接着阐述了永磁风机储能并网技术,解释了永磁风机如何通过直接驱动发电机将风能转化为电能,并确保与电网的同步性和稳定性。然后深入讨论了双闭环控制MPPT技术,这是一种通过内外两个闭环控制系统来实现实时调整发电机运行参数的技术,确保风机始终处于最大功率点附近。最后,文章探讨了储能控制母线电压平衡的方法,即通过储能系统的充放电操作来维持母线电压的稳定。结论部分指出,通过这些技术的有机结合,可以实现对风储直流微电网的有效管理和优化控制。 适合人群:从事新能源技术研发的专业人士、电气工程研究人员、风电系统工程师。 使用场景及目标:适用于希望深入了解风储直流微电网母线电压控制策略的研究人员和技术人员,旨在帮助他们掌握最新的控制技术和方法,以提高系统的稳定性和效率。 其他说明:文章还对未来风储直流微电网的发展进行了展望,指出了智能化和自动化的趋势,以及储能技术的进步对系统性能的影响。

    嵌入式八股文面试题库资料知识宝典-C++object-oriented.zip

    嵌入式八股文面试题库资料知识宝典-C++object-oriented.zip

    【操作系统开发】HarmonyOS目录结构详解:构建高效开发环境与跨设备协同应用

    内容概要:文章详细介绍了HarmonyOS的目录结构及其重要性,从整体框架到核心目录的具体功能进行了全面剖析。HarmonyOS凭借其分布式架构和跨设备协同能力迅速崛起,成为全球操作系统领域的重要力量。文章首先概述了HarmonyOS的背景和发展现状,强调了目录结构对开发的重要性。接着,具体介绍了根目录文件、AppScope、entry和oh_modules等核心目录的功能和作用。例如,AppScope作为全局资源配置中心,存放应用级的配置文件和公共资源;entry目录是应用的核心入口,负责源代码和界面开发。此外,文章还对比了HarmonyOS与Android、iOS目录结构的异同,突出了HarmonyOS的独特优势。最后,通过旅游应用和电商应用的实际案例,展示了HarmonyOS目录结构在资源管理和代码组织方面的应用效果。; 适合人群:具备一定编程基础,尤其是对移动操作系统开发感兴趣的开发者,包括初学者和有一定经验的研发人员。; 使用场景及目标:①帮助开发者快速理解HarmonyOS的目录结构,提高开发效率;②为跨设备应用开发提供理论和技术支持;③通过实际案例学习资源管理和代码组织的最佳实践。; 其他说明:HarmonyOS的目录结构设计简洁明了,模块职责划分明确,有助于开发者更好地管理和组织代码和资源。随着万物互联时代的到来,HarmonyOS有望在开发便利性和生态建设方面取得更大进展,吸引更多开发者加入其生态系统。

    飞轮储能充放电控制Simulink仿真模型:基于永磁同步电机的矢量控制与dq轴解耦

    内容概要:本文详细介绍了飞轮储能充放电控制的Simulink仿真模型,重点在于采用永磁同步电机的矢量控制和dq轴解耦控制策略。充电时,外环控制转速,内环控制dq轴电流;放电时,外环控制直流母线电压,内环同样控制dq轴电流。文中还讨论了硬件与软件环境的选择,以及仿真模型的调试与运行情况,最终得出该模型具有良好的跟随性能和波形完美度。 适用人群:从事电力电子系统、储能技术和Simulink仿真的研究人员和技术人员。 使用场景及目标:适用于需要对飞轮储能系统进行深入研究和仿真的场合,旨在提高充放电效率和稳定性,满足不同应用场景的需求。 其他说明:该仿真模型已调试完成,可以直接用于进一步的研究和实际应用,为未来的飞轮储能技术研发提供了有价值的参考。

    嵌入式八股文面试题库资料知识宝典-北京瑞德方科技.zip

    嵌入式八股文面试题库资料知识宝典-北京瑞德方科技.zip

    嵌入式八股文面试题库资料知识宝典-同方万维硬件测试工程师.zip

    嵌入式八股文面试题库资料知识宝典-同方万维硬件测试工程师.zip

    1_15套python PDF格式.zip

    1_15套python PDF格式.zip

    三相三电平整流器仿真:基于电压电流双闭环控制与SPWM调制的性能分析

    内容概要:本文详细介绍了三相三电平整流器的仿真过程及其性能分析。文中首先概述了三相三电平整流器的基本概念及其在电力系统中的重要作用,接着重点探讨了电压电流双闭环控制方式的工作原理和优势,以及SPWM调制技术的具体应用。通过仿真文件展示了整流器在不同条件下的响应情况,验证了这两种技术的有效性和优越性。最后,作者表达了对未来实际应用的期望。 适合人群:从事电力电子研究的技术人员、高校相关专业师生、对电力控制系统感兴趣的工程爱好者。 使用场景及目标:适用于希望深入了解三相三电平整流器工作原理和技术细节的研究人员;目标是在理论基础上掌握电压电流双闭环控制和SPWM调制的实际应用方法。 其他说明:本文提供的仅为仿真文件,未涉及实物实验数据。

    嵌入式八股文面试题库资料知识宝典-恒光科技.zip

    嵌入式八股文面试题库资料知识宝典-恒光科技.zip

    嵌入式八股文面试题库资料知识宝典-北京天华威视科技有限公司面试题.zip

    嵌入式八股文面试题库资料知识宝典-北京天华威视科技有限公司面试题.zip

    嵌入式八股文面试题库资料知识宝典-微软研究院笔试题目的答案.zip

    嵌入式八股文面试题库资料知识宝典-微软研究院笔试题目的答案.zip

    Arduino UART实验例程【正点原子EPS32S3】

    Arduino UART实验例程,开发板:正点原子EPS32S3,本人主页有详细实验说明可供参考。

    嵌入式八股文面试题库资料知识宝典-朝歌数码.zip

    嵌入式八股文面试题库资料知识宝典-朝歌数码.zip

Global site tag (gtag.js) - Google Analytics