Re:My Grandfather Thought He Solved a Cosmic Mystery
by felipemnoa on Thursday November 01, 2018 @06:29PM
(#18359044)
>>It reminds me of a sci-fi story
Could you mention the the name?
Re:My Grandfather Thought He Solved a Cosmic Mystery
by jonnybgood on Thursday November 01, 2018 @06:48PM
(#18359160)
Sounds like Diaspora by Greg Egan. If it’s not, Diaspora also has a virtual mine of mathematical proofs that is mined by the citizens, which are virtual “human” entities living in a simulated world.
It reminds me of a sci-fi story where people who decided that they were tired of being emulated retired to a virtual mine where they try to discover new mathematical proofs.
They didn't have to do it, since it served no real purpose. But it opened up new avenues of knowledge.