Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Gödel
保存先:
| 第一著者: | |
|---|---|
| フォーマット: | 図書 |
| 言語: | 英語 |
| 出版事項: |
Amsterdam
North-Holland
1964
|
| シリーズ: | Studies in logic and the foundations of mathematics
|
| 主題: | |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
類似資料
Imposibilidad: los límites de la ciencia y la ciencia de los límites
著者:: Barrow, John David
出版事項: (1999)
著者:: Barrow, John David
出版事項: (1999)
Las sombras de la mente: hacia una comprensión científica de la consciencia
著者:: Penrose, Roger
出版事項: (1996)
著者:: Penrose, Roger
出版事項: (1996)
Las sombras de la mente: hacia una comprensión científica de la consciencia
著者:: Penrose, Roger
出版事項: (1996)
著者:: Penrose, Roger
出版事項: (1996)
Juegos por siempre misteriosos
著者:: Smullyan, Raymond
出版事項: (1995)
著者:: Smullyan, Raymond
出版事項: (1995)
El teorema de Gödel
著者:: Nagel, Ernest
出版事項: (1970)
著者:: Nagel, Ernest
出版事項: (1970)
El teorema de Gödel
著者:: Nagel, Ernest
出版事項: (1981)
著者:: Nagel, Ernest
出版事項: (1981)
Aventuras matemáticas: una ventana hacia el caos y otros episodios
著者:: Guzmán Ozámiz, Miguel de
出版事項: (1997)
著者:: Guzmán Ozámiz, Miguel de
出版事項: (1997)
Lo grande, lo pequeño y la mente humana
著者:: Penrose, Roger
出版事項: (1999)
著者:: Penrose, Roger
出版事項: (1999)
Gôdel's proof
著者:: Nagel, Ernest, 等
出版事項: (1958)
著者:: Nagel, Ernest, 等
出版事項: (1958)
La prueba de Gödel
著者:: Nagel, Ernest
出版事項: (1959)
著者:: Nagel, Ernest
出版事項: (1959)
Gödel, Escher, Bach: un eterno y grácil bucle
著者:: Hofstadter, Douglas R
出版事項: (1992)
著者:: Hofstadter, Douglas R
出版事項: (1992)
Gödel, Escher, Bach: un eterno y grácil bucle
著者:: Hofstadter, Douglas R
出版事項: (1998)
著者:: Hofstadter, Douglas R
出版事項: (1998)
Lectures on the arithmetic Riemann-Roch theorem
著者:: Faltings, Gerd
出版事項: (1992)
著者:: Faltings, Gerd
出版事項: (1992)
On formally undecidable propositions of principia mathematica and related systems
著者:: Gödel, Kurt Friedrich
出版事項: (1992)
著者:: Gödel, Kurt Friedrich
出版事項: (1992)
Büchi's Monadic second order successor arithmetic
著者:: Siefkes, Dirk
出版事項: (1970)
著者:: Siefkes, Dirk
出版事項: (1970)
Solved and unsolved problems in number theory
著者:: Shanks, Daniel
出版事項: (1978)
著者:: Shanks, Daniel
出版事項: (1978)
Teoría de autómatas y lenguajes formales
著者:: García Gómez, Pedro, 等
出版事項: (2001)
著者:: García Gómez, Pedro, 等
出版事項: (2001)
Introduction to analytic number theory
著者:: Apostol, Tom M
出版事項: (1976)
著者:: Apostol, Tom M
出版事項: (1976)
The theory of arithmetic functions
著者:: Gioia, Anthony A, 等
出版事項: (1972)
著者:: Gioia, Anthony A, 等
出版事項: (1972)
Probability theory
著者:: Renyi, A
出版事項: (1970)
著者:: Renyi, A
出版事項: (1970)
Fermat's last theorem: a genetic introduction to algebraic number theory
著者:: Edwards, Harold M
出版事項: (1977)
著者:: Edwards, Harold M
出版事項: (1977)
Introduction to the theory of systems
著者:: Kupka, Iván
出版事項: (1981)
著者:: Kupka, Iván
出版事項: (1981)
The theory of the Riemann zeta-function
著者:: Titchmarsh, Edward Charles
出版事項: (1951)
著者:: Titchmarsh, Edward Charles
出版事項: (1951)
Sistemas formales, informalmente: por qué intentaron formalizar a la matemática si era tan buena muchacha
著者:: Gómez, Pedro, 等
出版事項: (1995)
著者:: Gómez, Pedro, 等
出版事項: (1995)
The theory of sets and transfinite arithmetic
著者:: Abian, Alexander
出版事項: (1965)
著者:: Abian, Alexander
出版事項: (1965)
Eléments de Mathématique: théorie des ensembles
著者:: Bourbaki, Nicolás
出版事項: (1966)
著者:: Bourbaki, Nicolás
出版事項: (1966)
English sentences
著者:: Roberts, Paul
出版事項: (1962)
著者:: Roberts, Paul
出版事項: (1962)
Lectures on the theory of elliptic functions
著者:: Hancock, Harris
出版事項: (1958)
著者:: Hancock, Harris
出版事項: (1958)
Automorphic forms, representations theory and arithmetic
著者:: Iwasawa, Gelbart Harder, 等
出版事項: (1981)
著者:: Iwasawa, Gelbart Harder, 等
出版事項: (1981)
Sentence processing
著者:: Gompel, Roger P. G. van
出版事項: (2013)
著者:: Gompel, Roger P. G. van
出版事項: (2013)
A mathematical history of the golden number
著者:: Herz Fischler, Roger
出版事項: (1998)
著者:: Herz Fischler, Roger
出版事項: (1998)
Set theory and metric spaces
著者:: Kaplansky, Irving
出版事項: (1977)
著者:: Kaplansky, Irving
出版事項: (1977)
Eléments de Mathématique: théorie des ensembles
著者:: Bourbaki, Nicolás
出版事項: (1964)
著者:: Bourbaki, Nicolás
出版事項: (1964)
Eléments de Mathématique: théorie des ensembles
著者:: Bourbaki, Nicolás
出版事項: (1966)
著者:: Bourbaki, Nicolás
出版事項: (1966)
Eléments de Mathématique: théorie des ensembles
著者:: Bourbaki, Nicolás
出版事項: (1963)
著者:: Bourbaki, Nicolás
出版事項: (1963)
Introduction to the arithmetic theory of automorphic functions
著者:: Shimura, Goro
出版事項: (1971)
著者:: Shimura, Goro
出版事項: (1971)