tranny demon hacker on Nostr: A derivation of a theorem is an explicit, line-by-line demonstration of how to ...
A derivation of a theorem is an explicit, line-by-line demonstration of how to produce that theorem according to the rules of the formal system.
=== END QUOTE ===
Published at
2024-11-01 20:29:34Event JSON
{
"id": "79367fc165095fe774afe0ce253980430bd926ec141dd91f6479449d83e02d06",
"pubkey": "6e5b64a93f9c17d6528911485e399c8be0361c502e3c736e8118f8e00d950d0c",
"created_at": 1730492974,
"kind": 1,
"tags": [
[
"e",
"dbe912d56b836e2c7442bd810a9ac452e530dbfe02a472e847692e2f91ad3819",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://kolektiva.social/users/beka_valentine/statuses/113409587609019412",
"activitypub"
]
],
"content": "A derivation of a theorem is an explicit, line-by-line demonstration of how to produce that theorem according to the rules of the formal system.\n\n=== END QUOTE ===",
"sig": "3885750e0dbcaee51b90140abfdfbff9a4af83c96f2f02ce4955511b3c247a689fc3000c1de534f0a3b59bb1547e9b51b9cac24a20ee753eefacf5300b85f6ec"
}
