機器更新のため、各図書施設は令和7年12月29日から令和8年1月8日まで休館し、
図書館システムは令和7年12月28日21時から令和8年1月9日8時まで停止します。
山の手図書館は大規模改修のため、令和7年9月1日から令和8年1月31日(予定)まで臨時休館します。

検索結果書誌詳細

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 0 予約数 0

書誌情報

書名

公理と証明 証明論への招待  ちくま学芸文庫  

著者名 彌永 昌吉/著   赤 攝也/著
出版者 筑摩書房
出版年月 2012.9


この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

  

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。


マイ本棚へ追加ログインメモ


資料情報

各蔵書資料に関する詳細情報です。

No. 所蔵館 資料番号 請求記号 配架場所 所蔵棚番号 資料種別 帯出区分 状態 付録 貸出
1 中央図書館0119050888410.9/イ/1階文庫91一般図書一般貸出貸出中  ×

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

2012
410.9 410.9
数学基礎論 証明(数学)

書誌詳細

この資料の書誌詳細情報です。

タイトルコード 1008000577775
書誌種別 図書
書名 公理と証明 証明論への招待  ちくま学芸文庫  
書名ヨミ コウリ ト ショウメイ 
著者名 彌永 昌吉/著
著者名ヨミ イヤナガ ショウキチ
著者名 赤 攝也/著
著者名ヨミ セキ セツヤ
出版者 筑摩書房
出版年月 2012.9
ページ数 184p
大きさ 15cm
分類記号 410.9
分類記号 410.9
ISBN 4-480-09481-0
内容紹介 公理とは、証明とは何か? あらゆる数学の基礎となる公理系のしくみ、そして数学全体を見渡す理論である証明論の初歩を、具体例をもとに平易に解説する。
件名 数学基礎論、証明(数学)
言語区分 日本語

(他の紹介)内容紹介 数学は学問のなかでもっとも確実なもの、疑えないものと考えられている。数学の確かさは、出発点となる命題、つまり「公理」から、「証明」によって新しいことを導き出すという推論のしくみによって保証される。しかし公理や証明それ自体の確からしさは、いかにして基礎づけられるのだろうか?カントールの創りだした集合論が実は矛盾含みであることをラッセルが明らかにすると、数学者たちはこの問題に目を向けざるをえなくなったのだった。公理とは、証明とは何か?本書はあらゆる数学の基礎となる公理系のしくみ、そして数学全体を見渡す理論である証明論の初歩を、具体例をもとに平易に解説した「数学の基礎」入門である。
(他の紹介)目次 第1章 公理(公理とは何か
ギリシアの数学
プラトン、アリストテレス、エウクレイデス ほか)
第2章 数学の基礎(数学の基礎
論理主義
直観主義 ほか)
第3章 証明論(形式的体系
無矛盾性の証明
結び)
(他の紹介)著者紹介 彌永 昌吉
 1906年生まれ。1929年東京帝国大学理学部数学科卒業。東京大学教授を経て同大学名誉教授。2006年没(本データはこの書籍が刊行された当時に掲載されていたものです)
赤 攝也
 1926年生まれ。1949年東京大学理学部数学科卒業。立教大学、東京教育大学、放送大学教授を歴任(本データはこの書籍が刊行された当時に掲載されていたものです)


内容細目表

前のページへ

本文はここまでです。


ページの終わりです。