Ananas Rights

“Although detective novels are written in natural language, they share the same properties as formal systems.”

The literary girl, Lu Qiucha, accidentally enters the dormitory of the math girl, Han Cailu, in order to explore the rigor of detective novels, and thus begins a series of adventures involving both the mind and body. Can the truth of a detective novel be proven as irrefutably as a mathematical theorem? Can the proof history of Fermat’s Last Theorem, which has plagued the mathematical community for 358 years, be rewritten as a murder mystery? Can cases that seem to lack sufficient evidence for deduction be approached from a different angle to reveal the truth? In the end, how will their friendship conclude? A literary girl with a love of reasoning versus a lonely, cool mathematical genius. A collection of short stories exploring the rigour and freedom of logical thinking. In the name of masters who shine like stars in the history of mathematics, a new way to argue and debate arise. 26