文学少女对数学少女 2024 pdf epub mobi 电子书 图书描述 “推理小说虽然是用自然语言写成的,却和形式系统具有相同的性质。” 文学少女陆秋槎,为探究推理小说的严密性,误闯数学少女韩采芦的寝室,由此展开了一系列思维及身体的大冒险。推理小说的真相,能否像数学定理那样得到无懈可击的证明?困扰数学界三百五十八年...