数学を教える人が読んでおきたい論理の本 - hiroyukikojimaの日記

2015/02/18 343 users hiroyukikojima 論理 数学 冊数 推論

23:18　ぼくは、以前から、論理とゲーム理論とをクロスオーバーさせた本を書きたい、というテーマを持っており、それは拙著『数学的推論が世界を変える〜金融・ゲーム・コンピューター』NHKブックスで果たすことができた。この本を書くために、今まで、けっこうな冊数の数理論理学の教科書を読んできた。その中でめぐりあったのが、ゲンツェンの自然演繹と呼ばれる推論規則のセットであった。推論規則というのは、数学の証... 続きを読む

forやめろ -- LL Diver 2014 LT枠

2014/08/23 141 users LT枠 staticおじさん Esehara Shigeo

forやめろ -- LL Diver 2014 LT枠 Presentation Transcript for やめろ esehara shigeo お前 誰だ esehara shigeo 趣味:言語いじり FizzBuzzの研究 数論・数理論理学←New!! Pythonista Clojuren 最初に 結論を 時代は Staticおじさん から forおじさんへ では 始めます FizzB... 続きを読む

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

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

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