想找一本科技類的書

我在零幾年的時候看過一本書,是科技類的,大概是主角跟從未來而來的什么人進(jìn)入電腦之中后的經(jīng)歷,主角似乎叫比特?然后記得開頭是說未來世界的來者是想要證明自己的一個什么命題然后就穿越時空找到了主角,還記得他的一個同學(xué)是想要證明晚上的桌子是不存在的。他們可以提出各式各樣的命題但都必須自己去努力證明。結(jié)局好像說以為一起去歷險的幾位好像醒了“睡神杯”?記不清了?哪位大神能幫我找找書叫啥名字???我原本有的那本因?yàn)槭智肪璩鋈チ?,明明有別的書可以捐的當(dāng)時!家里還提醒過我的,結(jié)果隔了這么久被打臉了。
標(biāo)簽: