4 ms·
I find it difficult to imagine that this was written by a professor of mathematics. In order to suggest this viewpoint, you must have no idea of what software c
by aisofteng 10y ago
I find it difficult to imagine that this was written by a professor of mathematics. In order to suggest this viewpoint, you must have no idea of what software can and cannot automate in mathematical reasoning, not actually have developed mathematical reasoning and have relied on memorization of formulas so far, or be pushing an agenda.
- ColinWright 10y agoI know the author, and he is a "real mathematician". I'm not quite sure what you are suggestion, or how many research pure mathematicians you know, but as a PhD in pure math myself I'm struggling to understand exactly the points you are making, and what you would suggest they are missing. Could you point us at some articles to explain your points? Thanks.