nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqjd874v63430gng67kpw5m597f34dr9vr0yhkp8dkmnma8208raysyd6kk0 (nprofile…6kk0) nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqqmshcslmwan3erj3ulczepe8q8a8xdyfkndnk8fudgtg8ccwg6zqlsl9jz (nprofile…l9jz)
This is nothing new at all. When Newton was doing physics, it became calculus very quickly, and nobody complained, not 350 years ago, and not now.
Why would anybody have to complain when a computational question quickly becomes a mathematical question, now, after millennia of experience of the effectiveness of mathematics ("in the shoulders of giants")?
Let's stop discussing this and just accept reality. People in complexity and algorithms use maths because they have to, and so do people in PL. And everywhere else in Computer Science, including concurrency, operating systems and more.
So I really don't understand what this discussion is about. Mathematics has already been fully established as the foundation of computer *science*.
Martin Escardo /
npub1t3…fg3z4
2025-04-08 20:13:53
in reply to nevent1q…feck
Author Public Key
npub1t3n4le6kr3f09s823keer5kr53j4d0kf50q2fd83pu35lcpltr9q0fg3z4Published at
2025-04-08 20:13:53Event JSON
{
"id": "c2f6e1b234c578bc520d6c38fa3f27a1634a3daea20e67397cc859dd1895fced",
"pubkey": "5c675fe7561c52f2c0ea8db391d2c3a46556bec9a3c0a4b4f10f234fe03f58ca",
"created_at": 1744143233,
"kind": 1,
"tags": [
[
"p",
"934feab351ac5e89a35eb05d4dd0be4c6ad19583792f609db6dcf7d3a9e71f49",
"wss://relay.mostr.pub"
],
[
"p",
"06e17c43fb77671c8e51e7f02c872701fa733489b4db3b1d3c6a1683e30e4684",
"wss://relay.mostr.pub"
],
[
"p",
"f6e5f6bc41d8187e776540f170adeab6d0d71bf2f6e396e4a3a73394e20b0e1c",
"wss://relay.mostr.pub"
],
[
"p",
"ba51d3bb7fc92891016b5873c0b4f7c6a0550c964ec565ece24b6fc2dcf93301",
"wss://relay.mostr.pub"
],
[
"e",
"ba85f1ca17fb6e268bab1ae609eb4d9f35ed72c257975c3dfb281ae58a9e1ce2",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/MartinEscardo/statuses/114304170930834602",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.mostr.pub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqjd874v63430gng67kpw5m597f34dr9vr0yhkp8dkmnma8208raysyd6kk0 nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqqmshcslmwan3erj3ulczepe8q8a8xdyfkndnk8fudgtg8ccwg6zqlsl9jz \n\nThis is nothing new at all. When Newton was doing physics, it became calculus very quickly, and nobody complained, not 350 years ago, and not now.\n\nWhy would anybody have to complain when a computational question quickly becomes a mathematical question, now, after millennia of experience of the effectiveness of mathematics (\"in the shoulders of giants\")?\n\nLet's stop discussing this and just accept reality. People in complexity and algorithms use maths because they have to, and so do people in PL. And everywhere else in Computer Science, including concurrency, operating systems and more.\n\nSo I really don't understand what this discussion is about. Mathematics has already been fully established as the foundation of computer *science*.",
"sig": "ecad5436fd0a063d80173eccedb439873ef5e45d0e173e9c8f63555fc05e2d22c9e9ad8454badee80c6907d5fa3a546fe312b2c65fe9a4fe8c592a5228b4787d"
}