数学影像馆

视频目录 / 数学逻辑、集合与证明

热度排名 #1887

从哥德尔定理到机器思维的争论

The Gödel Problem: A Mathematical Argument Against AI Thought - The Mind and the Machine: Episode 7

这集用不完备性定理讨论机器思维。可把节目对形式系统所需条件的陈述记在一栏,再把有关人和机器的判断记在另一栏,核对后半段还引入了哪些哲学前提。

Thomas Aquinas College · 1 串讨论 · 热度 1.418

打开原视频 ↗浏览数学逻辑、集合与证明

讨论出处