#形式逻辑

      更多分类

AI先驱人物Judea Pearl认为:制造真正的智能机器,必须教它们分析因果关系 - quantamagazine

20-01-28 106 1 banq

人工智能的先驱人物朱迪亚·珀尔(Judea Pearl)认为,人工智能已经陷入了长达数十年的困境。前进的处方是什么?教机器学会了解原因。 人工智能归功于Judea Pearl。在1980年代,他领导... 详细

面向对象的哲学源头与软件工业本质与未来趋势 – BradCox

19-12-21 867 1 banq

亚里斯多德以来,哲学家一直在与存在概念作斗争。为什么我们要研究观察我们在世界上看到的东西?这些事物是如何在那里的?有目的吗?它们会永远存在吗?我们是由与其他所有事物一样的东西构成的,还是我们拥有其他... 详细

如同控制的自动化一样,人工智能其实只是识别的自动化而已,按图索骥,人工智能和人类智能区别是卡通人物和真实人物的区别 - François Chollet

20-01-08 543 1 banq

神经网络库Keras的创建者,《 Python深度学习》的作者François Chollet认为:我们的领域并不完全是“人工智能”,而是“识别自动化”:是人类生成的抽象/行为/技能的可编码化和可操... 详细

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

19-10-17 896 2 banq

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

物理学在更高的维度上指引人工智能发展方向 - quantamagazine

20-01-10 490 1 banq

物理和机器学习具有基本的相似性,两个领域都涉及进行观测,然后建立模型来预测未来。这两个领域都寻求的模型并不局限于单个事物(banq注:类似面向对象建模中,根据个别对象特征建模为整个类class)。 ... 详细

区块链新算法:人类证明(Proof of Human:PoH) - santisiri

19-12-31 550 1 banq

santisiri在 @EFDevcon 讨论如何通过分散网络将人类形式化。这是一个多么复杂的问题,并概述了解决“人类证明”(PoH)问题的不同方法。 传统工作量证明(PoW)忽视了社会性,而股权证... 详细

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

19-09-28 1190 8 banq

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

罗素论哲学为何重要?哲学无法像科学带来物质利益,无法给出很多问题的答案,它的价值正是在于这种不确定性。 | Philosophy Break

19-10-21 852 3 banq

罗素是二十世纪的巨人。作为现代分析哲学的奠基人之一,他的工作对数学,逻辑,人工智能,认知科学和计算机科学产生了重大影响。⁣⁣ 罗素认为为什么人们通常对哲学持一种不屑一顾的态度是两个主要因素造成的。首... 详细

柏拉图和面向对象编程

18-12-27 342 3 banq

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

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

19-07-15 475 2 banq

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

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

19-09-28 193 banq

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

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

19-09-19 147 banq

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

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

19-09-15 134 banq

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

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

19-07-28 333 banq

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

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

19-01-02 102 banq

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

共有 431 2 3 下一页