資料詳細

  • 1 件中、 1 件目

数学基礎論序説 利用可

田中　一之／著 -- 裳華房 -- 2019.6 -- 410.9

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 一般 410.9/ﾀﾅｶ/一般 120949601 一般 利用可

ページの先頭へ

資料詳細

タイトル 数学基礎論序説
書名ヨミ スウガク　キソロン　ジョセツ
副書名 数の体系への論理的アプローチ
著者名 田中　一之 ／著  
著者ヨミ タナカ，カズユキ  
出版者 裳華房  
出版年 2019.6
ページ数等 ３７４ｐ
大きさ ２２ｃｍ
一般注記 欧文タイトル：ＬＯＧＩＣＡＬ　ＦＯＵＮＤＡＴＩＯＮＳ　ＯＦ　ＭＡＴＨＥＭＡＴＩＣＳ
一般件名 数学基礎論  
ISBN 4-7853-1575-X
ISBN13桁 978-4-7853-1575-7
定価 ５４００円
問合わせ番号（書誌番号） 1120273521
NDC8版 410.9
NDC9版 410.9
内容紹介 意味と形式の織り成す世界へ…。数学基礎論の基本ツールとなる数理論理学を初学者に向けて丁寧に解説。入門から最先端までを、大胆な構成と精緻な記述で探る。２１世紀の数学基礎論を切り拓く１冊。
著者紹介 １９５５年東京都に生まれる。１９７８年東京工業大学理学部卒業。同大学院理工学研究科博士課程中退。１９８６年カリフォルニア大学バークレー校博士課程修了。Ｐｈ．Ｄ．（数学）。１９９７年より東北大学大学院理学研究科数学専攻教授。主要著書に『数学基礎論講義』（編著、日本評論社、１９９７）などがある。（本データはこの書籍が刊行された当時に掲載されていたものです） 

ページの先頭へ

内容一覧

タイトル 著者名 ページ
数学基礎論の考え方
第１部　数理論理学入門（等式理論；１階論理；モデルの理論）
第２部　自然数と実数の形式体系（１階算術と不完全性定理；１階算術の超準モデル；実閉体の完全性と決定可能性）
第３部　２階算術と逆数学（実数論と逆数学；２階算術と超準的方法）

ページの先頭へ