4 ms·
> The research mathematicians I work with just stare in incomprehension at the idea of doing their work on any computer-mediated system. Yes, there are things t
by Aaargh20318 7y ago
> The research mathematicians I work with just stare in incomprehension at the idea of doing their work on any computer-mediated system. Yes, there are things that can be done, and yes, computer proof-assistants have made huge strides, and yes, there are always people at the cutting edge doing amazing work.
I'm not talking about computer assisted proofs or anything like that. Just using a readable syntax and the mathematical equivalent of a word processor would be an enormous step forward. No one is writing books in cursive with a fountain pen anymore either, which is basically analogue to what mathematicians are still doing.
- ColinWright 7y ago> I'm not talking about computer assisted proofs or anything like that. No, I'm not talking about proof assistants either, I'm talking about actually doing math using any kind of computer system. > Just using a readable syntax and the mathematical equivalent of a word processor would be an enormous step forward. Do you have any idea of how to do that? I've done research in math, and I've written software for safety critical systems. I don't know how to create a system like a word processor for math that would let me actually do the math. Do you know how to do that? If so, please, let me know.