yr 〜
yr

Search results 71

クルト・ゲーデル : 史上最もスキャンダラスな定理を証明した男

クルト・ゲーデル : 史上最もスキャンダラスな定理を証明した男
Paper図書
スティーブン・ブディアンスキー 著, 渡会圭子 訳森北出版2023.2<GK561-M466>
National Diet LibraryOther Libraries in Japan

ゲーデルの悪霊たち : 論理学と狂気

ゲーデルの悪霊たち : 論理学と狂気
Paper図書
ピエール・カスー=ノゲス [著], 新谷昌宏 訳みすず書房2020.7<GK561-M168>
National Diet LibraryOther Libraries in Japan

ノイマン・ゲーデル・チューリング (筑摩選書 ; 0102)

ノイマン・ゲーデル・チューリング (筑摩選書 ; 0102)
PaperDigital図書
高橋昌一郎 著筑摩書房2014.10<MA25-L46>
National Diet LibraryOther Libraries in Japan

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

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

時間のない宇宙 : ゲーデルとアインシュタイン最後の思索

時間のない宇宙 : ゲーデルとアインシュタイン最後の思索
PaperRecording Media図書障害者向け資料あり
パレ・ユアグロー 著, 林一 訳白揚社2006.7<GK439-H11>
National Diet LibraryOther Libraries in Japan

ロジカル・ディレンマ : ゲーデルの生涯と不完全性定理

ロジカル・ディレンマ : ゲーデルの生涯と不完全性定理
Paper図書
ジョン・W.ドーソンJr 著, 村上祐子, 塩谷賢 訳新曜社2006.12<GK439-H12>
National Diet LibraryOther Libraries in Japan

ゲーデルの20世紀 (ゲーデルと20世紀の論理学 ; 1)

ゲーデルの20世紀 (ゲーデルと20世紀の論理学 ; 1)
Paper図書
田中一之 編東京大学出版会2006.7<MA41-H38>
National Diet LibraryOther Libraries in Japan

ゲーデルの世界 : その生涯と論理

ゲーデルの世界 : その生涯と論理
Paper図書
ジョン・L.カスティ, ヴェルナー・デパウリ 著, 増田珠子 訳青土社2003.1<GK439-H3>
National Diet LibraryOther Libraries in Japan

ゲーデル 新版

ゲーデル 新版
Paper図書
竹内外史 著日本評論社1998.9<MA25-G33>
National Diet LibraryOther Libraries in Japan

ゲーデル未刊哲学論稿

ゲーデル未刊哲学論稿
Paper図書
ゲーデル [著], ロドリゲスーコンスエグラ 編, 好田順治 訳青土社1997.8<H151-G11>
National Diet LibraryOther Libraries in Japan

ゲーデル再考 : 人と哲学

ゲーデル再考 : 人と哲学
Paper図書
ハオ・ワン 著, 土屋俊, 戸田山和久 訳産業図書1995.9<GK439-G1>
National Diet LibraryOther Libraries in Japan

ゲーデルを語る : 1983年7月10日-12日ザルツブルクにて

ゲーデルを語る : 1983年7月10日-12日ザルツブルクにて
PaperDigital図書
R.ゲーデル [ほか]著, P.ワインガルトナー, L.シュメッテラー 編, 前原昭二, 本橋信義 訳遊星社1992.12<GK439-E20>
National Diet LibraryOther 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

Memoirs of a proof theorist : Gödel and other logicians / [Gaisi Takeuti ; translated by] Mariko Yasugi, Nicholas Passell.

Memoirs of a proof theorist : Gödel and other logicians / [Gaisi Takeuti ; translated by] Mariko Yasugi, Nicholas Passell.
Paper図書
World Scientificc2003.<MA25-B6>
National Diet Library
  • Subject HeadingGödel, Kurt. Proof theory.

ゲーデル

ゲーデル
PaperDigital図書
竹内外史 著日本評論社1986.11<MA25-126>
National Diet LibraryOther Libraries in Japan

Incompleteness : the proof and paradox of Kurt Gödel / Rebecca Goldstein. 1st ed. (Great discoveries)

Incompleteness : the proof and paradox of Kurt Gödel / Rebecca Goldstein. 1st ed. (Great discoveries)
Paper図書
W.W. Nortonc2005.<GK439-B8>
National Diet Library
  • Subject HeadingGödel, Kurt. Logicians -- United States --...

Kurt Gödel : the genius of metamathematics

Kurt Gödel : the genius of metamathematics
Paper図書
William D. BrewerSpringerc2022
Other Libraries in Japan

A world without time : the forgotten legacy of Gödel and Einstein / Palle Yourgrau. 1st ed.

A world without time : the forgotten legacy of Gödel and Einstein / Palle Yourgrau. 1st ed.
Paper図書
Basic Booksc2005.<MC51-B8>
National Diet Library
  • Subject HeadingEinstein, Albert, 1879-1955. Gödel, Kurt. Time -- History -- 20th centu...

Gödel's disjunction : the scope and limits of mathematical knowledge

Gödel's disjunction : the scope and limits of mathematical knowledge
Paper図書
Leon Horsten, Philip WelchOxford University Press2016
Other Libraries in Japan

The Theory of Gödel [: hbk.]

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