數(shù)學(xué)推理的邏輯狂歡

從陸秋槎《文學(xué)少女對(duì)數(shù)學(xué)少女》到奪得梅菲斯特獎(jiǎng)井上真?zhèn)蔚摹稇倥c禁忌的述語倫理》，我徹底愛上了數(shù)學(xué)推理這樣的推理形式。陸秋槎的這本書曾對(duì)我的推理觀念產(chǎn)生了莫大的影響，第一次讓我去思考推理小說的現(xiàn)實(shí)功用，以及對(duì)推理四要素必要性的審視。如果陸秋槎的故事與文筆仍然算得拙劣，或者說文本的觀感有著太強(qiáng)的不協(xié)調(diào)感，不足以支撐起推理的架構(gòu)核心。那么井上真?zhèn)卫蠋煹倪@本就徹徹底底地將數(shù)學(xué)的魅力展示地淋漓精致。用命題邏輯證明推理的正確性，這個(gè)角度我太愛了?！翱梢杂霉诺溥壿嬜C明的東西，并不能以直覺主義邏輯簡(jiǎn)單地證明?！?/span> “在這個(gè)世界，永遠(yuǎn)為真的命題是很少的?！北疚淖詈蟮姆崔D(zhuǎn)，使得整個(gè)小說的維度重新回歸常規(guī)本格，并且以相當(dāng)有趣的收束完善了整本書的邏輯體系。而且從閱讀體驗(yàn)上來說，井上真?zhèn)卫蠋熯@本書行文風(fēng)格實(shí)在是太日系了，那種殘念感，或者說是設(shè)定感，使得理論講述的過程并不像科普文學(xué)那般乏味，主角也并未天才，只是一個(gè)被天才姐姐逼著學(xué)習(xí)的平凡人，大大提高了代入感。感同身受的絕望，大概總有一點(diǎn)這樣的感覺。數(shù)學(xué)推理這種文理的雙重混響，徹底讓我理解到將推理知識(shí)用于實(shí)踐的表象價(jià)值。這兩本書，也點(diǎn)明了一個(gè)新的推理小說的創(chuàng)造形式，即撇開推理謎題的架構(gòu)本身，就推理的特定環(huán)節(jié)進(jìn)行討論，并且放棄對(duì)推理結(jié)果的控制，在對(duì)嚴(yán)肅感的摒棄當(dāng)中，豐富推理小說的思考維度。

必須要強(qiáng)調(diào)的是，我并不把《嫌疑人X的獻(xiàn)身》歸入數(shù)學(xué)推理的行列之中，原因很簡(jiǎn)單，數(shù)學(xué)的知識(shí)僅僅只是華麗的手法的外衣，金玉其外敗絮其中，并不算是推理體系的開拓。

?

最后是兩本書的邏輯名詞，感受下作家的文學(xué)功底

連續(xù)統(tǒng)假設(shè)、費(fèi)馬定理、不動(dòng)點(diǎn)定理、格蘭迪數(shù)級(jí)

自然演繹NK、相繼承演驗(yàn)算LK、ZFC合集、PDCA循環(huán)、MECE分析法、亨佩爾的烏鴉、命題邏輯的界限與謂詞邏輯、ZF論（策梅洛-弗蘭克爾集合論）、哥德不完備定理、換質(zhì)換位律