Science
Friedman Develops Divine Consistency Proof Using Angels as Weak Forms of God
Theories of Everything
The Genius Who Invented Reverse Mathematics
"An angel is a weak form of God. An angel is something which isn't in all the positives. That would be God. But it's in all the definable, all the explicitly definable positives. This system could be worthless because it could be inconsistent. But I can prove that this system is consistent using a measurable cardinal."
Building on Gödel's ontological argument classifying properties as positive or negative, Friedman created a theological mathematical system where angels—entities possessing all definable positive properties—can prove ZFC's consistency. The system connects abstract set theory with theological concepts, though one colleague dismissed it as seeking Templeton Foundation grant money.
From this episode
Theories of Everything