Archive for the ‘intelligence’ Category

Thoughts on computerized mathematics

Posted by: holdenlee on September 3, 2014

Talk: Proving Mathematical Theorems Using Computers

Posted by: holdenlee on August 19, 2014

Mathematical Compression

Posted by: holdenlee on January 30, 2014

The Connection Machine and Collective Intelligence

Posted by: holdenlee on April 3, 2013