符号推理与形式逻辑

上下文感知的英文是：Contextual Awareness；态势感知或称情境感知的英文是：Situational Awareness。情境Situational或事件发生在一个上下文中，这个上下文即与实际事件相关的周围事实。意识到一个事件有上下文被称为上下文感知/上下文意识（Con

程序编程调试是最好训练培养一个人逻辑推理能力的方法，没有之一。数学推理过于严谨，人性化不足，普及性不够，想通过数学普及提升普通人逻辑能力，容易引起抵触，数学存在天赋论之说

当你不需要权衡选择时，你才不需要系统思考！当心老年痴呆：）系统思维技巧：每当您创建两个事物的二元分类（属于一级思维）时，问问您自己：如何再创建第三个是这两者协同作用的产物 ，用综合思维合并你的二元分类，这样就会出现第三个新类别（属于

人们曾经认为人生学习的第一种编程语言很重要，但是现在上下文情况完全不同了，人们不必一定要学习数学以后才开始学习编程，而是可以直接从学习编程语言开始。学习数学可以成为更好的程序员，但是学习编程的大多数人都不想成为更好的程序员，专业程序员和计算机科学家只是其中的一小部分，而且计算机科学专业CS毕

法律是现代社会的基础，编纂和管理公民日常生活的许多方面。通常，法律在各个法院和司法管辖区都受到解释、辩论和质疑。但在其他一些领域，法律几乎没有解释的余地，其实质目的是严格描述计算、决策程序，或简单地说，就是算法。（banq：法律也是一种遵循逻辑的语言体系）但是法律由于缺乏真正形式逻辑

这是来自nautil.us的《试图用逻辑救赎世界的人》的大意翻译，标题用大白话说：试图用逻辑改变世界的人，之所以用救赎而不是改变，很显然“改变”一词有一些自居上帝的味道，而“救赎”一词更低调谦逊，但是“改变”一词更吸引眼球。麦卡洛克 (McCulloch) 与皮茨 (Pitts) 创

这个想法来自于抖音的一个小视频：什么是英语思维（点击标题）。中文：汤姆应该是一等奖，按照中文思维翻译成英语是：Tom should be the first prize；而按照英语思维，使用物语Object作为主语：The first prize should go to Tom.这

斯坦福和哈佛象牙塔中的教授们已经跟不上计算机发展形势，但是他们的文凭是敲门砖，这是人类社会系统奇怪特征，这是来自thenewstack文章，现在有两种正反观点，传统观点是认为第一门编程语言学习什么很重要，而另外一种相反观点认为这不重要，那已经是过去信念了。前一种观点以斯坦福和哈佛为主要的传统

相关性不代表因果关系，但是没有相关肯定没有因果吗？诺贝尔奖获得者卡尼曼也有范常识错误的时候：《思考，快和慢》是由诺贝尔经济学奖获得者丹尼尔·卡尼曼（Daniel Kahneman）于2011年出版的畅销书。主要论点是两种思维方式

软件工程师的工作不是编写代码，而是解决问题；我们可通过生成代码解决了大部分问题。但是最终，生成代码也很困难，我们需要帮助。这就是为什么 GitHub 的Copilot

黑客新闻中有趣的反复出现的主题之一是可视化编程。这是我真正欣赏 Hacker News 的事情之一。大多数领域都存在

类比、隐喻、比喻、类比虽然让人更容易理解，但是也是最危险的思维方式，故马斯克提出使用第一性思维替代他们，本文式DDD专家mathiasverraes的一篇文章，也是谈论这种启发性(heuristic)思维的特点，适合渐进式创新思维，这与第一性思维的颠覆性创新思维是不同的，日常生活可能更需要渐

计算机科学与计算机无关，就像天文学与望远镜无关一样。生物学与显微镜无关，计算机科学与计算机无关。“计算机科学”是一个可怕的名字。天文学不叫“望远镜科学”，生物学不叫“显微镜科学”。这句话归功于荷兰计算机科学家 Edsger W. Dijkstra。计算机科学是

形式方法Formal-Methods是一个非常有趣和重要的领域，但不是程序员熟悉的领域，这会导致很多误解。这是试图解决其中的一些问题。免责声明，我专注于其中几个工具，但相信我对其余工具足够熟悉，可以准确地呈现它们。 1.形式方法FM是关于证明代码正确