はてブログ

はてなブックマーク新着エントリーの過去ログサイトです。



タグ 数学基礎論

新着順 人気順 5 users 10 users 50 users 100 users 500 users 1000 users
 
(1 - 5 / 5件)
 

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

2023/11/06 このエントリーをはてなブックマークに追加 130 users Instapaper Pocket Tweet Facebook Share Evernote Clip www.nhk.jp 誤解 備忘録 NHK 企画意図

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

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

2023/10/21 このエントリーをはてなブックマークに追加 130 users Instapaper Pocket Tweet Facebook Share Evernote Clip www.nhk.jp 誤解 備忘録 NHK 企画意図

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

<書籍紹介> 数学基礎論序説(田中一之 著)【数学】

2019/06/19 このエントリーをはてなブックマークに追加 17 users Instapaper Pocket Tweet Facebook Share Evernote Clip 数学 Ph.D 書籍紹介 体系 記述

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

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

2015/05/11 このエントリーをはてなブックマークに追加 235 users Instapaper Pocket Tweet Facebook Share Evernote Clip よいコード hatsusato 作画アニメ 集合論 コード

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

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

2010/05/13 このエントリーをはてなブックマークに追加 603 users Instapaper Pocket Tweet Facebook Share Evernote Clip 数理論理学 テキスト オンライン グラフ 講義ノート

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

 
(1 - 5 / 5件)