News for hackers. Stuff that matters.

A comment on Programming is not math?. Parent comment

Re:Programming is not math? by saraid216 on Friday July 18, 2014 @03:52PM (#8055237)
> wouldn't software also be able to create and analyze mathematical theory ("conjecture, proof, and building theories")?

Already happening.

[ Parent | on HN ]
Re:Programming is not math? by pjmorris on Friday July 18, 2014 @03:59PM (#8055269)
e.g. Douglas Lenat's Automated Mathematician [1]... there are probably newer, better examples.

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

[ Parent | on HN ]
Re:Programming is not math? by wordplay on Friday July 18, 2014 @04:00PM (#8055272)
I'm interested in where this is going. Do you have a citation?
[ Parent | on HN ]