#形式逻辑

      更多分类

面向对象与函数式编程的区别: 动词-名词与名词-动词的区别 - simblob

19-10-17 61 1 banq

我的主要主题是研究如何将函数性编程语言和面向对象的编程语言结合在一起。我当时注意到的是,函数语言的语法倾向于动词,然后是名词,如f(x),而面向对象语言的语法倾向于是名词,然后是动词,如:x.f()... 详细

第一性原则:伊隆·马斯克(Elon Musk)论自我思考的力量 - jamesclear

19-09-28 244 7 banq

第一原理思考(有时被称为第一原理推理)是可以用来分解复杂问题并生成原始解决方案的最有效策略之一。这也可能是自己如何进行创新思考的最佳方法。 第一原理方法已被许多伟大的思想家所采用,包括发明家约翰内斯... 详细

思想止于语言?语言只是思想的脚手架 - Nautilus

19-09-28 68 banq

一旦掌握了语言,我们就可以摆脱语言的困扰。 您能想象没有语言 的 头脑吗?如果您缺乏言语来帮助构建自己的经历,您是否可以思考,计划或与他人建立联系? 许多伟大的思想家在语言和思维之间建立了紧密的联系... 详细

注意科学与宗教之间的差距:相信一个无所不能的程序员不是科学 - Sabine Hossenfelder

19-09-19 53 banq

Sabine Hossenfelder是 法兰克福高等 研究院的研究员    ,她从事物理学 研究 ,超越了标准模型,现象量子引力和广义相对论的修正。 如果你想更多地了解物理... 详细

计算机伪科学:人工智能的真正危险在于它将比我们更笨! - Edward Feser

19-09-15 47 banq

AI是计算机如何处理符号(符号形式),从键盘上的一类英文字母到更基本的,0和1的字符串,这些字母被编码。这些符号的含义并不是计算机所知道的。(banq注:形式与内容区别,人工智能更注重形式,而人类更... 详细

科技与上帝的类比:2019年的万神殿

19-07-28 86 banq

该文作者认为理性主义者只能设法杀死一个非常狭隘和拟人化的上帝观念,研究复杂系统的人开始使用新的词语来谈论类似神的现象,其实他们还是在谈论上帝,只是更适合世俗思想的隐喻,这些科学新词在真正实现之前,会... 详细

创新思维框架:第一原则思维 - Neil Kakkar

19-07-15 200 2 banq

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

类型是软件设计的基本工具

19-01-02 55 banq

本文来自tedinski,类型与函数哪个是设计基础?数据结构和算法是设计基础吗? 函数与类型的关系,打个比喻,有点像建筑师想要进行室内设计。并不是说房间的内部并不重要 - 一个糟糕的建筑师绝对可以创... 详细

柏拉图和面向对象编程

18-12-27 250 3 banq

面向对象编程代表了自计算机出现以来普遍存在的传统编程方法的范式转变。虽然今天的计算机科学家是很聪明的人,但从柏拉图的留下的对话著作中我们不难发现,实际上支持面向对象编程的内在概念已有近2500年的历... 详细

分类思维

18-12-25 201 banq

这篇文章的灵感来自 斯坦福大学教授罗伯特·萨波尔斯基(Robert Sapolsky)的讲座,该讲座 略过了一些分类思维的观点。我发现了解软件开发的某些方面很有帮助。 什么是类别? 分类思维... 详细

DDD聚合五种设计方法

18-12-24 2 1194 3 banq

聚合是啥?聚合就是整体与部分的组合,这里推荐一篇Szymon Kulec英文文档,点击标题进入后可获得实现聚合的五种规则,该文档大意翻译如下: 我第一次阅读领域驱动设计(DDD)的蓝皮书时,它改变了... 详细

Java 8谓词链

18-12-21 98 banq

在本快速教程中,我们将讨论在Java 8中谓词链Predicates的不同方法。 让我们看看如何使用简单的谓词来过滤名称列表: @Test public void whenFi... 详细

消极架构

18-12-18 1 513 4 banq

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

你忘掉OOP的速度越快,你和你的软件就越好

18-11-26 527 1 banq

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

逻辑的公理是什么?

18-11-17 116 banq

几何有公理,五条欧式几何公理 1.直线公理。 2.线段(有限直线)可以任意地延长。 3.以任一点为圆心、任意长为半径,可作一圆(圆公理)。 4.凡是直角都相等(角公理)。 5.两直线被第三条直线所截... 详细

共有 371 2 3 下一页