Wolfram物理项目:
一年更新

即将到来的转播画面

Wolfram物理项目:一年更新Wolfram物理项目:一年更新

进展得怎样?

当我们推出Wolfram物理项目一年前的今天,我相当确定——让我大吃一惊的是——我们终于18l18luck新利 .一年后,情况变得更好了。我们对我们的模型的结构和含义的理解越来越多,它们继续完美地符合我们已经了解的物理知识,特别是与一些最优雅的现有方法相联系,加强和扩展它们,并让开发它们的社区参与进来。

如果基础物理学还不够,那么很明显,我们的模型和形式主义甚至可以应用于物理学以外的领域——为其他几个领域提供了重要的新方法,并允许这些领域的想法和直觉用于理解物理学。

不用说,还有许多艰苦的工作要做。但经过一年的努力,我完全确定我们正在“攀登正确的山峰”。从我们目前所处的位置望去,景色已经相当壮观了。继续阅读

更接近找到摩西的命运Schönfinkel, combinator的发明者

更接近找到摩西的命运Schönfinkel, combinator的发明者

对于有记载的思想史上的大多数重大思想,人们都可以回答这样一个问题:“发明它的人后来怎么样了?”但去年年底我想为摩西回答这个问题Schönfinkel他为一个可能是上个世纪最伟大的想法埋下了种子:抽象计算及其普遍性

我设法找到了很多关于摩西的信息Schönfinkel。但我不知道他后来怎么样了。但我还是继续挖掘。结果我发现了更多。这里有一个更新....继续阅读

意识是什么?我们物理项目的一些新观点

意识是什么?——视觉摘要点击放大

“意识呢?”

多年来,我一直在打击它。我要谈谈我的计算宇宙中的发现,计算不可约性,我的计算等价原理,人们会问:“那么意识是什么意思?”我会说"这是个难以捉摸的话题"我会开始讲生命,智慧,意识的顺序。

我会问“这是什么。生命的抽象定义“我们知道地球上生命的情况,包括所有的RNA、蛋白质和其他细节。但我们如何推广呢?生命一般是什么?我想说的是,这其实只是计算的复杂性,根据计算等价原理,这种情况随处可见。然后我会讲情报.我认为这是一样的。我们知道人类智慧的例子。但如果我们把它一般化,它只是计算上的复杂——而且它无处不在。所以说"天气有它自己的思想”;它只是一种思想,其细节和“目的”与我们现有的人类经验不一致。继续阅读

百年之后,我们终于可以破解Post的标签问题了吗?一个关于计算不可约性的故事,等等

“(尽管)付出了相当大的努力……(事实证明)棘手”

在20世纪早期,似乎只要找到正确的方法,所有的数学问题就能以某种方式系统地解决。1910年怀特海德罗素发表了他们不朽的数学原理(相当尴尬地)展示了各种各样的数学可以用逻辑来表示吗.但埃米尔的帖子想要更进一步。在现在看来是一个相当现代的想法(与核心结构有某些相似之处)Wolfram语言,非常像弦多路系统在我们的物理项目),他想表现的逻辑表达数学原理作为字符串的字符,然后有可能的操作对应于这些字符串的转换。

1920年夏天,一切进展顺利,埃米尔·波斯特作为一名刚从哥伦比亚大学毕业的数学博士来到普林斯顿,接受一项很有声望的奖学金。但还有最后一个问题。将所有内容都转换为字符串转换之后,Post需要有一个关于这种转换可以做什么的理论。继续阅读

多路图灵机

多年来,我一直在研究最简单的一般的图灵机,但我几乎没有研究过多路图灵机(也称为非确定性图灵机或ndtm)。最近,我意识到多路图灵机可以被认为是并行计算和我们思考量子力学的方式的“最大最小”模型物理项目.所以现在这篇文章是我尝试对多路图灵机进行“明显的探索”。正如我在计算领域中经常出现,即使是一些非常简单的可能规则,也会产生一些重大惊喜....

普通图灵机与多路图灵机

一个普通的图灵机有一个规则如

RulePlot
& # 10005

RulePlot [TuringMachine [2506]]

它为系统的每个配置指定一个唯一的后续配置(在这里)所示从空白纸带的初始条件开始往下看):

RulePlot
& # 10005

RulePlot[TuringMachine[2506], {{1,6}, Table[0,10]}, 20, Mesh -> True, Frame -> False]

继续阅读

launch Version 12.2 of Wolfram Language & Mathematica: 228 New Functions and Much More…

但比以往任何时候都要大

当我们释放版本12.1在今年三月,我很高兴能够说,与它182年新功能这是我们有史以来最大的一次发布。1。但仅仅9个月后,我们就有了一个更大的。1版本!今天发布的版本12.2,有228种全新的功能

launch Version 12.2 of Wolfram Language & Mathematica: 228 New Functions and Much More…
继续阅读

combinator从何而来?狩猎摩西的故事Schönfinkel

1920年12月7日

combinator从何而来?狩猎摩西的故事Schönfinkel-click放大

1920年12月7日,星期二,Göttingen数学学会召开了每周一次的例会,会上一位32岁的本地数学家摩西Schönfinkel发表了题为《逻辑的基本原理》的演讲,他之前从未发表过任何数学著作。新利18官网客服

一百年后,在那次演讲中所呈现的内容在许多方面仍然显得陌生和未来主义,而且对大多数人来说几乎是不可简化的抽象。但我们现在意识到,这个演讲给了第一个完整的形式主义,这可能是上个世纪最重要的想法:通用计算思想继续阅读

组合者和计算的故事

事物的抽象表征

一些脚注可能会说,“原则上你可以使用组合符。”但这句话的意思往往是“但你可能不想这么做。”是的,组合符非常抽象,在很多方面都很难理解。但是追溯它们被发明以来的几百年的历史,我已经意识到它们实际上对我们现代计算概念的发展是多么重要——事实上,我自己也对它做出了贡献。继续阅读

Baidu