GhostOnTheHalfShell8 min
Penrose refutes AI. I find the interview fascinating because the host does seem to be a believer in AI becoming conscious.
I don’t think Penrose explains Gödel’s theorem.
Axioms are created to capture something about the observable world, for example.
In order to prove something, you have to have a set of axiom that allow you to get to the thing you want to prove or disprove. Following rules created from existing actions can’t do that.
All GNU social JP content and data are available under the