スマリヤン不完全性定理

• 資料種別: 図書
• ISBN: 978-4-621-30478-5
• タイトル: スマリヤン不完全性定理
• タイトルよみ: スマリヤン フカンゼンセイ テイリ
• 著者・編者: Raymond Smullyan [著]; 高橋昌一郎 監訳; 川辺治之, 村上祐子 訳
• 版: 改訳版
• 著者標目: Smullyan, Raymond M, 1919-2017 ( 00457034 )典拠; 高橋, 昌一郎, 1959- タカハシ, ショウイチロウ, 1959- ( 00383258 )典拠; 川辺, 治之 カワベ, ハルユキ ( 01137123 )典拠; 村上, 祐子, 1968- ムラカミ, ユウコ, 1968- ( 01009644 )典拠
• 出版事項: 東京 : 丸善出版
• 出版年月日等: 2019.12
• 出版年（W3CDTF）: 2019
• 数量: 178p
• 大きさ: 21cm
• その他のタイトル: Gödel's Incompleteness Theorems
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 原文の言語コード: eng
• 件名標目: ゲーデルの定理 ゲーデルノテイリ ( 00562524 )典拠
• NDC10版: 410.9 : 数学
• NDLC: MA41
• 対象利用者: 一般
• 一般注記: 初版のタイトル等: ゲーデルの不完全性定理(丸善 1996年刊); 原タイトル: Gödel's Incompleteness Theorems
• 書誌注記: 文献あり 索引あり
• 入手条件・定価: 2400円
• 所蔵機関: 国立国会図書館
• 請求記号: MA41-M19
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 030140957; http://id.ndl.go.jp/bib/030140957
• 全国書誌番号: 23323394
• トーハンMARC番号: 34016785
• 目録規則: 日本目録規則1987年版改訂版
• 整理区分コード: 111

• 要約等: 『ゲーデルの不完全性定理』（高橋昌一郎訳，丸善，1996年）の改訳版。訳文に加筆修正を加えた。（提供元: 出版情報登録センター（JPRO））

目次

第I章　ゲーデルの証明の基礎概念

I.　ゲーデルの定理とタルスキーの定理の抽象形式

II.　言語Lにおける決定不可能な文

第II章　算術におけるタルスキーの定理

I.　言語L_E