数学基礎論の入門から最先端までを大胆な構成と精緻な記述で探る。21世紀の数学基礎論を切り開く力作。

... 数学の立場で、もうひとつは、現在主流となっている記号論理学の立場、つまりフレーゲに代表される、数理を論理の一部と考える数学基礎論の立場であるが、数理と論理のどちらか一方によって他方を基礎付けるという課題に対しては、そのどちらも成功を収め ...

... 数学基礎論の定評ある入門書.〔 9 〕— , “ The Work of Kurt Gödel , ” Journal of Symbolic Logic , [ 10 ] - vol.41 , no ... 序説』,ダイヤモンド社, 1971.数学基礎論全般にわたる諸結果を紹介している. [ 14 ] [ 15 ] [ 16 ] [ 17 ]『数学概説』,日本 ...

... 論の歴史的分析 1.2 』『法律時報』 53 巷 9 号, 53 巻 10 号 Urmson , J. O. , 1950 : " On Grading , " Mind 59 . Urmson ... 数学基礎論序説』培風館) . Wilder , Raymond L. , 1968 : Evolution of Mathematical Concepts , New York and Toronto , John ...

算数・数学の授業にふさわしいコミュニケーションできていますか?“説明し伝え合う”算数・数学的活動のために教師が必ず理解しておきたい「数学的コミュニケーション」の ...

1945-2000. ◇プログラムによる基礎数学 1 自然数と集合の理論 E.ラバン著,矢野健太郎,田島一郎訳編矢野健太郎訳共立出版 ... 序説尾崎弘,尾崎哲夫著南雲堂 1996.1 275p 21cm 4800 円( i ) 4-523- 35240-2 410.9 ( 00893 ) ◇やさしい集合デュモン著,中谷太郎訳 ...

第1卷(昭和39年版). 数学演習ノート数学原論代数数学原論数学原論 和漢書書名索引 60.92 台風第 12 号の. 和漢書書名索引数値解析の基礎 ... 論序説スパルタ教育 65 205 260 水平思考 5 日間コース 17 スピノザ研究 29 数值 ... 数学原論実一変数関数 235 水門 ...

不完全性定理についてのゲーデルの理論を入門的かつ精密に紹介。〔内容〕数学的理論の形式化/命題論理/述語論理/等号をもつ述語論理/型の理論/自然数論/自然数の関係と関数に ...