nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqjd874v63430gng67kpw5m597f34dr9vr0yhkp8dkmnma8208raysyd6kk0 (nprofile…6kk0)
Since 0 can be confusing, it's good to point it out as a special case. This intuition among authors is sound. But it should be a theorem[*], not a definition.
[*] Probably not a numbered Theorem, just a Remark or an Example. But logically a theorem.
TobyBartels
npub1kp…gr9jw
2025-06-14 19:25:41 UTC
in reply to nevent1q…k2y2
Author Public Key
npub1kpf5nh0jvj3ygrlz3zw2s2qvy2dpdp5zdlwnl2nqujugfugumkfqngr9jwPublished at
2025-06-14 19:25:41 UTCEvent JSON
{
"id": "249623cb61a314ca26a0af8d2048039bca130aabd4c2119f33e6a3f38f9262d9",
"pubkey": "b05349ddf264a2440fe2889ca8280c229a1686826fdd3faa60e4b884f11cdd92",
"created_at": 1749929141,
"kind": 1,
"tags": [
[
"p",
"934feab351ac5e89a35eb05d4dd0be4c6ad19583792f609db6dcf7d3a9e71f49",
"wss://relay.mostr.pub"
],
[
"p",
"ba51d3bb7fc92891016b5873c0b4f7c6a0550c964ec565ece24b6fc2dcf93301",
"wss://relay.mostr.pub"
],
[
"e",
"3c23777452fc3ed6cd409ee42900f855b458754b6e61cdfbc3fdcc072e896ec7",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/TobyBartels/statuses/114683356186906730",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.mostr.pub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqjd874v63430gng67kpw5m597f34dr9vr0yhkp8dkmnma8208raysyd6kk0\n\nSince 0 can be confusing, it's good to point it out as a special case. This intuition among authors is sound. But it should be a theorem[*], not a definition. \n\n[*] Probably not a numbered Theorem, just a Remark or an Example. But logically a theorem.",
"sig": "3ceebad19d62dfef21bad9c238aeb473424855bbb031a293078836cd68e9fe8d4ff0ef9f5e8f7a263da2f70f5a39f90563e385b1c307ef076cdea03c6b6d8901"
}