> wouldn't software also be able to create and analyze mathematical theory ("con... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		saraid216 on July 18, 2014 \| parent \| context \| favorite \| on: Programming is not math? > wouldn't software also be able to create and analyze mathematical theory ("conjecture, proof, and building theories")? Already happening.

pjmorris on July 18, 2014 | [–]

e.g. Douglas Lenat's Automated Mathematician [1]... there are probably newer, better examples.

[1] http://en.wikipedia.org/wiki/Automated_Mathematician

wordplay on July 18, 2014 | [–]

I'm interested in where this is going. Do you have a citation?

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact