数学基礎論

「1＋1＝2」。こんな当たり前のことに、わざわざ証明が必要だなんて思ったことはあるでしょうか？ けれど、数学の世界では「当たり前」は疑ってかかるべき対象です。この「当たり前」をどこまで確かめられるのか、そもそも「確か」とは何なのかを...

「数理論理学を学びたいけれど、どの教科書から始めればいいかわからない」そんな悩みを持つ人のために、今回は数理論理学の入門〜中級レベルの教科書を5冊、丁寧に紹介していきます。 それぞれの本の良い点・注意点・どんな人に向いているかを率直...