Turing's Proof

The Deutsch Files I

Naval

Linked with Gödel's Theorem as a formalization that defines proof and enables proving theorems, implying it's related to explanatory universality.