文学少女对数学少女
作者：陆秋槎著
出版时间：2019年版
丛编项： 午夜文库
内容简介
推理小说虽然是用自然语言写成的，却和形式系统具有相同的性质。 文学少女陆秋槎，为探究推理小说的严密性，误闯数学少女韩采芦的寝室，由此展开了一系列思维及身体的大冒险。推理小说的真相，能否像数学定理那样得到无懈可击的证明？困扰数学界358年的费马大定理，其证明史能否改写成一篇猜凶手谜题？看似条件不足无从推理的案件，又是否能另辟蹊径、直抵真相？最终，她们的友谊又回如何收场？
目录
连续统假设
费马的最后一案
不动点定理
格兰迪级数
