close
1.

図書

図書
吉野崇, 田中一之共著
出版情報: 東京 : 培風館, 1998.3  iv, 128p ; 21cm
所蔵情報: loading…
2.

図書

図書
レイモンド・M・スマリヤン著 ; 川辺治之訳
出版情報: 東京 : 日本評論社, 2017.9-2018.9  2冊 ; 22cm
所蔵情報: loading…
3.

図書

図書
田中一之著
出版情報: 東京 : 東京大学出版会, 2012.4  viii, 177p ; 21cm
所蔵情報: loading…
4.

図書

図書
田中一之編
出版情報: 東京 : 東京大学出版会, 2006.7-2007.7  4冊 ; 22cm
所蔵情報: loading…
5.

図書

図書
田中一之著
出版情報: 東京 : 裳華房, 2002.4  xvii, 265p ; 22cm
所蔵情報: loading…
6.

図書

図書
トルケル・フランセーン [著] ; 田中一之訳
出版情報: 東京 : みすず書房, 2011.3  241p ; 22cm
所蔵情報: loading…
7.

図書

図書
田中一之編・監訳
出版情報: 東京 : シュプリンガー・フェアラーク東京, 1999.2  v, 213p ; 21cm
所蔵情報: loading…
8.

図書

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

図書

図書
ジョン・スティルウェル著 ; 川辺治之訳
出版情報: 東京 : 森北出版, 2019.2  viii, 217p ; 22cm
所蔵情報: loading…
目次情報: 続きを見る
第1章 : 逆数学に至る歴史
第2章 : 古典的算術化
第3章 : 古典的解析学
第4章 : 計算可能性
第5章 : 計算の算術化
第6章 : 算術的内包公理
第7章 : 再帰的内包公理
第8章 : 全体像
第1章 : 逆数学に至る歴史
第2章 : 古典的算術化
第3章 : 古典的解析学
概要: 定理の証明にはいったい、どれくらいの公理が必要なのだろう?考え方と歴史を知るための入門ガイド。
10.

図書

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