タグ 数学基礎論
人気順 10 users 50 users 100 users 500 users 1000 users【詳細版】 1+1=2 笑えない数学 ~笑わない数学の笑えない間違いの話~ - Sokratesさんの備忘録ないし雑記帳
NHK で放映された『笑わない数学』という番組の次の回が話題になっていた. www.nhk.jp 企画意図としては「\(1+1=2\) という式を通して数学基礎論という分野を紹介する」というものだったのだが,怪しい説明や誤解を招く説明,端的に誤っている説明があった.というか,全体を通してそういうものがとても多かった.どう... 続きを読む
【速報版】 1+1=2 笑えない数学 - Sokratesさんの備忘録ないし雑記帳
NHK で放映された『笑わない数学』という番組の次の回が話題になっている. www.nhk.jp 企画意図としては「\(1+1=2\) という式を通して数学基礎論という分野を紹介する」というものだったのだが,いくつか怪しい説明や誤解を招く説明,端的に誤っている説明が散見された.というか,全体を通してそういうものがとても多... 続きを読む
<書籍紹介> 数学基礎論序説(田中一之 著)【数学】
数学基礎論序説 -数の体系への論理的アプローチ- 東北大学教授 Ph.D. 田中一之 著 A5判/388頁/定価5832円(本体5400円+税8%)/2019年6月発行 ISBN 978-4-7853-1575-7 C3041 意味と形式の織り成す世界へ――. 数学基礎論の入門から最先端までを,大胆な構成と精緻な記述で探る.21世紀の数学基礎論を切り開く力... 続きを読む
よいコード、わるいコード
Transcript 1. よいコード、わるいコード 京都大学理学部数学系4回生 KMC ID: hatsusato 2015/05/11 2. 2/28 自己紹介 ● hatsusato – 理学部数学系4回生 ● 最近は数学基礎論とか集合論とかやってる。 ● プログラミング言語を作りたい。 – 趣味 ● 作画アニメ – すきなもの ● C++ – きらいなもの ● C++ 3. 3/28 よい... 続きを読む
オンラインで入手できる数理論理学・数学基礎論のテキスト
数理論理学、数学基礎論の教科書的に使えるテキスト(講義ノート、サーヴェイ、モノグラフ等)のうち、オンラインで入手できるものを集めました。 入門的概説 Lou van den Dries, “Lecture notes: Mathematical Logic (Math 579).” [PDF] Stephen G. Simpson, “Lecture notes: Mathematical Log... 続きを読む