【詳細版】 1+1=2 笑えない数学 ～笑わない数学の笑えない間違いの話～ - Sokratesさんの備忘録ないし雑記帳

2023/11/06 130 users www.nhk.jp 誤解 備忘録 NHK 企画意図

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

【速報版】 1+1=2 笑えない数学 - Sokratesさんの備忘録ないし雑記帳

2023/10/21 130 users www.nhk.jp 誤解 備忘録 NHK 企画意図

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

よいコード、わるいコード

2015/05/11 235 users よいコード hatsusato 作画アニメ 集合論 コード

Transcript 1. よいコード、わるいコード 京都大学理学部数学系４回生 KMC ID: hatsusato 2015/05/11 2. 2/28 自己紹介 ● hatsusato – 理学部数学系４回生 ● 最近は数学基礎論とか集合論とかやってる。 ● プログラミング言語を作りたい。 – 趣味 ● 作画アニメ – すきなもの ● C++ – きらいなもの ● C++ 3. 3/28 よい... 続きを読む

オンラインで入手できる数理論理学・数学基礎論のテキスト

2010/05/13 603 users 数理論理学 テキスト オンライン グラフ 講義ノート

数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 Lou van den Dries, “Lecture notes: Mathematical Logic (Math 579).” [PDF] Stephen G. Simpson, “Lecture notes: Mathematical Log... 続きを読む