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