Jump to main content

yr 〜
yr

Search results 104

不完全性定理とはなにか : ゲーデルとチューリング天才はなにを証明したのか 完全版 (ブルーバックス ; B-2277)

不完全性定理とはなにか : ゲーデルとチューリング天才はなにを証明したのか 完全版 (ブルーバックス ; B-2277)
PaperDigital図書
竹内薫 著講談社2024.11<MA41-R12>
National Diet LibraryOther Libraries in Japan

Gödel's incompleteness theorems : pbk

Gödel's incompleteness theorems : pbk
Paper図書
Juliette KennedyCambridge University Pressc2022
Other Libraries in Japan

Gödel's theorem : a very short introduction

Gödel's theorem : a very short introduction
Paper図書
A.W. MooreOxford University Press2022
Other Libraries in Japan

スマリヤン不完全性定理 改訳版

スマリヤン不完全性定理 改訳版
Paper図書
Raymond Smullyan [著], 高橋昌一郎 監訳, 川辺治之, 村上祐子 訳丸善出版2019.12<MA41-M19>
National Diet LibraryOther Libraries in Japan

The Theory of Gödel [: hbk.]

The Theory of Gödel [: hbk.]
Paper図書
Carlo CellucciSpringerc2022
Other Libraries in Japan

スマリヤンのゲーデル・パズル : 論理パズルから不完全性定理へ

スマリヤンのゲーデル・パズル : 論理パズルから不完全性定理へ
Paper図書
レイモンド・M・スマリヤン 著, 川辺治之 訳日本評論社2014.11<MA41-L38>
National Diet LibraryOther Libraries in Japan

不完全性定理

不完全性定理
Paper図書
菊池誠 著共立出版2014.10<MA41-L33>
National Diet LibraryOther Libraries in Japan

今度こそわかるゲーデル不完全性定理

今度こそわかるゲーデル不完全性定理
PaperDigital図書
本橋信義 著講談社2012.3<MA41-J63>
National Diet LibraryOther Libraries in Japan

ゲーデルに挑む : 証明不可能なことの証明

ゲーデルに挑む : 証明不可能なことの証明
Paper図書
田中一之 著東京大学出版会2012.4<MA41-J73>
National Diet LibraryOther Libraries in Japan

ゲーデルの定理 : 利用と誤用の不完全ガイド

ゲーデルの定理 : 利用と誤用の不完全ガイド
Paper図書
トルケル・フランセーン [著], 田中一之 訳みすず書房2011.3<MA41-J51>
National Diet LibraryOther Libraries in Japan

山の上のロジック学園 : 不完全性定理をめぐる2週間の授業日誌

山の上のロジック学園 : 不完全性定理をめぐる2週間の授業日誌
PaperDigital図書
田中一之 著, バラマツヒトミ 絵日本評論社2019.12<MA41-M18>
National Diet LibraryOther Libraries in Japan

The Gödelian puzzle book : puzzles, paradoxes and proofs : [pbk.]

The Gödelian puzzle book : puzzles, paradoxes and proofs : [pbk.]
Paper図書
Raymond M. SmullyanDover Publications2013
Other Libraries in Japan

Journey to the edge of reason : the life of Kurt Gödel : hbk

Journey to the edge of reason : the life of Kurt Gödel : hbk
Paper図書
Stephen BudianskyOxford University Press2021
Other Libraries in Japan

ゲーデル不完全性発見への道 (双書・大数学者の数学 ; 6)

ゲーデル不完全性発見への道 (双書・大数学者の数学 ; 6)
Paper図書
北田均 著現代数学社2011.5<MA41-J55>
National Diet LibraryOther Libraries in Japan

スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論

スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論
Paper図書
レイモンド・スマリヤン 著, 田中朋之, 長尾確 訳白揚社2008.5<MA41-J8>
National Diet LibraryOther Libraries in Japan

Kurt Gödel and the foundations of mathematics : horizons of truth : pbk

Kurt Gödel and the foundations of mathematics : horizons of truth : pbk
Paper図書
edited by Matthias Baaz ... [et al.]Cambridge University Press2014, c2011
Other Libraries in Japan

不完全性定理とはなにか : ゲーデルとチューリングの考えたこと (ブルーバックス ; B-1810)

不完全性定理とはなにか : ゲーデルとチューリングの考えたこと (ブルーバックス ; B-1810)
PaperDigital図書
竹内薫 著講談社2013.4<MA41-L11>
National Diet LibraryOther Libraries in Japan

不完全性定理と算術の体系 (ゲーデルと20世紀の論理学 ; 3)

不完全性定理と算術の体系 (ゲーデルと20世紀の論理学 ; 3)
Paper図書
田中一之 編東京大学出版会2007.3<MA41-H46>
National Diet LibraryOther Libraries in Japan

数学基礎論 4訂版 (放送大学教材 ; 2008)

数学基礎論 4訂版 (放送大学教材 ; 2008)
Paper図書
隈部正博 著放送大学教育振興会2008.3<MA41-J6>
National Diet LibraryOther Libraries in Japan

Impossibility : the limits of science and the science of limits / John D. Barrow.

Impossibility : the limits of science and the science of limits / John D. Barrow.
Paper図書
Oxford University Press1998.<M22-A172>
National Diet Library
  • Subject Heading科学論. 極限. ゲーデル[Godel]の定理. Science -- Philosophy. Limit (Logic) Gödel's theorem.
RSS