数学を教える人が読んでおきたい論理の本 - 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... 続きを読む

お勧めの数理論理の本を２冊＋新刊の予告 - hiroyukikojimaの日記

2012/11/21 79 users hiroyukikojima 新書 朝倉書店 作者 予告

22:28　来月に刊行される新書を書くためと、ゲーム理論の研究のためとで、ずっと数理論理の勉強をしてきた。このブログでも、何冊かの数理論理の本を紹介してきた(例えば、ゲーデル本食い歩き - hiroyukikojimaの日記など）。そんな中、最近読んだものの中に、お勧めの本が2冊見つかったので、今回はそれを紹介しようと思う。一冊目は、鹿島亮『数理論理学』朝倉書店だ。数理論理学 (現代基礎数学)作者... 続きを読む

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

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

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