8 ms·
That is a proof of the same way that print("Hello World") is an executable.
by grt_thr 3y ago
That is a proof of the same way that
print("Hello World")
is an executable.
- gwoolhurme 3y agoI never said they were proofs right? I am still confused. I was talking about foramalizing and how at least to me I see programming in it. Even something extremely complex like "The Strong Perfect Graph Theorem" is still readable and reads like english+programming. That's why I said haskell looks like it comes out of a discrete mathbook. I am not sure what your point is or where my fetishization is coming from.
- cubefox 3y agoI think the previous comment wasn't so much disagreeing as adding a related thought.
- gwoolhurme 3y agoAh I did say they were proofs... that is my fault, what I mean to say is that formalization is the way they are written, is very much a language. Either way. Not sure where the venom was coming from
- grt_thr 3y agoPointing out that people are impressed by form and not substance isn't venom, it's the first step to bringing mathematics into the 20th century.