検索結果書誌詳細

  • 書誌の詳細です。 現在、予約しているのは 0 件です。
  • 「資料情報」から書誌を予約カートに入れるページに移動します。

蔵書情報

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

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

書誌情報サマリ

書名

スマリヤン不完全性定理 

著者名 Raymond Smullyan/[著]
著者名ヨミ Raymond Smullyan
出版者 丸善出版
出版年月 2019.12


この資料に対する操作

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

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

  

この資料に対する操作

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


登録するリストログインメモ


資料情報

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

No. 資料番号 請求記号 帯出区分 状態 配架場所 貸出
1 0107434219410.9/スマ/貸閲複可在庫 2階一般

関連資料

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

Raymond Smullyan 高橋 昌一郎 川辺 治之 村上 祐子
2019
410.9 410.9

書誌詳細

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

タイトルコード 1009951897162
書誌種別 和図書(一般)
著者名 Raymond Smullyan/[著]   高橋 昌一郎/監訳   川辺 治之/訳   村上 祐子/訳
著者名ヨミ Raymond Smullyan タカハシ ショウイチロウ カワベ ハルユキ ムラカミ ユウコ
出版者 丸善出版
出版年月 2019.12
ページ数 9,178p
大きさ 21cm
ISBN 4-621-30478-5
分類記号 410.9
分類記号 410.9
書名 スマリヤン不完全性定理 
書名ヨミ スマリヤン フカンゼンセイ テイリ
内容紹介 不完全性定理に関心を持つ一般読者にも十分理解できるように書かれた入門書。ゲーデルの証明、タルスキーの定理、ロッサー体系など、最も単純なものを中心に、創意工夫をこらして解説。
著者紹介 論理学者。ピアニスト。マジシャン。2017年没。

(他の紹介)目次 ゲーデルの証明の基礎概念
算術におけるタルスキーの定理
べき乗に基づくペアノ算術における不完全性
べき乗に基づかない算術
ω無矛盾性に基づくゲーデルの証明
ロッサー体系
シェファードソンの表現定理
定義可能性と対角化
無矛盾性の証明不可能性
証明可能性と真理性に関する一般概念
自己言及体系


目次


内容細目

前のページへ

本文はここまでです。


ページの終わりです。