4 ms·
Lenore Blum has worked on some things in this direction. http://www.cs.cmu.edu/~lblum/PAPERS/TuringMeetsNewton.pdf http://www.cs.cmu.edu/~lblum/PAPERS/TuringMe
by currymj 7y ago
Lenore Blum has worked on some things in this direction.
http://www.cs.cmu.edu/~lblum/PAPERS/TuringMeetsNewton.pdf http://www.cs.cmu.edu/~lblum/PAPERS/TuringMeetsNewton.pdf
I think most computer scientists have a natural and justified distrust of the real numbers, though, because when you get down to it they are too bizarre and impossible to actually be real. (i.e. the set of computable reals has measure 0, see Chaitin).
https://arxiv.org/pdf/math/0411418.pdf https://arxiv.org/pdf/math/0411418.pdf
- garganzol 7y agoI had that distrust of the real numbers too. It looks it's pretty common among CS folks. However, one of my professors once said: "There is a beauty in real numbers. While they cannot be as precise as decimals, they allow to see the nature of things by exploring and discovering the laws of the universe." Time passed and I cannot agree more. It's indeed a proverbial quote that should be given to all CS students.