恋と禁忌の述語論理(プレディケット)(講談社ノベルス) [新書]

恋と禁忌の述語論理(プレディケット)(講談社ノベルス) の 商品概要

• 要旨（「BOOK」データベースより）

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

• 目次

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

• 出版社からのコメント

  第５１回メフィスト賞受賞作！理系ミステリの新たな到達点。名探偵を超える最終探偵、誕生！

• 内容紹介

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

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  井上 真偽(イノウエ マギ)
  東京大学卒業。神奈川県出身。『恋と禁忌の述語論理』で第５１回メフィスト賞を受賞

• 著者について

  井上 真偽 (イノウエ マギ)
  東京大学卒業。神奈川県出身。『恋と禁忌の述語論理』で第51回メフィスト賞を受賞。

恋と禁忌の述語論理(プレディケット)(講談社ノベルス) の商品スペック