4 ms·
> wouldn't software also be able to create and analyze mathematical theory ("conjecture, proof, and building theories")? Already happening.
by saraid216 12y ago
> wouldn't software also be able to create and analyze mathematical theory ("conjecture, proof, and building theories")?
Already happening.
- pjmorris 12y agoe.g. Douglas Lenat's Automated Mathematician [1]... there are probably newer, better examples. [1] http://en.wikipedia.org/wiki/Automated_Mathematician http://en.wikipedia.org/wiki/Automated_Mathematician
- wordplay 12y agoI'm interested in where this is going. Do you have a citation?
- deleted 12y ago[deleted]