`
metaphy
  • 浏览: 349705 次
  • 性别: 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. **电子...

    MATLAB Simulink电动助力转向系统(EPS)模型构建与控制方法解析

    内容概要:本文详细介绍了基于MATLAB/Simulink的电动助力转向系统(EPS)模型的构建及其控制方法。首先,文中阐述了EPS在提升驾驶体验和安全性方面的重要意义。接着,重点讲解了四个关键模型的搭建:整车二自由度模型用于研究车辆转向特性;助力特性曲线模型确定不同驾驶条件下助力电机提供的助力力矩;助力电机模型模拟助力电机的工作过程;齿条模型描述助力电机转矩转化为车轮转向的动作。每个模型都有具体的参数设定和代码示例。此外,文章还解释了模型的输入(如前轮转角、方向盘力矩)和输出(转向助力力矩),并指出控制方法基于各模型间的输入输出关系,利用基本数学公式和逻辑判断实现。 适用人群:汽车工程领域的研究人员、工程师和技术爱好者。 使用场景及目标:适用于希望深入了解EPS工作原理的研究人员,以及需要进行EPS系统设计和优化的工程师。目标是掌握EPS系统的建模方法和控制策略,为实际项目提供理论支持和技术指导。 其他说明:文中提供了丰富的代码片段和详细的模型介绍,有助于读者更好地理解和实践。同时强调了EPS对于提高驾驶安全性和舒适性的重要性。

    实训商业源码-帝国cms7.5 7.2 UTF-8移动端同步插件-酷网站-论文模板.zip

    实训商业源码-帝国cms7.5 7.2 UTF-8移动端同步插件-酷网站-论文模板.zip

    基于Lasso分位数回归的数据预测分析及其广泛应用

    内容概要:本文详细介绍了基于Lasso分位数回归的数据回归预测方法。首先阐述了Lasso分位数回归作为一种结合Lasso回归与分位数回归的统计方法,能够在处理变量选择和模型复杂度方面发挥重要作用。接着解释了其基本原理,即在分位数回归基础上加入Lasso正则化项,从而确保模型既能良好拟合数据,又能有效避免过拟合现象。随后讨论了具体实施流程,从数据预处理到最终预测,涵盖了特征选择、模型构建以及参数优化等多个环节。最后强调了该方法在多个行业(如金融、医疗)的实际应用场景及其潜在价值。 适合人群:对统计学、机器学习有一定了解的研究人员和技术爱好者。 使用场景及目标:适用于需要精确预测并同时考虑多维度因素影响的场合,特别是在面对高维数据时,希望通过减少冗余变量来提高预测准确性的情况。 其他说明:文中提到的方法不仅限于特定领域,而是可以在多种不同类型的预测任务中发挥作用,为决策提供科学依据。

    【MATLAB例程】线性卡尔曼滤波的程序,三维状态量和观测量,较为简单,可用于理解多维KF

    这段代码实现了一个 三维状态的扩展卡尔曼滤波 (Extended Kalman Filter, EKF) 算法。通过生成过程噪声和观测噪声,对真实状态进行滤波估计,同时对比了滤波前后状态量的误差和误差累积分布曲线。 只有一个m文件,下载后使用MATLAB打开运行即可,带误差输出。

    毕业设计-百川多公众号集字福袋 2.0.5开源-整站商业源码.zip

    毕业设计-百川多公众号集字福袋 2.0.5开源-整站商业源码.zip

    实训商业源码-多商家营销活动平台V1.3.9小程序前后端完整全开源解密源码-论文模板.zip

    实训商业源码-多商家营销活动平台V1.3.9小程序前后端完整全开源解密源码-论文模板.zip

    ISC大作业论文-CSAPP-2025春

    ISC大作业论文

    毕业论文-在线进销存-整站商业源码.zip

    毕业论文-在线进销存-整站商业源码.zip

    毕业设计-步数宝步数换购小程序 7.8.1-整站商业源码.zip

    毕业设计-步数宝步数换购小程序 7.8.1-整站商业源码.zip

    实训商业源码-叮咚-门店会员卡小程序4.8.2开源-论文模板.zip

    实训商业源码-叮咚-门店会员卡小程序4.8.2开源-论文模板.zip

    毕业论文-芸众圈子社区V1.7.6 开源版-整站商业源码.zip

    毕业论文-芸众圈子社区V1.7.6 开源版-整站商业源码.zip

    配电网有功电压控制的多智能体强化学习实践:Dec-POMDP框架下的七种MARL算法及开源环境构建

    内容概要:本文探讨了多智能体强化学习(MARL)在配电网有功电压控制中的应用。文中介绍了将电压约束转化为势垒函数的方法,并在Dec-POMDP框架下对七种最先进的MARL算法进行了大规模实验。实验表明,设计合理的电压势垒函数对于提高电压控制效果至关重要。此外,作者还建立了开源环境,旨在促进电力社区和MARL社区的合作,推动MARL算法的实际应用。 适合人群:从事电力系统自动化、智能电网研究的专业人士,以及对多智能体系统和强化学习感兴趣的科研人员。 使用场景及目标:适用于需要优化配电网电压控制的场景,特别是希望通过软件手段而非硬件升级来提升电力质量和缓解电力拥塞的情况。目标是展示MARL在电力系统中的潜力,并为后续研究提供工具和支持。 其他说明:文章不仅讨论了理论和技术细节,还包括大量代码片段,帮助读者理解和实践MARL在电压控制中的具体应用。

    PFC3D岩石注浆破坏模拟:注浆速度、流量调节及孔位选择研究

    内容概要:本文基于PFC3D(Particle Flow Code 3D)软件,详细探讨了岩石注浆过程中的破坏现象及其背后的机理。首先介绍了注浆破坏的复杂性,指出这是由材料特性、地质构造和计算机模拟技术共同决定的。接着重点讲解了注浆速度和流量的调整方法,强调适当的速度和流量对于确保注浆效率和避免过度破坏的重要性。最后讨论了在不考虑渗流场的情况下,如何根据岩石结构特征选择最佳的注浆孔位置,以提高注浆效果并保护周围岩石结构。 适合人群:从事地质工程领域的研究人员和技术人员,尤其是那些希望深入了解岩石注浆过程的人。 使用场景及目标:适用于需要利用PFC3D进行岩石注浆模拟的研究项目,旨在帮助用户掌握注浆速度、流量调节技巧以及合理的注浆孔位选择方法。 其他说明:文中提供了简单的PFC3D模拟代码框架,便于读者快速上手实践。同时提醒读者注意实际操作时应结合实验室理论模型和现场具体情况来进行参数优化。

    电力系统研究中的IEEE标准节点仿真模型及其应用

    内容概要:本文详细介绍了IEEE标准节点仿真模型系列,涵盖了从简单到复杂的多个节点配置,如2机5节点、6节点、3机9节点、13节点、5机14节点、15节点、30节点、33节点、34节点、10机39节点以及69节点。所有模型均已成功调试并实现了潮流计算,适用于短路仿真、稳定性研究和电能质量研究等领域。文中还特别强调了三相等效电源的应用,这是模拟真实电力系统的关键要素之一。 适合人群:从事电力系统研究、仿真和优化的专业人士和技术人员。 使用场景及目标:①用于电力系统短路仿真的建模与分析;②评估电力系统的稳定性和可靠性;③研究电能质量问题,提升电力设备的运行效率和寿命。 阅读建议:本文提供了丰富的背景知识和具体应用场景,建议读者结合实际项目需求选择合适的模型进行深入研究和应用。

    实训商业源码-【超人】积分商城 5.2.26-论文模板.zip

    实训商业源码-【超人】积分商城 5.2.26-论文模板.zip

    实训商业源码-思创兼职小程序V6.7.6 开源版-论文模板.zip

    实训商业源码-思创兼职小程序V6.7.6 开源版-论文模板.zip

    2025年手绘风格毕业设计答辩模板范文.pptx

    2025年手绘风格毕业设计答辩模板范文

Global site tag (gtag.js) - Google Analytics