nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqky223zcc4q69d8t0me4vg5uw8mw0yxeukjgvz6h92laqnenr0ajsgze5g0 (nprofile…e5g0)
Isn't it the other way around? Programming is the continuation of mathematics, just with different tools. I would agree, especially if you consider areas of mathematics like set theory, logic, and type theory, etc.
Svenson
npub16g…5m9vk
2025-01-19 09:28:24 UTC
in reply to nevent1q…xdje
Author Public Key
npub16gh98yn0sahduxv7aj8z0sv4lrxree0n7r578magnc2mkmusxarse5m9vkSeen on
wss://relay.ditto.pubPublished at
2025-01-19 09:28:24 UTCEvent JSON
{
"id": "6131c1bb20b18ba3e7fa1b5b2cfa3311fa945cf3833b9806e96df508a612822f",
"pubkey": "d22e53926f876ede199eec8e27c195f8cc3ce5f3f0e9e3efa89e15bb6f903747",
"created_at": 1737278904,
"kind": 1,
"tags": [
[
"p",
"b114a88b18a834569d6fde6ac4538e3edcf21b3cb490c16ae557fa09e6637f65",
"wss://relay.mostr.pub"
],
[
"p",
"a60a88374d8e1cf092c7ea93662aa784fb33b3e75be7725017032e6929ebc5d5",
"wss://relay.mostr.pub"
],
[
"e",
"f6d9d95d7e46c0e1b22b85cdf0975a98b4fea324694c945e5ea85760230aabf9",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mastodontech.de/users/sa/statuses/113854310281317696",
"activitypub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqky223zcc4q69d8t0me4vg5uw8mw0yxeukjgvz6h92laqnenr0ajsgze5g0\n\nIsn't it the other way around? Programming is the continuation of mathematics, just with different tools. I would agree, especially if you consider areas of mathematics like set theory, logic, and type theory, etc.",
"sig": "1995183b6fa5804d6afe8ae8975816d2e7e0ebf1c7e0d75c043bb73f848f7503769d2053e937c0b82a78600efec5a01236ed10c57621195eb22a47dd3b74480c"
}