amen zwa, esq. on Nostr: #Avigad's new text "Mathematical #Logic and #Computation" (2023) just arrived in time ...
#Avigad's new text "Mathematical #Logic and #Computation" (2023) just arrived in time for the long, holiday break.
amen zwa, esq.
npub1gn…30jmx
2025-11-29 20:17:58 UTC
Author Public Key
npub1gnu7eyvs2nd4u32253956ywmvycdck9552wqe9cea2gf6k56uyqql30jmxSeen on
wss://relay.momostr.pinkPublished at
2025-11-29 20:17:58 UTCEvent JSON
{
"id": "770743468696ce7edf4055531d62717197c3355eff706e417dbd2bbfd128d00c",
"pubkey": "44f9ec919054db5e454aa44b4d11db6130dc58b4a29c0c9719ea909d5a9ae100",
"created_at": 1764447478,
"kind": 1,
"tags": [
[
"t",
"avigad"
],
[
"imeta",
"url https://media.mathstodon.xyz/media_attachments/files/115/634/825/617/140/782/original/ece046f3b7794f29.jpg",
"m image/jpeg"
],
[
"t",
"logic"
],
[
"t",
"computation"
],
[
"proxy",
"https://mathstodon.xyz/@AmenZwa/115634829932425392",
"web"
],
[
"proxy",
"https://mathstodon.xyz/users/AmenZwa/statuses/115634829932425392",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/AmenZwa/statuses/115634829932425392",
"pink.momostr"
],
[
"-"
]
],
"content": "#Avigad's new text \"Mathematical #Logic and #Computation\" (2023) just arrived in time for the long, holiday break.\nhttps://media.mathstodon.xyz/media_attachments/files/115/634/825/617/140/782/original/ece046f3b7794f29.jpg\n",
"sig": "21b3ffad8b73e13c53f159df41f86b3f786d461a55f4b701a4572b1313939a745ff2911d61bee69bdd4b84c5f71f30a39db6f34a4b6a7a45396f97bd92cec12d"
}