If you lay down rules of proof that could be checked by a computer, you can construct a Gödel sentence which, if you trust the rules, you can see is true by virtue of your belief that the rules only give truths, yet that statement is underivable using the rules themselves.
factualpending
Speaker
Roger PenroseEvidence Quote
“if you lay down the rules of what you call a proof and if those rules are such that they could be checked by a computer...then you can construct a sentence...which...you can see that if you trust the rules”
Source
Asking a Theoretical Physicist About the Physics of Consciousness | Roger Penrose | EP 244— Jordan B PetersonCreated: 8/11/2026, 1:07:02 AM
My Notes
Loading notes...