波利亚的数学思想:解题是人类的最富有特征的活动

波利亚认为,贯串着任何科学发现的思维过程的,主要是合情推理,但作为阐述和研究合情推理的恰当例子的,是数学。因此他写了一部专著《数学与猜想》来阐述自己的观点。其第一卷《数学中的归纳与类比》以数学为例来研究归纳、类比、推广、限定、猜测等推理方法的性质和作用,而第二卷《合情推理模式》则着重于建立推理模...

dreamcoder-arc:用于抽象和推理的神经网络 ARC-AGI

我们提出了感知抽象和推理语言(PerceptualAbstraction&ReasoningLanguage(PeARL)),它允许DreamCoder解决ARC任务,并提出了一种新的识别模型,使我们能够显著改进之前的最佳实现。我们还提出了一种新的编码和增强方案,允许大型语言模型(LLM)解决ARC任务,并发现最大的模型可以解决一些ARC任务。LLM能够解决与最先进的求解...

孙昌璞:理论物理的“唯美”与“求真”

需要指出的是,对称自发破缺机制提出之后,在彭罗斯(O.Penrose)和昂萨格(Onsager)工作基础上,杨振宁发展起来的非对角长程序(off-diagonallongrangeorder,ODLRO)理论与对称性自发破缺机制是等价的,是对超导和超流等演生现象更严格的理论描述。可以说,Higgs-Anderson机制是理论物理中“还原论”和“演生论”和谐统...

力维智联入选艾瑞咨询《中国人工智能产业研究报告(VI)》|算法|...

NLP技术不存在更多是从前瞻性学术角度来看,而从产业应用角度,大小模型结合仍是人工智能产业的当下核心应用落点。随着智算规模扩张、大模型能力提升及应用成本降低之后,大模型的确会对小模型的更多应用场景展开替代趋势,尤其是在大模型擅长的归纳推理、内容生成等语言语音应用场景。“集大一统”的多模态模型是未来发展要点...

这28本科学著作,是人类尝试理解世界的过程

自从亚里士多德以来,演绎推理主宰了科学实践;培根准备颠覆它。在《新工具》第一版的封面上,培根让一艘船——这就是他崭新的归纳法——成功超过“赫拉克勒斯之柱”(PillarsofHercules):这是神话传说中的两根柱子,标志着大力神赫拉克勒斯所能到达的“极西”之处,也是古代世界最外围的边界,是旧的知识获取方式所能扩...

张瑞敏:我摸到了石头 这个石头就是让每个人自主

从2005年9月提出“人单合一”起,张瑞敏就走上了一条艰苦卓绝的自我革命之路(www.e993.com)2024年11月27日。简言之,“人”是员工,“单”是用户价值,“人单合一”是把员工和用户结合到一起,让员工在为用户创造价值的同时实现自身价值。听起来并不难懂,但要用它彻底改造企业的组织、流程,并使之“工具化”,很不容易。

事实认定及其在法律推理中的作用

1.三段论法律推理以归纳推理为前提法律推理是一个法庭裁决(decision-making)过程,其典型逻辑形式是三段论演绎推理。但是,从逻辑与历史相统一的观点看,法律推理的实际操作却不遵循先大前提、后小前提的顺序,而是先通过事实认定(主要是运用归纳法的证据推理)去发现小前提,然后,再根据所认定的事实真相去检索大前提。显然...

率性教育的背后十书

《数学思想概论:数学中的归纳推理》史宁中是著名的数学家、哲学家和教育家。哲学方面,他对西方哲学、中国古代哲学都有自己独特的见解。教育方面,他提出“四基四能”(四基:基本知识、基本技能、基本思想和基本活动经验;四能:发现问题、提出问题、分析问题和解决问题)的思想,并写入国家课标。《数学思想概论》虽然是数学...

秦朔专访张瑞敏:听中国商界的苏格拉底详解人单合一

从2005年9月提出“人单合一”起,张瑞敏就走上了一条艰苦卓绝的自我革命之路。简言之,“人”是员工,“单”是用户价值,“人单合一”是把员工和用户结合到一起,让员工在为用户创造价值的同时实现自身价值。听起来并不难懂,但要用它彻底改造企业的组织、流程,并使之“工具化”,很不容易。

20世纪十大哲学问题丨一文整理|现象学|认识论|实在论|形而上学|...

因果问题或归纳问题,是休谟在二百多年前提出的:我们能从过去太阳从东方升起推出它以后也必然如此吗?我们能从理性上证明,从有限事例归纳出全称判断是合理的吗?康德明白休谟的问题不能从经验上和逻辑上予以证明,他把因果性划归先天范畴,说这是人脑为自然界立法。J??S??穆勒企图作出正面证明,他的证明依靠两个前提:...