News for hackers. Stuff that matters.
Re:Post-human mathematics by sanxiyn on Monday November 23, 2015 @01:49PM (#10616391)
You may enjoy Automated Theory Formation in Pure Mathematics (2012).

https://books.google.com/books?id=qJrSBwAAQBAJ

Re:Post-human mathematics by chriswarbo on Monday November 23, 2015 @02:36PM (#10616729)
Thanks, I've not managed to get my hands on the book but have read a few snippets. I've certainly read as many of Colton's papers as I can find :)

For anyone who's interested, I've got an ever-growing Bibtex file at http://chriswarbo.net/git/writing/branches/master/Bibtex.bib which contains many references on this topic (all mixed up with completely unrelated stuff though!).

Re:Post-human mathematics by iamcurious on Tuesday November 24, 2015 @02:09PM (#10622809)
Thanks for the link. I'm also working on this. Would love to chat with you (or anybody else reading this), please contact me: juan at juan dot com dot uy