知的エージェントのための集合と論理 (インタ-ネット時代の数学シリ-ズ)

著者 : 中島秀之

• 共立出版 (2000年6月12日発売)

作品紹介・あらすじ

素朴な集合の考え方、古典論理と呼ばれるオーソドックスな論理、両者の関係についての概観、素朴な集合や論理の考え方の問題点やその解決の方向、ゲーデルの不完全性定理、今後の展開、これらを考察していく。

著者プロフィール

中島秀之（札幌市立大学学長）

「2019年 『AI事典第3版』 で使われていた紹介文から引用しています。」