Software & mathematics are both fundamentally about iteratively building better abstractions. The difference is that math is encoded as proofs, which require special skills to appreciate, while software is encoded as machine-runnable code, letting anyone enjoy the results.

Mar 14, 2022 · 6:55 PM UTC

10
74
4
403
Replying to @gdb
Programs can be executed iteratively in a closed feedback loop, allowing rapid refinement of ideas. Math generally requires a third party verifier, slowing down the pace of learning.
1
Replying to @gdb
They're actually both proofs or machine-runnable code if you look it from the lens of Curry-Howard isomorphism. A function implementation is a proof of the mapped out signature of that function to the logical counterpart en.wikipedia.org/wiki/Curry…
2
Replying to @gdb
Software is more often incorrect.
1
Replying to @gdb
Can I write better code if I become better at math ?
1
Replying to @gdb
Programming is mathematics in motion.
6
Replying to @gdb
Yes, but now that you mention it, I've always looked at writing good code as being pretty much same as writing math proofs.
Replying to @gdb
in the book titled A New Kind of Science by Stephen Wolfram has similar but more detailed opinion.
Replying to @gdb
“Enjoy the results” 😂 Good one
Replying to @gdb @aimal_rehman
Math is encoded as proofs, which . . . “Either mathematics is too big for the human mind or the human mind is more than a machine.” /Kurt Godël/
Replying to @gdb
Ultimately, both software and mathematics are necessary ingredients in building the more desirable abstraction: Natural Language. After all, it is through language that we communicate the delta in internal representations (Case in point: This Twitter feed)
Load more