【詳細版】 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\) という式を通して数学基礎論という分野を紹介する」というものだったのだが，いくつか怪しい説明や誤解を招く説明，端的に誤っている説明が散見された．というか，全体を通してそういうものがとても多... 続きを読む

＜書籍紹介＞　数学基礎論序説（田中一之 著）【数学】

2019/06/19 17 users 数学 Ph.D 書籍紹介 体系 記述

数学基礎論序説 －数の体系への論理的アプローチ－ 東北大学教授　Ph.D.　田中一之 著 Ａ５判／388頁／定価5832円（本体5400円＋税8％）／2019年6月発行 ISBN 978-4-7853-1575-7 C3041 意味と形式の織り成す世界へ――． 数学基礎論の入門から最先端までを，大胆な構成と精緻な記述で探る．21世紀の数学基礎論を切り開く力... 続きを読む

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

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... 続きを読む