3 ms·
Actually there's a deep equivalence theorem between mathematical statements and programs. Here are people doing ZFC as a program - http://en.metamath.org/ http
by Natsu 12y ago
Actually there's a deep equivalence theorem between mathematical statements and programs. Here are people doing ZFC as a program - http://en.metamath.org/ http://en.metamath.org/
- seanmcdirmid 12y agoMost of programming involves figuring out what to do, not doing it.
- daurnimator 12y agoThe same is said of mathematics.
- seanmcdirmid 12y agoYes, but that creative process isn't really doing math either (as defined by performing mathematical reasoning). The best we can say is that creative processes are involved in all disciplines. Programming can involve math, math can involve programming, but neither is defined by the other.
- Natsu 12y agoYou do realize that algorithms were invented in Euclid's day, right? Was he not doing math, or are algorithms no longer programming? Even string processing is math (c.f. Godel).