この記事は Mathematical Logic Advent Calendar 2023 - Adventar と Math Advent Calendar 2023 - Adventar の16日目の記事である．より正確にはMathematical Logic Advent Calendar 2023 - Adventarの主催に書くことを強要された記事である． adventar.org…

この記事は 【速報版】 1+1=2 笑えない数学 - Sokratesさんの備忘録ないし雑記帳 や 【詳細版】 1+1=2 笑えない数学 ～笑わない数学の笑えない間違いの話～ - Sokratesさんの備忘録ないし雑記帳 へ寄せられた反応やコメントへの返信のための記事である。 sok…

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

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