正しいから証明できるのか、証明できるから正しいのか。数学にとって証明とは何か、正しさとは何なのかは数学基礎論の根本的な問題である。様相論理を軸とした、証明と真理 ...

記号論理の世界を物語として語りかけた本。対象とする論理を“数学の論証で用いる論理”に限定し、「命題論理」と呼ばれる論理の基本的な部分を対象とした。

数学や情報科学・情報工学に必須の「論理」と「集合」を正面からとりあげ、実際の使われ方に即して実践的に解説した。

●「伝説の講義」を書籍化 長岡先生の伝説的夏期講習『数学的数学考究』を書籍化しました。最高レベルの数学参考書です！ ●長岡先生から皆さんへ ...

大学の数学につまずく前に読んでおきたい1冊。現代数学の基礎を築いた論理と集合の関係を解説。独学・独習の書としても利用しやす...