close
1.

図書

図書
レイモンド・M・スマリヤン著 ; 川辺治之訳
出版情報: 東京 : 日本評論社, 2018.9  v, 312p ; 22cm
シリーズ名: スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 下巻
所蔵情報: loading…
目次情報: 続きを見る
第1部 命題論理と一階述語論理の進んだ話題 : 命題論理の進んだ話題
一階述語論理の進んだ話題
第2部 再帰的関数論とメタ数学 : 再帰的関数論、決定不能性、不完全性
初等形式体系と再帰的枚挙可能性
再帰的関数論
二重化による一般化
メタ数学とのつながり
第3部 コンビネータ論理の構成要素 : コンビネータ論理事始め
さまざまなコンビネータ
賢者、預言者、それらの二重化
完全体系と部分体系
コンビネータ、再帰的関数論、決定不能性
第1部 命題論理と一階述語論理の進んだ話題 : 命題論理の進んだ話題
一階述語論理の進んだ話題
第2部 再帰的関数論とメタ数学 : 再帰的関数論、決定不能性、不完全性
概要: スマリヤンが追求した不完全性定理後の数理論理学。数学者レイモンド・M・スマリヤン(1919‐2017)。明快さと機知に富む多くの著作で知られる。その最後の著作となった、数理論理学(数学基礎論)の入門書。得意のジョークも交えた独特の筆致で読者 を数理論理学の深い理解へと誘います。 続きを見る
2.

図書

図書
田中一之著
出版情報: 東京 : 共立出版, 2022.6  viii, 299p ; 22cm
所蔵情報: loading…
目次情報: 続きを見る
第1章 計算理論入門 : オートマトンとモノイド
チューリング機械 ほか
第2章 命題論理と計算の複雑さ : トートロジーと証明
命題論理の完全性 ほか
第3章 1階論理と決定問題 : 1階論理とは
スコーレムの定理 ほか
第4章 2階論理と無限オートマトン : 2階論理
2階算術と解析的階層 ほか
第5章 階層理論と許容集合 : オラクル計算と相対化
m還元と単純集合 ほか
第1章 計算理論入門 : オートマトンとモノイド
チューリング機械 ほか
第2章 命題論理と計算の複雑さ : トートロジーと証明
3.

図書

図書
レイモンド・M・スマリヤン著 ; 川辺治之訳
出版情報: 東京 : 日本評論社, 2017.9  iii, 363p ; 22cm
シリーズ名: スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 上巻
所蔵情報: loading…
目次情報: 続きを見る
第1部 一般的な予備知識 : 数理論理学の起源
無限集合
問題発生!
数学の基礎知識
第2部 命題論理 : 命題論理事始め
命題論理のタブロー
公理論的命題論理
第3部 一階述語論理 : 一階述語論理事始め
重要な結果
第4部 体系の不完全性 : 一般的状況での不完全性
一階算術
形式体系
ペアノ算術
進んだ話題
第1部 一般的な予備知識 : 数理論理学の起源
無限集合
問題発生!
概要: スマリヤン論理学の集大成・決定版。数学者レイモンド・M.スマリヤン(1919‐2017)。明快さと機知に富む多くの著作で知られる。その最後の著作となった、数理論理学(数学基礎論)の入門書。得意のパズルも交えた独特の筆致で読者を数理論理学の深 い理解へと誘います。 続きを見る
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼