由于KurtGödel发现了可预测的限制

数学困惑：KurtGödel（图片在1935年向他展示）图片：图片联盟

关于开创性的性能，曾经撕裂了数学 - 并最终建立了理论计算机科学。客人贡献。

今年，我们庆祝KurtGödel的突破性工作成立90周年，其成立了1931年的现代理论计算机科学和人工智能理论（AI）。戈德尔通过学术界派遣冲击波，因为他展示了计算的基本限制，ki，逻辑和数学本身。这对20世纪的科学和哲学产生了巨大影响。

出生于布尔诺（现在布尔诺），戈德尔在他在维也纳工作时，戈德尔为25岁。在他的研究过程中，他设计了一种通用语言来编码任意可编程的过程。它基于整数，允许描绘两个数据，例如基本房地产的公理和可提供的教学集（定理）以及程序，例如在数据上的演变行。特别是，它允许以公理形式正式地形成任何数字计算机的行为。 Gödel构建着名，自我相关，失业的正式陈述，意味着您的真实内容不是由发票确定的。

因此，他最终确定了算法定理提供，计算和任何类型的计算ki的基本限制。有些人甚至误解了他的结果，并认为他已经表明，男人优于ki。事实上，四十年代早期的千年早期的一大部分九十世纪次处理了戈德尔风格的定理升迁和扣除（与当今主导机械工程的归纳方法相比）。通过决定性的专家系统成功地成功地支持人类专家。

就像几乎所有伟大的科学家都站在别人的肩膀上。他从1891年（这表明有不同的Infinity各种各样的不同品种）的Georg颂扬的对角线诀窍来自Gottlob Frege的基本洞察力，他于1879年介绍了第一位正规语言，以及在1923年推出的职能主要递归的Thoralf Skolem。 （这些是可计算的基本构建块），以及雅克赫兰德，他认识到Skolem方法的界限。为他们，这些工作扩大了突破性的想法，该想法已经是普通学者和“第一台计算机科学家”Gottfried Wilhelm Leibniz。

莱布尼兹“计算！”是一个不断的启蒙的报价：“哲学家之间会有一个争议，因此他们不再需要作为会计师争论。他们只需要坐在铅笔和板岩面板上，互相说：让我们期待！“1931年，戈德尔表明，有什么至关重要的基本限制。

1935年，Alonzo Church领导了戈德尔的必然结果：决策问题没有一般的解决方案。为此，他使用了他的替代普通语言，称为无型Lambda微积分，这构成了有影响力的编程语言Lisp的基础。 1936年，Alan Turing介绍了另一种通用模型：图灵机​​。他再次管理上面提到的结果。同年，1936年EMIL POST公布了另一种独立的普遍模型的计算。今天我们知道很多这样的模型。然而，据称，它是突然工作，使戈德尔从他自己的方法的普遍性中信服。

许多戈德尔的命令序列是用整数的编码存储设施乘法键。戈德尔并不关心这种乘法的计算复杂性往往会随着记忆大小而增加。同样，教会还忽略了其算法的基本操作的上下文依赖性房间复杂度 - 计算工作必须操作以执行某种操作，并不限制开始。

伊朗处于经济危机深处。要完成，这需要一个新的总统 - 特别是原子协议，没有制裁。

电晕疫苗只有47％的初步疗效。 Curevac希望继续研究，直到他们与其他电晕案件的最终评估。

气候保护是一场选举活动，但只有它尽可能少的费用。 CO2价格如何增加社会可接受？

气候保护是一场选举活动，但只有它尽可能少的费用。 CO2价格如何增加社会可接受？

为什么Ey的审计师已经在WIRECARD中发现了这么长时间的骗局？现在新老板谈到了世纪丑闻。

在匈牙利半场前不久，令人惊讶的是领导力。 但在变革之后，法国开启了。 首先在帖子上射门，然后在门口。 游戏再次开放。 在Live Tickacter中遵循游戏。 在党大会的开始时，联合主席Hennig-Wellsow试图让左右持有左右持有的左右勇气。 但下一个争吵不应该很长。 最后，必须采用计划。 总是最新的你有帖子！ 订阅我们的FAZ.NET通讯，我们将最重要的新闻直接交给您的邮箱。 出错了。 请再试一次。 感谢您对F.a.z.-Newsletter的兴趣。 您将在几分钟内收到一封电子邮件，以确认您的时事通讯订单。