Bartosz Milewski on Nostr: The paradox of the stone: "Could God create a stone so heavy that even he could not ...
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.
Published at
2026-02-19 13:55:08 UTCEvent JSON
{
"id": "583edd75fe3f5b90f85919cab563562d3d9cba6ac53a6ab5381121be33bd0427",
"pubkey": "a60a88374d8e1cf092c7ea93662aa784fb33b3e75be7725017032e6929ebc5d5",
"created_at": 1771509308,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/BartoszMilewski/statuses/116097634035068320",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "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.",
"sig": "643aded746849b04b59591ce04a3ac0f74d68f099ec331eb23fb23b5d0140f3192eb95028dc4e70dcc65e09c8c86595a6f5ae7c212698e580a5de3d35cffeaf4"
}