“推理小说虽然是用自然语言写成的，却和形式系统具有相同的性质。”
文学少女陆秋槎，为探究推理小说的严密性，误闯数学少女韩采芦的寝室，由此展开了一系列思维及身体的大冒险。推理小说的真相，能否像数学定理那样得到无懈可击的证明？困扰数学界三百五十八年的费马大定理，其证明史能否改写成一篇猜凶手谜题？看似条件不足无从推理的案件，又是否能另辟蹊径、直抵真相？最终，她们的友谊又会如何收场？

陆秋槎，一九八八年生于北京，复旦大学古籍所古典文献学专业硕士毕业。在校期间为复旦大学推理协会成员。现旅居日本金泽。第二届“华文推理大奖赛”最佳新人奖得主。著有长篇《元年春之祭》《当且仅当雪是白的》《樱草忌》。作品被翻译成日文、韩文、越南文。《元年春之祭》在日本上市后引发热议，入 围年末四大推理类榜单。深信推理小说能穷究人类的智识与非理性，自有其价值，不能为纯文学及其他小说类型所取代。虽系舶来，于现代社会中又未尝不是一种必需品。故发愿弘敷此道，以为毕生志业。

评论

看姐姐的书，第一是文笔有保障，第二是总能学到一些推理理论的干货。文中的数学少女是我见过真正符合形象塑造的数学少女，没有天才到Bug的数学能力，没有只对数学概念浮于表面的满嘴火车，就像是现实生活中真的对数学有天分的少女。这种真实的数学少女对自己特别有吸引力，特别喜欢这种笨拙而又天才的人物设定，四篇短篇每篇都好，恨不得作者能无限写下去。
令和的第一本书。
《连续统假设》充满了对推理小说的公理性的思考和辩论。
《费马的最后一案》则是对推理小说中出现的推演方法的戏谑。
四个短篇都是以“作中作”的形式完成的，这何尝不是为“日常之谜”寻找出路的一种尝试呢？
最后，我永远喜欢陆秋槎（双关）

真的很无聊…
其实我真的不太喜欢天才数学少女的设定，但是我真的很喜欢里面反推理的部分。怎么说，我还觉得，作者在里面藏了很多大实话，比如：“可以堂而皇之地玩游戏时，小说什么的不写也罢。”
姐姐的文笔一直很让人安定√，这些短篇比起来说讨论，咱觉得更多的是让大多数读者们意识到推理小说的这些问题。后记的评论则最喜欢后期奎因问题历史的梳理，因此也教导咱们不要随便用”后期奎因问题“这个名词来指代你所认为的和”后期奎因问题“有关的如假线索，侦探正当性，推理唯一性等内容，直接把你所讨论的内容说出来就好了。个人愚见：《连续统假设》：重点在咱来看是放在让读者意识到形式系统和推理小说的某种对应以及在此…