|
|
|
|
|
by eah13
4228 days ago
|
|
False dichotomy. Mathematics is also a human language. Code and mathematics are more similar in many respects than code and Spanish. but they all share common features of being cultural, mutable, consensus-based, imperfect, and historically embedded. Wittgenstein's philosophy of mathematics might be interesting to you. His description of calculation as a linguistic process should settle the issue if you buy it. Edit: just found this related item on HN, a math prof examining the nature of a proof: http://profkeithdevlin.org/2014/11/24/what-is-a-proof-really... |
|