Sokratesさんの備忘録ないし雑記帳

書きたいことを書いている.駄文注意.

数学基礎論

ヒルベルトの有限算術のはなし ~1+1=2 笑えない数学 落ち穂拾い~

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

【詳細版】 1+1=2 笑えない数学 ~笑わない数学の笑えない間違いの話~

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

【速報版】 1+1=2 笑えない数学

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

論理学およびその周辺領域の本

論理学とその周辺領域の本を並べてみた*1.この記事にあげる本は,何らかの形でわたし自身が手に取ったことのあるもの(読んだとは言っていない)に限定している*2.ただし,原語版は手に取ったことがあるが,日本語訳はそうではない,またはその逆という場合…

ZF が矛盾した日

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

【備忘録】人生で一度は証明を追いたい命題一覧

だいぶ前にTwitterで「人生で一度は証明を追いたい定理」とかいう話題が盛り上がっていた. もとツイートを探そうかお思ったんだが, 見つからなかった(←探し方が悪い)ので誰が言い始めたのかはわからないのだが, 「なるほど, 確かにそういう定理・命題・補題…