4 ms·
Maybe you'll come along in ten years and convince me that I was performing mathematics all along! Maths has expanded to embrace other fields in the past. Archim
by Smaug123 5y ago
Maybe you'll come along in ten years and convince me that I was performing mathematics all along! Maths has expanded to embrace other fields in the past. Archimedes probably would have called work on the nature of truth "philosophy" and very much not "mathematics". I, for one, do not wish to adopt any stance that rules out future progress.
- lisper 5y agoI don't have to wait ten years. Unless you reject the Church-Turing thesis, then on your definition everything is math, which makes your definition vacuous.
- Smaug123 5y agoI shall quote myself: > I never said anything like "all thought is mathematics", merely "not all mathematics is symbolic thought".
- lisper 5y agoWe're going around in circles. If not all mathematics is symbolic thought, then, unless you're a dualist, there is nothing that can be meaningfully distinguished as "not mathematics" (because Turing completeness) and the whole concept of mathematics becomes vacuous and useless.
- Smaug123 5y agoWell, you're extrapolating to the claim that since humans can be emulated by machines, which are in the domain of mathematics, every aspect of human thought is mathematics. I deny this extrapolation. Merely writing something down does not make it literature; merely encoding something into a Turing machine does not make it mathematics.