Re:Simple-twitter: A bare-bones Twitter clone implemented in...
by ColinWright on Friday November 22, 2019 @03:09PM
(#21609521)
> 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.
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.