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

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

集合論

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

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

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

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

ZF が矛盾した日

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

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

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

数を数えて遊ぼっ! ~その0(前提知識編)~

今日の話はこちら! wreck1214.hatenablog.com 「伝道師になろう」というイベントがあります. 変な名前ですが, 宗教系のイベントではありません*1. 中身は「好きな趣味の話をして, 自分の趣味を伝道しようぜ」というオタクのオタクによるオタクのための会です…