Gödel, Kurt, 1906-1978
著者名典拠詳細を表示
著者の属性 | 個人 |
---|---|
一般注記 | His The consistency of the axiom of choice ... 1940 b. 1906; Ph.D.--Univ. of Vienna; became an American citizen in 1948 EDSRC:ゲーデル未刊哲学論稿 / ロドリゲス-コンスエグラ編 ; 好田順治訳(青土社, 1997.8)よりSFを追加 |
生没年等 | 1906-1978 |
から見よ参照 | Gödel, K ゲーデル, クルト<ゲーデル, クルト> |
コード類 | 典拠ID=AU00001051 NCID=DA00112751 |
1 | 不完全性定理 / ゲーデル [著] ; 林晋, 八杉満利子訳・解説 東京 : 岩波書店 , 2006.9 |
2 | Collected works / Kurt Gödel ; edited by Solomon Feferman ... [et al.] v. 1,v. 2,v. 3. - Pbk. ed. - New York ; Oxford : Oxford University Press , 2001, c1986-c1995 |
3 | On formally undecidable propositions of Principia mathematica and related systems / Kurt Gödel ; translated by B. Meltzer ; introduction by R.B. Braithwaite : pbk. - New York : Dover Publications , 1992 |
4 | Foundations of mathematics : symposium papers commemorating the sixtieth birthday of Kurt Gödel / edited by Jack J. Bulloff, Thomas C. Holyoke, S. W. Hahn New York : Springer-Verlag , 1969 |
5 | Collected papers of K. Gödel I : "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I" and other titles / Kurt Gödel [s.l.] : [s.n.] , [19--] |