資料詳細

  • 1 件中、 1 件目

数学基礎論 利用可

前原　昭二／著 -- 筑摩書房 -- 2017.1 -- 410.9

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 書庫 410.9/ﾏｴﾊ/一般Ｈ 120331759 一般 利用可

ページの先頭へ

資料詳細

タイトル 数学基礎論
書名ヨミ スウガク　キソロン
シリーズ名 ちくま学芸文庫
副叢書名 マ４１－１
著者名 前原　昭二 ／著, 竹内　外史 ／著  
著者ヨミ マエハラ，ショウジ , タケウチ，ガイシ  
出版者 筑摩書房  
出版年 2017.1
ページ数等 ２０２ｐ
大きさ １５ｃｍ
一般注記 放送大学教育振興会　１９９０年刊の再刊
一般件名 数学基礎論  
ISBN 4-480-09763-5
ISBN13桁 978-4-480-09763-7
定価 １０００円
問合わせ番号（書誌番号） 1120080116
NDC8版 410.9
NDC9版 410.9
内容紹介 集合をめぐるパラドックス、ゲーデルの不完全性定理からファジー論理、Ｐ＝ＮＰ問題まで。日本を代表する数学基礎論の大家がその歴史、および現代的なトピックについて平易に解説した入門書。

ページの先頭へ

内容一覧

タイトル 著者名 ページ
数学における集合論的方法
集合論の公理
数学的命題の形式化
数学的推論の形式化
数学的証明の形式化
ゲーデル数
不完全性定理
自然数論の形式化
自然数論に対する無矛盾性証明の必要性
自然数論の無矛盾性証明のアイディア
直観論理
ファジー論理
計算論
集合論の課題
基礎論の将来

ページの先頭へ