《数学少女》台湾中文版小说封面
《数学少女》(日语:数学ガール,英语:)是日本作家暨程序员结城浩以数学为题材写的小说。于2007年6月27日发表第一部《数学少女》,于2008年7月30日发表第二部《数学女孩:费马最后定理》,于2009年11月5日发表第三部《数学女孩:哥德尔不完备定理》,于2011年3月10日发表第四部《数学女孩:随机算法》,于2012年6月1日发表第五部《数学女孩:伽罗瓦理论》。
“数学”和“少女”为构成本书的两个核心,属于大众倾向的科普书籍。以小说的形式对数学定理作详细的诠释。范围遍及小学程度的四则运算,中学程度的实数线、数列与级数、毕氏定理、一元一次方程式、一元二次方程式和平面几何,高中范围的集合论、解析几何、不等式、三角函数、排列组合、几率到大学的微积分、线性代数、数论、抽象代数。本书特色是人物对话、算式和内文交互参杂,对于有能力的读者可以以循序渐进的方式,逐渐了解知名数学定理所要表达的内涵;而对数学没有兴趣的读者也可以跳过数学的部分,欣赏人物间的感情世界。
在高中的第一年,开学典礼结束后,男主角遇到了同班同学的米尔迦,米尔迦和男主角讨论了数列谜题,两人都是数学的爱好者。随后男主角升上高中二年级后,遇到一个女孩,也就是蒂德菈,把信传给他,说是要请男主角教他数学。就这样,也借由村木老师那边拿到的卡片,开始了一段数学旅程。起初男主角分别和蒂蒂、米尔迦讨论数学,到后面时,三个人逐渐开始一起讨论。
本书增加了一个角色,由梨。由梨是男主角的表妹,时常在家里和男主角讨论数学。到最后时,四个人聚在一起讨论费马最后定理。
本作延续上部作品的人物,四个人从形式系统切入,最终达到哥德尔不完备定理。
高中的第三年已经来到,多了一位新入学,高中一年级的丽莎。从算法开始探讨数学,丽莎也常常秀电脑萤幕程式给其他人看。最后经过一系列数学旅程,除由梨外的四人开始逐步迈入随机算法。