Damus
Bartosz Milewski profile picture
Bartosz Milewski
@Bartosz Milewski
The paradox of the stone: "Could God create a stone so heavy that even he could not lift it?" was solved by Grothendieck by introducing an infinite tower of gods. The God of the n'th universe can only create stones that he can lift. But the God from the n+1 universe can create an unliftable stone for the God from the n'th universe, and so on.
1
julesh · 17w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqky223zcc4q69d8t0me4vg5uw8mw0yxeukjgvz6h92laqnenr0ajs7297ud There is a better resolution using type-in-type: an omnipotent God can create a stone so heavy that they can't lift it, and then they can lift it