恋と禁忌の述語論理

大学生の詠彦は、天才数理論理学者の叔母、硯さんを訪ねる。独身でアラサー美女の彼女に、名探偵が解決したはずの殺人事件の真相を証明してもらうために……。詠彦が次々と持ち込む事件――「手料理は殺意か祝福か？」「『幽霊の証明』で絞殺犯を特定できるか？」「双子の『どちらが』殺したのか？」――と、個性豊かすぎる名探偵たち。「すべての人間の思索活動の頂点に立つ」という数理論理学で、すべての謎を証明できるのか!?


解決したはずの殺人事件。
癒やし系数理論理学者の証明で
世界は反転する……!!


真実は、演算できる。

大学生の詠彦は、天才数理論理学者の叔母、硯さんを訪ねる。独身でアラサー美女の彼女に、名探偵が解決したはずの、殺人事件の真相を証明してもらうために……。
詠彦が次々と持ち込む事件――「手料理は殺意か祝福か？」「『幽霊の証明』で絞殺犯を特定できるか？」「双子の『どちらが』殺したのか？」――と、個性豊かすぎる名探偵たち。「すべての人間の思索活動の頂点に立つ」という数理論理学で、硯さんはすべての謎を、証明できるのか!?

目次

レッスンI「スターアニスと命題論理」
レッスンII「クロスノットと述語論理」
レッスンIII「トリプレッツと様相論理」
進級試験　「恋と禁忌の……？」
巻末資料

書誌情報

紙版

• 発売日: 2015年01月08日
• ISBN: 9784062990387
• 判型: 新書
• 価格: 定価：1,056円（本体960円）
• ページ数: 320ページ
• シリーズ: 講談社ノベルス

著者紹介

著： 井上　真偽（イノウエ　マギ）

東京大学卒業。神奈川県出身。『恋と禁忌の述語論理』で第51回メフィスト賞を受賞。