AGI is necessarily possible because it is implied by computational universality: universal Turing machines can perform any computation that any physical system can perform, so some program exists that meets the criteria for AGI, limited only by knowledge and resources.
causalpending
Speaker
David DeutschEvidence Quote
“it proves that there exists some program which will meet the criteria for being an AGI or or for being um something whatever you want that's less than an AGI but but the maximum it could possibly be is an AGI because it can't possibly exceed the computational abilities of a universal touring machine”
Source
David Deutsch & Steven Pinker (First Ever Public Dialogue) — AGI, P(Doom), & The Enemies of Progress— Joseph Noel WalkerCreated: 8/12/2026, 10:21:48 PM
My Notes
Loading notes...