We're sunsetting PodQuest on 2025-07-28. Thank you for your support!
Export Podcast Subscriptions
D
David Deutsch
David Deutsch: 我认为，在没有AGI理论的情况下，证明关于AGI的任何事情在本质上是不可能的。你无法证明你无法定义的东西。证明是关于论证的，而不是关于AGI。我记得Popper没有说过任何关于AGI的事情。在过去，我们不谈论“证明”这个词。但你经常听到它被使用，好像它与我们对推测性知识或猜想的需要形成对比。如果某件事被证明了，难道我们不能把它刻在石头上，让它永远存在吗？对“证明”的需求是否高于我们推测性知识的其余部分？数学和其他领域的区别不在于我们如何找到关于它们的知识，而在于主题的质量。数学的主题质量是必要的真理。因此，当我们在数学中进行发明时，我们对什么是必要的真理进行推测。我们对我们定义的东西是必要的真理进行推测。但在我们的思维中，我们产生关于数学、计算机科学、心理学或物理学的知识的方式没有区别。它们在认识论上都是相同的。
Deep Dive
This chapter clarifies common misconceptions about Karl Popper's views on AI and the meaning of 'proof' in different fields of knowledge. It emphasizes that Popper never discussed AGI and that the concept of 'proof' varies across disciplines.
- Misinterpretations of Popper's views on AI are common.
- The meaning of 'proof' differs between mathematics and other fields.
- 'Proof' is not the central focus in discussions about AGI.
Shownotes Transcript
Naval The Deutsch Files III #naval