00:00 / 01:18
连播
清屏
智能
倍速
点赞93
00:00 / 00:24
连播
清屏
智能
倍速
点赞82
【企鹅哲学史】数学救赎 一切的答案|17 毕达哥拉斯总结 【企鹅哲学史】数学救赎 一切的答案|17 古代哲学 前苏格拉底哲学家 毕达哥拉斯总结 你有没有想过,那个曾经在课堂上让我们头疼不已的数学,在2500年前,竟然是一种宗教,一门关乎灵魂救赎的必修课? 一个数学公式,如何能成为通往不朽的船票? 一套几何原理,为何会构成一个伟大教派的终极政治纲领? 欢迎来到《维思涛涛》,我是孔维涛。今天,在我们“毕达哥拉斯三部曲”的终章,我们将深入古希腊的神秘学园,揭开数学如何成为信仰的终极秘密。 在本期节目中,你将发现: 🌌 宇宙的诞生: 一场神圣的“有限”对混沌的“无限”的永恒之战。世界的本质不是物质,而是“结构”与“数”。 🧘‍♂️ 人生的意义: 我们的灵魂是不朽的,而肉体是禁锢灵魂的监狱。人生的目的就是通过研究数学来完成一场名为“净化”的灵魂救赎。 🏛️ 理想国蓝图: 一个理想的城邦必须是宇宙和谐的缩影,由最理解数学真理的“哲人”来统治。 这三个问题的答案,不仅构成了毕达哥拉斯学派的核心信仰,更重要的是,它为西方哲学史上最伟大的思想家——柏拉图——提供了一份完整的思想蓝图。可以说,没有毕达哥拉斯,就不会有柏拉图的“理型世界”与“哲学王”。 《维思涛涛》是一档面向大众的日更哲学节目,陪伴你无痛读完哲学大部头,让哲学成为一种生活方式。 如果你喜欢本期节目,请一定记得 【订阅、点赞、收藏、转发】,支持我们继续创作! 下一期预告:当所有人都沉迷于寻找“真理”时,一位游吟诗人却发出了振聋发聩的质问:“如果牛和马会画画,它们画出的神,也会是牛和马的样子。” 这位向整个时代开战的智者是谁?我们下期,认识色诺芬尼。 #哲学史 #哲学 #毕达哥拉斯 #数学 #柏拉图
00:00 / 10:08
连播
清屏
智能
倍速
点赞146
00:00 / 00:31
连播
清屏
智能
倍速
点赞18
00:00 / 27:18
连播
清屏
智能
倍速
点赞2
00:00 / 05:03
连播
清屏
智能
倍速
点赞2
00:00 / 01:37
连播
清屏
智能
倍速
点赞102
00:00 / 01:53
连播
清屏
智能
倍速
点赞111
00:00 / 06:01
连播
清屏
智能
倍速
点赞799
数学在中间,哲学在底层,物理在上层。 数学与物理的根本区别。数学,研究抽象的形式结构和它们之间的逻辑关系。它的对象,如数、集合、函数、空间,是从具体事物中剥离掉所有物理属性后,留下的纯粹“关系模式”和“逻辑可能性”。数学的真理由逻辑一致性保证。物理,研究物质、能量、时空及其相互作用的实在规律。它的概念,如质量、力、电荷,需要与可观测、可测量的现实世界对应。物理理论的真理由实验验证来最终判断。所以,数学是抽象的,物理是实在的。任何物理概念都需要数学定量研究这正是现代科学革命的核心。物理学要成为精确科学,就必须将其概念,力、速度、场等,数学化,即找到描述它们的数学变量和方程。 数学更像哲学的洞见与边界。 数学和某些哲学分支,如逻辑学、形而上学、分析哲学,都追求概念的清晰、逻辑的严密和推理的必然性。它们都思考非常根本的问题,存在、关系、真理、推理本身。现代数学建立在明确的公理系统之上,并在此基础上进行严格的演绎证明。哲学虽然也运用逻辑,但其基础,公理、前提,往往是开放辩论的,更依赖论辩和概念分析。数学一旦被证明,在其公理框架内就具有绝对的强制性共识。哲学则长期存在不同流派和观点的争论。数学可以完全脱离经验世界自我建构,尽管它常常受经验启发。哲学,尤其是科学哲学、心灵哲学等,则始终与经验世界和科学发现保持着深刻的对话和反思。数学是哲学思维在形式系统领域的极致化、精确化和系统化实现。 从哲学对立统一论中的二元对立到二元逻辑,再到一般数学。从“有/无”可以定义自然数。从自然数可以构造出整数、有理数、实数、复数…这些远不止“二元”。数学研究连续、无限、高维、拓扑、代数等无比复杂的结构,它们早已超越了简单的二元对立。所以,二元逻辑是地基,但在这地基上建成的是包罗万象的数学摩天大楼。 哲学在最底层,思考存在、知识、逻辑的本质。数学在其上,将一部分哲学思考,特别是关于逻辑和形式的部分,固化为一套坚不可摧的形式化语言和推理系统。物理学则在最上层,借用这套强大的数学语言,来描述和预测我们所在的具体物质世界。物理学的需求(如计算行星轨道)会推动新数学(如微积分)的产生。数学内部的发展(如非欧几何、希尔伯特空间)有时会预先提供物理理论(如广义相对论、量子力学)所需的框架。数学的真理由逻辑保证,其核心是必然性。物理学的真理由实验保证,其核心是经验符合度。
00:00 / 02:53
连播
清屏
智能
倍速
点赞7
数理逻辑 数理逻辑,融合了数学与哲学的学科领域,它不仅为我们提供了一种精确的语言来描述数学概念和推理规则,还深刻地影响了计算机科学、人工智能乃至整个现代科学的发展 数理逻辑起源于古希腊哲学中的形式化思维,尤其是亚里士多德对三段论的研究。但真正意义上的数理逻辑,则始于19世纪末至20世纪初,由弗雷格、罗素、怀特海等数学家和哲学家共同奠定。数理逻辑的核心在于使用符号语言对逻辑概念进行精确刻画,从而构建出严密的逻辑系统。这些系统包括命题逻辑、谓词逻辑、模态逻辑等多个分支,每一分支都有其特定的符号集、形成规则和推理规则。 命题逻辑是最基础的数理逻辑分支,它研究的是简单陈述(命题)之间的逻辑关系,如蕴含、合取、析取等。谓词逻辑则进一步引入了量词(全称量词和存在量词)和谓词,使得逻辑系统能够表达关于个体、属性及关系的复杂陈述。模态逻辑则关注于必然性和可能性等模态概念,为处理含有“必然”、“可能”等模态词的陈述提供了工具。 数理逻辑的两大支柱——形式化证明与模型理论,共同构成了理解逻辑系统性质的关键。形式化证明关注的是从给定的前提集合出发,通过应用推理规则推导出结论的过程。这一过程强调证明的严谨性和无歧义性,确保了逻辑推理的可靠性。模型理论则从另一个角度入手,通过构造满足特定逻辑公式的结构(模型),来研究逻辑公式的真值条件。模型理论不仅为逻辑公式的解释提供了直观依据,还为证明逻辑系统的完备性提供了强有力的工具。 在计算理论领域,图灵机、递归函数等概念与数理逻辑中的可计算性理论紧密相连。通过形式化语言和自动机理论,计算机科学得以精确描述和分类各种计算模型,为算法设计和复杂度分析提供了理论基础。其次,在数据库管理和信息系统设计中,关系数据库模型直接源于一阶谓词逻辑,使得数据的一致性和完整性得以通过逻辑公式严格保证。此外,数理逻辑还是人工智能领域不可或缺的基石。知识表示、推理机制、自动定理证明等关键技术均依赖于逻辑系统的构建和分析。 数理逻辑其思维方式也深刻影响着我们的日常思考和决策过程。通过逻辑训练,我们可以学会更加严谨地分析问题、清晰地表达观点,并有效避免逻辑谬误。例如,在批判性思维中,识别并反驳论证中的假设、偷换概念、滑坡谬误等逻辑错误,是提升论证质量的关键。同时,数理逻辑中的量词使用、条件推理等技巧,也有助于我们更准确地理解和评估信息的真实性和相关性,从而在信息爆炸的时代保持理性和判断力
00:00 / 03:00
连播
清屏
智能
倍速
点赞5
00:00 / 06:52
连播
清屏
智能
倍速
点赞123
00:00 / 02:10
连播
清屏
智能
倍速
点赞6
00:00 / 01:21
连播
清屏
智能
倍速
点赞1965