'推理小說(shuō)雖然是用自然語(yǔ)言寫(xiě)成的，卻和形式系統(tǒng)具有相同的性質(zhì)。'
文學(xué)少女陸秋槎，為探究推理小說(shuō)的嚴(yán)密性，誤闖數(shù)學(xué)少女韓采蘆的寢室，由此展開(kāi)了一系列思維及身體的大冒險(xiǎn)。推理小說(shuō)的，能否像數(shù)學(xué)定理那樣得到無(wú)懈可擊的證明？困擾數(shù)學(xué)界358年的費(fèi)馬大定理，其證明史能否改寫(xiě)成一篇猜兇手謎題？看似條件不足無(wú)從推理的案件，又是否能另辟蹊徑、直抵？*終，她們的友誼又回如何收?qǐng)觯?br> “推理小說(shuō)雖然是用自然語(yǔ)言寫(xiě)成的，卻和形式系統(tǒng)具有相同的性質(zhì)�！�
文學(xué)少女陸秋槎，為探究推理小說(shuō)的嚴(yán)密性，誤闖數(shù)學(xué)少女韓采蘆的寢室，由此展開(kāi)了一系列思維及身體的大冒險(xiǎn)。推理小說(shuō)的真相，能否像數(shù)學(xué)定理那樣得到無(wú)懈可擊的證明？困擾數(shù)學(xué)界358年的費(fèi)馬大定理，其證明史能否改寫(xiě)成一篇猜兇手謎題？看似條件不足無(wú)從推理的案件，又是否能另辟蹊徑、直抵真相？很終，她們的友誼又回如何收?qǐng)觯?br/> |
