Library

This book consists of five novels in total. That is, "grammar tree", "possible world", "real infinity", "formal state", and "oracle". Each novel commemorates a great modern mathematical logician, namely Montagu, Kripke, Cantor, Hilbert and Turing. It can be said that it basically covers the mainstream directions of modern mathematics such as axiomatic set theory, recursion theory, model theory and proof theory. The novel has unique material selection and novel paradigm. Follow the author's imagination and come face to face with these mathematical logicians. Liberal arts students don't have to worry about not being good at math, and science students don't have to worry about not being able to understand written expressions. Just use words to feel and imagine. You will be amazed: novels can actually be written like this. After all, the Douban score of 8.8 Gives this novel cloaked in mathematical logic a stronger reader certification.

"Mr. Peach in the Apple Core" contains five novels, commemorating the great modern mathematical logicians Montagu, Kripke, Cantor, Hilbert and Turing respectively. The Mongolian army besieged Samarkand, the Song and Mongols jointly attacked Caizhou, the Fanti people robbed the Ashanti people, the poems that can defeat the enemy, the special power of telekinesis, and the cloud ladder shrine where the golden stool is stored. All kinds of history and imagination are wonderfully combined in the novel, creating these five novels with full stories and high spirits.