>> Amazon.co.jp
このページのQRコード

逆数学 : 定理から公理を「証明」する

種類:
図書
責任表示:
ジョン・スティルウェル著 ; 川辺治之訳
出版情報:
東京 : 森北出版, 2019.2
著者名:
ISBN:
9784627054516 [4627054513]  CiNii Books  Calil
注記:
監訳・解説: 田中一之
参考文献: p189-195, p204-205
索引: p207-217
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える : The mathematical intelligencer誌より

田中, 一之

シュプリンガー・フェアラーク東京
7 図書 数学要項定理公式証明辞典

笹部, 貞市郎(1887-)

聖文社
2 図書 数学の言葉と論理

渡辺, 治(1958-), 北野, 晃朗(1958-), 木村, 泰紀(1970-), 谷口, 雅治(1966-)

朝倉書店
8 図書 証明論入門

竹内, 外史(1926-), 八杉, 満利子(1937-)

共立出版
3 図書 計算論入門 : 計算の基本原理理解のために

渡辺, 治(1958-), 米崎, 直樹(1950-)

日本評論社
9 図書 組合せ数学

Wilson, Robin J., 川辺, 治之

岩波書店
4 図書 完全性定理とモデル理論

田中, 一之

東京大学出版会
10 図書 ゲーデルの定理 : 利用と誤用の不完全ガイド

Franzén, Torkel, 田中, 一之

みすず書房
5 図書 數理の歴史主義展開 : 數學基礎論覺書

田辺, 元(1885-1962)

筑摩書房
11 図書 計算可能性・計算の複雑さ入門

渡辺, 治 (1958-)

近代科学社
6 図書 不完全性定理と算術の体系

田中, 一之

東京大学出版会
12 図書 ボロバシュ数学の技法 : メンフィスでコーヒーを飲みながら

Bollobás, Béla, 川辺, 治之

丸善出版