Dojo
话题
新佳
订阅
极道
元认知
元逻辑
元设计
元编程
元语言
符号推理与形式逻辑
常见的让人大吃一惊的八种逻辑谬论 - markmanson
逻辑谬论在我们的日常生活中非常普遍。这是我们所有人都会遭受最坏情况的原因。 1.相关关系不是因果关系仅仅因为两件事经常一起发生并不意味着一件事导致了另一件事。您经常会看到一些
一阶逻辑是什么? | baeldung
在本教程中,我们将研究一阶逻辑的基础,并习惯其理论和概念基础。首先,我们将研究自然语言和形式语言之间的关系。随后,我们将一阶逻辑与命题逻辑进行比较。这样,我们将学习前者具有的特定特征,以及何时使用后者优于后者。最后,我们将研究一阶结构的符号和语法。这将使我们能够将自然语言中的
什么是数学? 数学是属于客观发现还是主观创造?数学竟然类似小说? - smithsonianmag
一名少年在TikTok上问了一个古老的问题,引起了病毒性的强烈反对,然后进行了深思熟虑的科学辩论。究竟什么是数学?它属于
简单介绍GPT-3背后的Transformer概念和NLP世界 - towardsdatascience
GPT-3是深度学习NLP模型家族的最新成员,并且可以说是功能最强大的成员,涵括NLP领域的发展成就:其中包括Transformer(2017),BERT(2018),GPT系列(2018、2019、2020)和T5(2019)。基于这些成就研究团体发展了更多变体和改进,在许多NLP基准任务
DDD和OO是有区别的:抽象名称选择很重要?主语语法遮蔽了真理 - macerub
为你的抽象选择合适的名称很重要。如果名称不好,那么我们的设计将很难重复使用。例如,假设我们要设计一个可以关闭/打开灯的开关。您认为该接口的好名字是什么?
什么是模型? 人工智能建模和人脑分析建模的异同点 - towardsdatascience
“模型”术语引起了很多争议。这个词到处都是意义不清的地方。在维基百科页面显示了各种使用,包括统计数据,天文学,生物学,产品设计,艺术,以及概念模型。<
一位程序员用编程语言Lisp证明了过去用数学语言证明过的哥德尔不完备定理
该文使用编程语言重新实现了当年哥德尔用数学语言证明的不完备定律。1+1=2是公理,那么公理可以证明吗?哥德尔说不可以,数学不能用自己来证明自己的公理。同样适合编程领域,有一些真理,您永远无法写下来作为算法。算法也不是万能的。 在过去的
编程是更像数学还是人类语言?- MIT News
关于大脑如何学习编码,存在两种思想流派。有人认为,要精通编程,就必须精通数学;另一个建议认为,由于编码和语言之间的相似性,语言技能可能更相关。在某些方面,学习计算机编程与学习新语言相似。它需要学习新的符号和术语,必须正确组织这些符号和术语以指导计算机执行操作。计算机代码还必须足够清晰,以便其
人工智能与脑机接口不断突破,人类还需要学习吗?人的理解胜于知识! -Swizec
随着马斯克的系列创新突破,OpenAPI的GPT-3是人工智能历史上最大的飞跃,未来可以通过脑机接口增强人类的智能,在这种情况下,人类是否失去自我?变成被控制的机器人呢?这篇文章(点击标题)认为人的理解胜于知识,人工智能可以帮助人类对知识的理解,但是无法替代人类的创新性理解。
使用思维模型做出明智决策的一些最佳方法总结 - fsblog
本指南探讨了您需要有关思维模型/心智模型(Mental Models)的所有知识。以能够思考得更好、犯更少的错误并获得更好的结果。 什么是思维模型?思维模型/心智模型是我们了解世界的方式。它们不仅影响我们的想法和理解方式,而且影响我们
Graphtage:一种新的语义区分工具
Graphtage是一个命令行实用程序和基础库,用于语义上比较和合并树状结构,例如JSON,JSON5,XML,HTML,YAML和TOML文件。它的名字是“图形”和“嫁接”的Portmanteau(即园艺实践,将两棵树连在一起,使它们长成一棵)。Graphtage可让您快速轻松
为计算机发明奠定基础的《思想法则》出版150周年:什么是布尔逻辑/布尔代数? - maa
这本书为一个世纪后的计算机发明奠定了基础,乔治·布尔(George Boole)的《思想法则》(The Laws of Thought)于1854年首次出版。使用术语“布尔逻辑”或“布尔代数”表示使用“与”,“或”和“非”运算的思想组合,以及我们使用术语“布尔搜索”表示涉及键组
人工智能中数据、信息和知识的区别? | baeldung
用于开发AI系统的传统体系结构涉及数据,信息和知识之间的区别,以及它们随后的层次结构排列:
GPT-3至少类似于一个人的创造性思维能力 - perceptions
GPT-3是一种范式转变。它可能无法处理某些逻辑任务,也不能处理某些会话任务。但这是朝正确方向迈出的一步。它至少类似于一个人的创造性思维能力。GPT-3还是一个巨大的范式转变,我确实认为它应该使很多人兴奋。它使我们可以事半功倍。像这样的技术开辟了一条新的道路。
人工智能GPT-3最近被玩坏了,关于上下文AI模型GPT3的快速思考 - Delian
OpenAI是由Elon Musk,Sam Altman,Greg Brockman和ML的其他一些领导者创立的AI研究基金会创建的API和网站,人们可以访问名为GP
区块链中的信任模型 - vitalik
许多区块链应用程序最有价值的特性之一就是不信任:应用程序以预期的方式持续运行:无需依赖特定的参与者以特定的方式行事,即使他们的利益可能改变并推动他们采取行动将来以某种不同的意外方式。区块链应用程序永远不会完全不可信,但是某些应用程序比其他应用程序更接近不可信。如果我们想朝着使信任度最
BPMN-L是用于流程格局实现BPMN建模的扩展 -ScienceDirect
当前流程格局图(Process landscape diagrams)是通过定义组织业务流程之间的范围和关系来表示流程体系结构的总体部分。他们通过利用视觉符号的好处来促进意识和与流程相关的交流。但是,与当今流行BPMN的业务流程图相反,流程格局图缺乏标准化。因此,我们努力的主要目标是
您不需要成为数学家就可以掌握量子计算 - Frank Zickert
数学并不是我们唯一的精确语言。我们拥有与数学公式一样精确的语言:如今,这些语言对许多人来说几乎是自然的,这些语言就是编程语言。我的意思不是特定编程语言的语法。相反,我指的是一种思维方式,几乎所有编程语言都共享。从Python到Java,从Javascript到Ruby,甚至从C到Co
上页
下页