想找一本科技类的书

我在零几年的时候看过一本书，是科技类的，大概是主角跟从未来而来的什么人进入电脑之中后的经历，主角似乎叫比特？然后记得开头是说未来世界的来者是想要证明自己的一个什么命题然后就穿越时空找到了主角，还记得他的一个同学是想要证明晚上的桌子是不存在的。他们可以提出各式各样的命题但都必须自己去努力证明。结局好像说以为一起去历险的几位好像醒了“睡神杯”？记不清了？哪位大神能帮我找找书叫啥名字啊？我原本有的那本因为手欠捐出去了，明明有别的书可以捐的当时！家里还提醒过我的，结果隔了这么久被打脸了。