Tariq on Nostr: Need some advice. The textbook only has example of proofs with the "flags" all at the ...
Need some advice.
The textbook only has example of proofs with the "flags" all at the top of flag notation proofs.
But I think for this proof, the flag for `z` needs to be further down.
My reasoning .... because if `x` and `y` are instantiated inside the `z` scope, they can't be used outside it.
Am I right? Does scope not really matter in flag notation proofs ?
Attached image shows both versions for comparison.
#maths #cs
Published at
2025-06-09 12:00:18 UTCEvent JSON
{
"id": "5d73dfc8ba9aaf39b84915d3408fd97c438685aed3fcf0d8f1ec7f0c89fb5ea6",
"pubkey": "bb64e9640a7b81f1eb812a62963f4fe6760da5f7ec94fa33fbd76c00c8ad238f",
"created_at": 1749470418,
"kind": 1,
"tags": [
[
"imeta",
"url https://files.mastodon.social/media_attachments/files/114/650/343/032/714/739/original/a6bdd3ce847bfcea.png",
"m image/png"
],
[
"proxy",
"https://mastodon.social/@rzeta0/114653293316652317",
"web"
],
[
"t",
"maths"
],
[
"t",
"cs"
],
[
"proxy",
"https://mastodon.social/users/rzeta0/statuses/114653293316652317",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mastodon.social/users/rzeta0/statuses/114653293316652317",
"pink.momostr"
],
[
"-"
]
],
"content": "Need some advice.\n\nThe textbook only has example of proofs with the \"flags\" all at the top of flag notation proofs.\n\nBut I think for this proof, the flag for `z` needs to be further down.\n\nMy reasoning .... because if `x` and `y` are instantiated inside the `z` scope, they can't be used outside it.\n\nAm I right? Does scope not really matter in flag notation proofs ?\n\nAttached image shows both versions for comparison.\n\n#maths #cs\nhttps://files.mastodon.social/media_attachments/files/114/650/343/032/714/739/original/a6bdd3ce847bfcea.png\n",
"sig": "d3cf951fe6596908cf76559268a23fc7b644f5f30cc3f0f56c41429622d3c92c004889763f8141558f3a6f4bc3392bae297275ed0ba5f100433be84d3eea4daf"
}
