☃️merry chrimist☃️ (npub1pt6…6mf6) please explain why recursion works
I understand that for a well order a recursive wff can just be expanded out, but it seems like this can't work for an infinite set, since the length of the corresponding wff must be unbounded
MercurialBlack /
npub17z3…he6e
2024-01-26 07:02:50
Author Public Key
npub17z3zrlvtcp3fyc94vdqdk7y8ccjc7yay998z7wsvl9f0t7yqmjes3uhe6ePublished at
2024-01-26 07:02:50Event JSON
{
"id": "e3b6c3e8bc78e8ea0aca41b4ae6e2afd5b7dec99fdeab77a4bd67d0f0eb8dee4",
"pubkey": "f0a221fd8bc0629260b56340db7887c6258f13a4294e2f3a0cf952f5f880dcb3",
"created_at": 1706248970,
"kind": 1,
"tags": [
[
"p",
"0af5f8f4be4b08e199bf1fa4f01e4ab7dd35cd11a62afc72f251b7036c5a2eb8",
"wss://relay.mostr.pub"
],
[
"proxy",
"https://pleroma.mercurial.blog/objects/788a35f8-cd41-43cc-9ea4-b3d2b7d29506",
"activitypub"
]
],
"content": "nostr:npub1pt6l3a97fvywrxdlr7j0q8j2klwntng35c40cuhj2xmsxmz696uqfr6mf6 please explain why recursion works\n\nI understand that for a well order a recursive wff can just be expanded out, but it seems like this can't work for an infinite set, since the length of the corresponding wff must be unbounded",
"sig": "ecbba463b4e3fc763cb7459a64339103e7c47bccfb03ee296ced48c29d9bdb2062154ff597b70102229477735afc7bbfa47d3cb793d031fa7202994f1b6982e7"
}