直觉与逻辑的碰撞:黎曼与黎曼猜想的诞生
1838年,狄利克雷33岁时证明了费马直觉的正确性,在数论历史上写下了浓墨重彩的一笔。他融合了数学上一些看似不相关的领域的观点。欧几里得曾经利用简单的逻辑推理巧妙地证明了存在无穷多个素数。与之不同的是,狄利克雷利用了欧拉时代数学领域出现的一个复杂函数。它叫作ζ函数,用希腊字母ζ表示。欧拉重写公式...
什么是逻辑思维,直觉思维和抽象思维?
逻辑思维是一种分析思维,而直觉思维、抽象思维是一种综合思维,是人脑把握不确定,非线性,大范围,多尺度模式的一种能力。逻辑思维是一种分析思维,它涉及到运用逻辑原则和推理来解决问题。逻辑思维强调的是严密的推理和顺序思考,通过分析问题的各个组成部分和他们之间的关系,来得出结论或解决问题。逻辑思维之所以被认为是...
直觉与逻辑的斗争,一起来读《思考·快与慢》
(一)系统1与系统2系统1是快速、直觉的思考方式,它依赖于启发式和认知偏差,而系统2则是慢速、逻辑的思考方式,需要更多的注意力和努力。例子:在紧急情况下,如突然遇到一只横穿马路的小狗,我们会本能地踩刹车(系统1),而不是先思考这只狗从哪来,撞上会有什么后果等(系统2)。(二)认知偏差人们在判...
韩旭至|生成式人工智能治理的逻辑更新与路径优化——以人机关系为...
用户可以使用自然语言设置提示词(prompt),直接、便捷地与计算机进行交互,人机协同进行数字内容生产;同时,每一次交互又将作用于大模型的改进,形成了人机共生的关系。在这种新型关系中,人机交互方式“从以机器为中心转向以人为中心”,“打破了人、机器与信息资源之间的边界,重塑了信息资源生成和使用范式”。与传统的人工...
原创: 重构证据定义以消解贝叶斯确证逻辑的内在矛盾
上式中P[(H├e)/H]/P(H├e)是e与H的逻辑关系H├e对H的确证。在H├e为真的条件下,P[e/(H├e)∧H]=P[e/H]=1,P[e/(H├e)∧H]/P[e/(H├e)]=1/P[e/(H├e)]就是e在H├e完成对H的确证之后,对H的确证,假说演绎法确证成为贝叶斯确证逻辑在前提条件H├e下的特例。
数学逻辑和计算机程序代码之间的深层联系:互为镜像
柯里-霍华德对应(Curry-Howardcorrespondence)也是一样,并且它关联的不仅仅是一个领域中的两个不同概念,而是两个完整的学科:计算机科学和数学逻辑(www.e993.com)2024年7月31日。这种对应关系也被称为柯里-霍华德同构(Curry-Howardisomorphism,同构是指两个事物之间存在某种一一对应关系),其为数学证明和计算机程序建立了某种关联。
王浩︱生物学的形式与直觉
王浩︱生物学的形式与直觉江青序:忆老友王浩1983年7月3日在斯德哥尔摩举办了第九届国际血栓和止血学会会议(TheNinthInternationalCongressofThrombosisandHemostasis),我的先生比雷尔(BirgerBlomback)担任会议主席,邀请王浩先生致开幕演讲。王浩是享誉国际的数理逻辑学家、计算机科学家、哲学家,中国西南联大...
《直觉与理由》:实验语言哲学的转向与未来
因为逻辑推理也是一种规则。不同民族的推理方式、思维方式是不太一样的。我最初的动机是回应在二十世纪初期的文化比较。当时民主与科学思潮进入中国,很多儒家的代表人物讲中西文化差异,中国人重直觉,西方人重推理,这些话都是很宏观的说法,没有得到验证。一百年之后,我们有了实验手段,有了神经科学、认知科学,我们就...
不再迷失在抽象中,学会通过具体问题发展编程逻辑思维
在学习编程或解决编程问题时,逻辑思维是一项关键技能。然而,很多人误以为逻辑思维仅仅涉及将复杂问题快速转化为抽象概念,而实际上,这个过程需要更多的经验、工具、方法和直觉。逻辑思维并不是一种天生就有的能力,而是需要通过不断的练习和学习来培养和提高的。
王沛然|从控制走向训导:通用人工智能的“直觉”与治理路径 | 东方...
(二)AGI的规制难点与应对方案对于具有逻辑确定性的符号主义人工智能而言,关键在于对代码编写者的权力进行控制,防止代码规则在转译现实时脱离蓝本。但AGI的决策路径不同,它不一定使用逻辑思考的方式,而是基于经验产生行动的直觉。思考可以很复杂,但往往条理清晰而得以解释;直觉可以很简单,但其支撑理由通常是一片混沌。这...