undefined | Better HN

0 pointsgwoolhurme3y ago0 comments

Ah 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

0 comments

1 comments · 1 top-level

grt_thr3y ago

Pointing 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.

j / k navigate · click thread line to collapse