MercurialBlack on Nostr: :helpeme: have you at least defined the axioms of predicate calculus and the rules ...
:helpeme: (npub1wg0…t0yf) have you at least defined the axioms of predicate calculus and the rules for term reduction
MercurialBlack /
npub100…vevsv
2024-09-08 00:02:50
in reply to nevent1q…dv46
Author Public Key
npub1007nmq8hj2v9zfudpvpv65q8gtcl8kgyetlkpgh0mmu34q28yges7vevsvPublished at
2024-09-08 00:02:50Event JSON
{
"id": "e0f0db64735dee49e6de9e8c2639210d4307f3b2cef4e5af8b92e603fe9172d6",
"pubkey": "7bfd3d80f7929851278d0b02cd500742f1f3d904caff60a2efdef91a81472233",
"created_at": 1725746570,
"kind": 1,
"tags": [
[
"p",
"721eacb3df4ee6374240e2978da81baa1daa75cf6908e4b988ea4130112f53b6",
"wss://relay.mostr.pub"
],
[
"e",
"3d6d6e413a483015730d3ffa64fcea2222a68338c87f360e60b74884e1d9ca49",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://lab.nyanide.com/objects/13f2d8a2-2634-42b6-bd0d-6841a02aba65",
"activitypub"
]
],
"content": "nostr:npub1wg02ev7lfmnrwsjqu2tcm2qm4gw65aw0dyywfwvgafqnqyf02wmqhht0yf have you at least defined the axioms of predicate calculus and the rules for term reduction",
"sig": "89abf50cb7a3cd4484aad42c2fa82423808b2fc5425f3bf5e50dff96e9290e3d4a4ce3ae33619167862abdfb180e43650c793f57362d829c8226a0a3cd1b33f5"
}