Re:Post-human mathematics
by RobertoG on Monday November 23, 2015 @12:49PM
(#10615932)
Your comment brings to memory the book 'Diaspora' by Greg Egan.
There is in the novel some mathematical space that represent all the possible theorems, but it cannot be mined automatically because it need some conscious being deciding what problems are "interesting".
There is in the novel some mathematical space that represent all the possible theorems, but it cannot be mined automatically because it need some conscious being deciding what problems are "interesting".