Proving Consistency With Angels
1:00:10–1:01:28 · 78s
Friedman outlines his 'divine consistency' system: define an angel as a weaker God-like entity and, assuming an angel exists, prove ZFC is consistent—then reveals how set theorists reacted.
1:00:10–1:01:28 · 78s
Friedman outlines his 'divine consistency' system: define an angel as a weaker God-like entity and, assuming an angel exists, prove ZFC is consistent—then reveals how set theorists reacted.
We use cookies to understand how you use our platform and to improve your experience. Click "Accept All" to consent, or "Decline non-essential" to opt out of non-essential cookies. Read our Privacy Policy.