nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqknzsux7p6lzwzdedp3m8c3c92z0swzc0xyy5glvse58txj5e9ztqaufa4k (nprofile…fa4k) I regret that I pulled the ripcord on my mathematics education before getting a grounding in all the modern basics. In hopes of getting corrected by you or one of our mutuals, I will display my ignorance.
In software we have this idea of defining how operators act before using them. Equality can be defined a lot of different ways, y'know? One can define in code what the equal sign should mean, depending on the arguments provided -- its context.
Does this overlap with what Noether is saying here? Or is she pointing somewhere else?
Ray Lee /
npub1z3…vlfqv
2025-04-29 03:51:20
in reply to nevent1q…p370
Author Public Key
npub1z3gcv7de6j56w0ze79kr2ghtp5zcq8yhywa996gg9y6zexymx9gspvlfqvSeen on
wss://relay.nostr.bandPublished at
2025-04-29 03:51:20Event JSON
{
"id": "dc756db9f1396e83c285a5e7596774544ec7339dbffb1e529e384889a528a7fb",
"pubkey": "14518679b9d4a9a73c59f16c3522eb0d05801c9723ba52e90829342c989b3151",
"created_at": 1745898680,
"kind": 1,
"tags": [
[
"p",
"b4c50e1bc1d7c4e1372d0c767c4705509f070b0f3109447d90cd0eb34a992896",
"wss://relay.mostr.pub"
],
[
"p",
"f7346eb283902ada9d21c109a93e83128d9f87d8fcfe70ad819b3bf2ad9bce16",
"wss://relay.mostr.pub"
],
[
"e",
"f1afa394cf7bd519e4858be322e3e72efa754c2e1166aed1ec9d05880bdc1079",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/4raylee/statuses/114419215949076336",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.mostr.pub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqknzsux7p6lzwzdedp3m8c3c92z0swzc0xyy5glvse58txj5e9ztqaufa4k I regret that I pulled the ripcord on my mathematics education before getting a grounding in all the modern basics. In hopes of getting corrected by you or one of our mutuals, I will display my ignorance.\n\nIn software we have this idea of defining how operators act before using them. Equality can be defined a lot of different ways, y'know? One can define in code what the equal sign should mean, depending on the arguments provided -- its context.\n\nDoes this overlap with what Noether is saying here? Or is she pointing somewhere else?",
"sig": "45c2b4f025f5057525647b5bec6e4368910125495d4b660cf3e49133913efd2609fca41f9487eaa4b65fefd64b57840df71df58700ddf1dc89d38dc5490d30e1"
}