数学は哲学？特におもしろくもない冗談を言うのはよせよ．

NHK で放映された『笑わない数学』という番組の次の回が話題になっていた． www.nhk.jp 企画意図としては「\(1+1=2\) という式を通して数学基礎論という分野を紹介する」というものだったのだが，怪しい説明や誤解を招く説明，端的に誤っている説明があった…

NHK で放映された『笑わない数学』という番組の次の回が話題になっている． www.nhk.jp 企画意図としては「\(1+1=2\) という式を通して数学基礎論という分野を紹介する」というものだったのだが，いくつか怪しい説明や誤解を招く説明，端的に誤っている説明…

Twitter にて「Tychonoff の定理 が選択公理なしで証明された」という主張を見た． どのような体系で証明されたのかよくわからないが，もし，その体系が ZF の部分体系(もしくはそれと同等の証明能力を持つ体系)であって，また仮に証明されたのが事実だとす…