符号推理与形式逻辑

特斯拉创始人马斯克使用第一原则思考从零开始设计廉价火箭，并同时 也彻底改变了电动汽车行业。第一原则是一个基本的，基础的，不言而喻的命题或假设，不能从任何其他命题或假设推导出来。在数学和逻辑学中，第一原则是一个

这篇文章的灵感来自斯坦福大学教授罗伯特·萨波尔斯基（Robert Sapolsky）的讲座，该讲座略过了一些分类思维的观点。我发现了解

几何有公理，五条欧式几何公理1.直线公理。2.线段(有限直线)可以任意地延长。3.以任一点为圆心、任意长为半径，可作一圆(圆公理)。4.凡是直角都相等(角公理)。5.两直线被第三条直线所截，如果同侧两内角和小于两个直角， 则两直线作会在该侧相交。

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

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

面向对象编程代表了自计算机出现以来普遍存在的传统编程方法的范式转变。虽然今天的计算机科学家是很聪明的人，但从柏拉图的留下的对话著作中我们不难发现，实际上支持面向对象编程的内在概念已有近2500年的历史了！现在，面向对象编程（OOP）的架构师是否意识到这些先前的概念还不能肯定，然而，柏

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

在本快速教程中，我们将讨论在Java 8中谓词链Predicates的不同方法。让我们看看如何使用简单的谓词来过滤名称列表：

我们经常遇到这个问题。我们选择在大多数时候忽略它们。但这到底是什么意思呢。他们俩都不一样吗？嗯......不太好。让我们明白为什么。语法：语法告诉您可以编写的内容。语义：语义告诉你你到

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

软件更像是科学而不是数学。数学表达式是可证明的，科学理论只是可表明的。数学是演绎的。科学是经验的，软件也是经验的。我们可表明，但不证明正确性。 Software is more like science than mathematics. Math

这是来自Michael Feathers的一篇著名文章，Negative Architecture消极架构已经被广泛传播。下面结合中国老子思想解释与翻译如下，从“无与有”角度理解“架构不做什么”反而是更好的选择：

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

也许这只是我的经验，但面向对象编程似乎是一种默认的，最常见的软件工程范例。我花了好几年才打破它的咒语，并清楚地了解它是多么可怕和为什么。由于这种观点，我坚信人们必须了解OOP的错误，以及他们应该做些什么。 数据比代码更重要<

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

本文来自tedinski，类型与函数哪个是设计基础？数据结构和算法是设计基础吗？函数与类型的关系，打个比喻，有点像建筑师想要进行室内设计。并不是说房间的内部并不重要 - 一个糟糕的建筑师绝对可以创造人类无用的房间 - 但那不是重要的部分。家具可以重新布置，承重墙不能。我们可以