符号推理与形式逻辑

亚里斯多德以来，哲学家一直在与存在概念作斗争。为什么我们要研究观察我们在世界上看到的东西？这些事物是如何在那里的？有目的吗？它们会永远存在吗？我们是由与其他所有事物一样的东西构成的，还是我们拥有其他物体所缺乏的仇恨或灵魂？1714年，戈特弗里德·莱布尼兹（Gottfried Leib

向上思考：计算机科学让你抽象出通用算法解决问题向下思考：软件工程让你结合当前上下文解决问题结果：程序员被逼疯了。  现实：工程派瞧不起科学派，科学派看不上工程派。

一旦掌握了语言，我们就可以摆脱语言的困扰。您能想象没有语言的头脑吗？如果您缺乏言语来帮助构建自己的经历，您是否可以思考，计划或与他人建立联系？许多伟大的思想家在语言和思维之间建立了紧密的联系。奥斯卡·王尔德（Oscar Wilde）将语言称为“是思想的父母而不是

罗素是二十世纪的巨人。作为现代分析哲学的奠基人之一，他的工作对数学，逻辑，人工智能，认知科学和计算机科学产生了重大影响。⁣⁣罗素认为为什么人们通常对哲学持一种不屑一顾的态度是两个主要因素造成的。首先，这是由于这样一个事实，即哲学没有像科学那样产生明显的物质利益；其次，这是因为哲学无法

santisiri在@EFDevcon讨论如何通过分散网络将人类形式化。这是一个多么复杂的问题，并概述了解决“人类证明”（PoH）问题的不同方法。传统工作量

该文作者认为理性主义者只能设法杀死一个非常狭隘和拟人化的上帝观念，研究复杂系统的人开始使用新的词语来谈论类似神的现象，其实他们还是在谈论上帝，只是更适合世俗思想的隐喻，这些科学新词在真正实现之前，会让具有科学头脑的人如同信上帝一样相信它们。让我们来看看2019年的万神殿，探索这七个“

我不会成为程序员的原因，因为我只是对数学问题没有兴趣。除了实用算法以外，我对算法没有任何兴趣。嗯 我的确对领域建模深有感触。我对领域建模深有深厚的感情，我与Eric Evans有类似的领域驱动型设计感觉。我喜欢与业务领域打交道。我喜欢找到正确的词。我喜欢将其分解，将主要模型分解，并将

哲学经常被科技界人士嘲笑。但是我喜欢哲学。我曾经做过的所有有价值的事情都完全贴在“哲学”的标签下。哲学是最有效，可行和实用的。 众说纷纭：作为数据科学家，逻辑和认识论都是日常工作。我认为我所拥有的哲学知识在我的生活的各个方面都是极其宝贵的。

神经网络库Keras的创建者，《 Python深度学习》的作者François Chollet认为：我们的领域并不完全是“人工智能”，而是“识别自动化”：是人类生成的抽象/行为/技能的可编码化和可操作化。“智能”标签是分类错误识别自动化可以通过对人类生成的规则进行明确的硬编码（GOF

当你思考是否“是A引起C”？然后您意识到是A导致B然后导致C”，然后又会想到“也许A和B引起C”，然后您看到一个模糊轮廓，并想知道这个隐藏的轮廓是否在A，B和C存在之前就已经存在了。 众说纷纭：系统思考无疑是改变生活的事情！

如果在会计财务性质的行业进行建模，这是会有一个稳定的统一语言；如果在市场行业建模，他们会发明一些新的概念，从而破坏你设计好的模型。 banq: 需要将可变从不变的结构中分离出来，这也是使用事件溯源的优点。

人工智能的先驱人物朱迪亚·珀尔（Judea Pearl）认为，人工智能已经陷入了长达数十年的困境。前进的处方是什么？教机器学会了解原因。人工智能归功于Judea Pearl。在1980年代，他领导了使机器能够进行概率推理的工作。现在，他是该领域最犀利的批评家之一。在他的最新著作《

物理和机器学习具有基本的相似性，两个领域都涉及进行观测，然后建立模型来预测未来。这两个领域都寻求的模型并不局限于单个事物(banq注：类似面向对象建模中，根据个别对象特征建模为整个类class)。 摘录几个要点，原文点击标题进入：等方差（或

我的主要主题是研究如何将函数性编程语言和面向对象的编程语言结合在一起。我当时注意到的是，函数语言的语法倾向于动词，然后是名词，如f(x)，而面向对象语言的语法倾向于是名词，然后是动词，如：x.f()。在某种程度上，这些可以被认为是等效的。您可以用一种表达等同于另一种表达。不过，两者在可用性存

Sabine Hossenfelder是法兰克福高等研究院的研究员   ，她从事物理学

AI是计算机如何处理符号(符号形式)，从键盘上的一类英文字母到更基本的，0和1的字符串，这些字母被编码。这些符号的含义并不是计算机所知道的。（banq注：形式与内容区别，人工智能更注重形式，而人类更注重内容，这两者结合起来才智慧，否则都很愚蠢）。