符号推理与形式逻辑
形式逻辑错误:排他性前提谬论
排他性前提谬论(Exclusive Premises):因为两个前提都是肯定的,所以绝对三段论是无效的。例子1:所有的鸟都有翅膀;所有的狗都有尾巴;因此,所有的狗都有翅膀。例子2:E命题:没有猫是狗。.
10个逻辑谬论与认知偏见
下面是在生活中经常发生的形式逻辑谬论(Formal Fallacies)与认知偏见:(banq注:逻辑错误与逻辑形式错误是有区别的,逻辑错误经常表现为没有逻辑因果,用辩证法、阴谋论和统计归纳替代因果演.
什么是拉宾-斯科特定理?
拉宾-斯科特定理(Rabin-Scott theorem )是数学上最深刻的数学结果之一。拉宾-斯科特定理是人们最喜欢的计算机科学概念之一。当正确理解拉宾-斯科特定理时,它会以一种相当基本的方式改变.
什么是数学基础?
集合论、范畴论和类型论三种中哪个是数学的基础?首先,我们希望找到数学基础的定义是什么?NG de Bruijn 做出了非凡的声明我们对“数学”这个词还没有一个可行的定义。(AUT001,第 4 页)如.
上海万圣节的“鬼符”
世上本无鬼,鬼是一个没有内容的符号,因为没有内容,它是形式的,类似数学符号、计算机语言符号。每个人都可以向这个符号里面加入自己的内容和理解,证明自己的存在和思考。上海万圣节的特点是cosplay这个内.
语言模型和人类的推理都依赖内容
人类不太擅长逻辑,需要依赖内容直觉进行推理。许多认知研究表明,人类的推理并不是完全抽象的(不是完全的形式与内容分离)。相反,我们的推理取决于问题的内容: 当内容支持逻辑推理时,我们回答得更准确, 当内.
幽默:学习数学有用吗?
数学家陶哲轩在形式证明帮助下发现论文中错误
数学家陶哲轩在Lean4形式化证明时发现已发表论文中的错误:陶哲轩在用Lean4发现了一个小错误:论文论证中出现的表达式 12logn-1n-k-1 在 n=3,k=2 的情况下实际上是发散的。幸运的.
什么是实用主义?
实用主义是美国哲学中最有影响力的哲学运动。其最基本的原则是实用方法,即在方法论上优先考虑实际后果。实用主义是一种“一切皆有可能”的哲学,即只要有实际利益,就可以接受某件事并视为“真实”,并且“好的。”.
思想本身就是一种语言的涌现?
萨皮尔-沃尔夫假说(Sapir-Whorf hypothesis)认为,一种语言的结构和词汇可以塑造语言使用者对世界的感知和概念。前苏联心理学家列夫-维果茨基(Lev Vygotsky)认为,虽然思维.
幽默:当开始用新语言编码时
ChatGPT将方程公式转换为Python函数
生物学设计模式
设计模式是经常出现的问题的通用解决方案。它们最初是由建筑师和计算机科学家开发的,旨在为他们的设计创建更高层次的抽象。在这里,我们将这些概念扩展到细胞生物学,以便为细胞底层反应网络的进化设计提供新的视角.
什么是Context上下文?
数学证明和计算机程序等同
数学证明可以表示为计算机程序,反之亦然。这种对应关系被称为库里-霍华德同构,它在逻辑和计算机科学的概念之间建立了等价关系。逻辑中的命题相当于编程中的类型,证明相当于程序。具体来说,证明一个陈述为真可以.
形式化验证和 TLA+ 入门
这篇文章的目的是让读者了解: 为什么存在形式化方法以及为什么这些方法在分布式系统领域特别重要。 TLA+ 简介,包括它如何表示数据和时间的概念模型。 从这里开始,您应该能够阅读 TLA+ 上的更多高级.
大语言模型中的符号调整
作为人工智能从业者,我们都希望语言模型能够像人类一样适应和学习。但我们目前的 LLM 却做不到这一点--它们过于依赖已有的知识和硬编码的提示。这让我们不得不不断调整提示和脚手架任务,给模型喂食。为了让.
大语言模型有内在的世界模型吗?
大语言模型 (LLM) 具体原理是什么?人们还在探究之中:大语言模型 (LLM)不仅仅是傻傻的下一个词预测者,它们还是有自己的的内在世界观模型,这篇新论文揭示了大语言模型的内在三观模型:此类系统是否只.
组装理论:融合了物理学和生物学的新领域语言
发表在《自然杂志》组装理论的目标是发展对复杂物质演化的新理解,组装理论提供了一个新的框架来理解选择和进化,融合了物理学和生物学。它不是将物体重新定义为粒子,而是通过它们的形成历史(事件溯源)来重新定义.
现代逻辑学五位先驱
"每一位优秀的数学家至少有一半是哲学家,而每一位优秀的哲学家至少有一半是数学家"。-- 戈特洛布-弗雷格人类历史上最具影响力的 5 位逻辑学家:1) 亚里士多德他可以说是有史以来最伟大的逻辑学家和最有.
DeepMind《语言建模就是压缩》论文分析
DeepMind 的一篇新论文显示,LLM 在文本、图像和音频等不同模式的数据集上实现了最先进的压缩率。LLMs 是如何压缩数据的?它们又为何如此出色?让我们来了解和讨论论文中的结果。论文基于预测等同.
逻辑和算术运算符的符号起源
在计算机科学中,逻辑运算符和算术运算符中的符号是如何产生的?加运算符和减运算符的符号是合理的,但乘除运算符 * 和 / 是如何选择的?同样,为什么 && 和 || 用于逻辑 AND 和 OR 运算?答.
AlphaFold是药物发现的下一个重大事件?
人工智能在科学上永远存在的问题是,涌现的现象通常不能被推断出来,而是必须在实验室中想象出来并进行测试。 人工智能可以凭直觉找到最有希望的路径,但它无法预测现实中存在的混乱。预测蛋白质结构的人工智能工具.
SQL作为声明性语言的缺点
Boolformer简短介绍
虽然传统深度神经网络等机器学习技术在感知任务上取得了显著的成功,但在逻辑和推理问题上的表现仍然有限。这成为开发透明、可信的人工智能的一大障碍。本文介绍的新 Boolformer 模型为符号逻辑任务提供.
什么是概念模型?
来自brcommunity的文章:在很多情况下,对某些业务或组织中的概念进行形式(formal)表述是很有帮助的。这种形式的表述被称为概念模型。在本文中,Mike Bennett 将讨论概念模型在业务.
Java中检测字符串是否为空的三种方法
下面是几个测试字符串是否为空示例:1、使用 equals 方法只需在空字符串字面调用 equals() 方法,并传递您要测试的对象即可,如下所示:String nullString = null;St.
形式化的意识理论并非 "伪科学"
昨天,一百多位科学家,其中不乏杰出的甚至世界闻名的科学家,首次发表了一封签名信,宣称最流行的意识科学理论之一是 "伪科学"。这封信的矛头直指综合信息理论(IIT)。这封信很短,只有短短几段,署名人数比.
CatalaLang/catala:法律规范的编程语言
Catala:一种从立法文本中导出算法的语言。 Catala 是一种特定于领域的语言,用于从立法文本中派生算法。它允许在高度保证法典忠实性的情况下实施社会财政机制。该语言是与法律专业人士合作设计的,模.
Java 21模式匹配标志Java正式支持函数式编程
来自WSCP 的博客:Java 21 将于 2023 年 9 月 19 日发布,支持 switch 块和表达式中的记录模式。这种语法是具有里程碑意义的,它标志着 Java 可以被认为以类似于 Kotl.