。國內推理作家提及數學時也多採取後者，如黑貓C《歐幾裡得空間的殺人魔》、時晨“數學家陳爝”係列等。
陸秋槎在《文學少女對數學少女》中無疑是充滿野心的——本作試圖融合上述兩條道路，既刻畫帶有天才性的“數學少女”形象，又以元數學的思考重構推理小說的解謎過程。這是一條前人未踏的艱難道路，走錯一步便是萬丈深淵。毫無疑問，任何閱畢本作的讀者都應當承認，韓采蘆是推理小說史上最令人信服的數學愛好者形象之一。她並不避諱在作中高談闊論各類數學知識，所涉及的內容也大大超過常識類科普讀物的範圍，能力高於某些師範院校碩士畢業的數學教師，卻又剛剛好止於一名數學研究者起步階段的知識水平，協助教授研究時隻是在給定證明思路的情況下“負責解決某一種特殊情況”，沒有出現在當下學界已極為罕見的獨自發明某項“定理”的情形。韓采蘆身上適度的天才性增加了其作為文學形象的現實感，使得文本能夠維持在“日常之謎”的單元劇框架之下，她所介紹的各種定理、假設亦成功暗示了最終的解答。在這一方麵，作者出色地完成了自己的任務。那麼在元數學方麵呢？稍微了解鄰國日本推理評論的讀者很容易發現，雖然文章內並無直接言及，但作中“陸秋槎”與韓采蘆所談論的話題與所謂“後期奎因問題”有著千絲萬縷的聯繫。由於相關論述龐雜難懂，本文囿於篇幅，擇其精要介紹如下。
設置
繁體簡體
請到𝐨𝐨𝐩.𝐭𝐰查看完整章節
這樁公案的引子始於一九九三年。當年年初，剛剛開啟推理評論家生涯的作家法月綸太郎便在《創元推理》上以長文《大量死亡與密室——笠井潔論》粉墨登場，備受好評。文中法月借用柄穀行人的“形式化”理論，以奎因《中國橘子之謎》（1934）為例，分析了奎因對作為解謎遊戲的本格推理小說的反思，以及重構的嘗試。次年，日本最著名的奎因研究家飯城勇三撰文指出，早在《希臘棺材之謎》（1932）中奎因即已開始通過“假線索”反思“推理”這一本格推理小說中最為重要的要素。
。程過的解瓦我自後點頂達到化式形說小理推的現出中歷經作創的因奎代指以用，念概的”題問因奎期後“了出提次首裡這在井笠。”的免避可不是生產的’題問因奎期後‘“到識意即，覺自的論法方了生產時）8491（》奇驚日十《了到因奎為認，考思的月法接承中章八第》II論說小探偵《著自在潔井笠家論評理推，年八九九一。品作期後中的因奎及提有沒全完，述所題標其如恰》論因奎期初《，是的意注得值。複繁加更得變述論個整得使，性能可不的”化式形“了示暗，較比程過述上與定否的案方特伯爾希對理定性全完不爾德哥上史學數把，式方的喻比以，用引的論理人行穀柄對續延月法，中文。分部”者讀戰挑“了去刪奈無因奎終最，和調以難加更得變中）3391（》謎之人體連羅暹《在題問一這。的平公是說難很此因也說小理推格本，現出的”寫描意恣的者作“免避法無然仍終最，相真的一唯達到法無探偵得使而因，在存能可有遠永上論理在，除排全完所輯邏被法無”索線假“，中》謎之材棺臘希《了到但，利順常非來起看切一，始開》謎之子帽馬羅《的年九二九一由。係體化式形起立建內說小理推格本在功成，則規戲遊謎解的爭競平公了善完而從，”者讀戰挑“了入引地性造創，題問”寫描意恣的者作“的現出中品作人等蒂斯裡克·莎加阿避規了為時同，念理的因達·範了承繼麵全因奎。”化式形的說小理推“為義定則規等”探偵有須必“”學科且理合須必法手“”等造營氛氣、寫描理心、飾修學文的度過棄摒“”謎解平公探偵與者讀“的出提因達·範將章文。》論因奎期初《了表發上》想思代現《誌雜術學文人在月法，年五九九一。上之》謎之材棺臘希《了到轉心中的論討，是於
。散而歡不便快很，離乖點論方雙。中”程過理推的探偵“於在存恰恰”寫描意恣的者作“，題問的性理原到握把能未終始城飯，來看潔井笠在而然。響影到受會不並性平公的說小理推，上義意個這在，”程過理推的探偵“是而，相真是不的測猜去要者讀，則法勝必的上輯邏在存不便初起，”戲遊人對人“種一是質本的說小理推出指城飯，步一進。整完充補條鏈輯邏的失缺將行自力能有全完也者讀，備完夠不實確便即理推的探偵，生發能可不況情的套設層層得使製限種種，中事故際實在但，況情的除排被以難索線假在存上輯邏在管儘，明說圖試城飯。濃極味藥火，作寫裁體為義講的”學同井笠“”學同月法“生學對針師講以，名命）近音”會員委“與”會因奎“語日（”會因奎育教成平“用皆章文列係的城飯。三勇城飯和潔井笠是方雙爭論的要主，間之年一〇〇二至六九九一在生發，”爭論謎之材棺臘希“為稱可又，觀微為較，》謎之材棺臘希《於焦聚論討組一第。組兩為分以可緻大論討的”題問因奎期後“於關
期後“把是更）3102（》近接加更”界世“與《紀浩東。決解的題問於助有樣同也”探偵銘“的相真道知就始開一理推需無的式鯰托卡麥個一，”題問因奎期後“免避能就）cirotehr（巧技辭修視重夠足要隻，出指則）0102（》究研理推格本代現《真卓岡諸。解而刃迎可便”題問因奎期後“，”理公原還“的素羅入引需隻，製限種種等範規會社、念觀理倫著到受，輯邏的中學輯邏於同不輯邏的中說小理推格本為認）7002（》學輯邏的說小探偵《朗太健森小。中之試嘗的家作格本新等謎之常日的薰村北、計詭性述敘的人行辻綾於藏潛向方的應回而，”題問難困的免避法無家作格本“為其指，況情般一到廣推”題問因奎期後“把》II論說小探偵《潔井笠。人等紀浩東、朗太健森小、真卓岡諸、潔井笠括包者論要主，今至續持直一，略策應對的後解瓦係體化式形論討，展發新、踐實新的說小理推來以動運格本新合結，發出念概一這”題問因奎期後“由，散發而觀宏對相則論討組二第
