Hacker News new | past | comments | ask | show | jobs | submit login

An alternate viewpoint is that mathematicians discover truths and laws about the mathematical realm, just as physicists, chemists and others discover them about the physical realm.

Mathematicians do in fact do "experiments" before proving a theorem - it's just that those experiments are often thought experiments, in terms of asking "what does (or would) this mathematical object look like, or how would it behave?", and those experiments are not mentioned in the final formal write-up.




Haskell Curry made this argument in his "Outlines of a Formalist Philosophy of Mathematics": http://www.amazon.com/Outlines-Formalist-Philosophy-Mathemat...

His idea is that mathematics is the empirical study of the implications of systems of rules.




Consider applying for YC's W25 batch! Applications are open till Nov 12.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: