Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Gödel
Gardado en:
| Autor Principal: | Mostowski, Andrzej (Author) |
|---|---|
| Formato: | Libro |
| Idioma: | inglés |
| Publicado: |
Amsterdam
North-Holland
1964
|
| Series: | Studies in logic and the foundations of mathematics
|
| Subjects: | |
| Tags: |
Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
Títulos similares
Imposibilidad: los límites de la ciencia y la ciencia de los límites
por: Barrow, John David
Publicado: (1999)
por: Barrow, John David
Publicado: (1999)
Las sombras de la mente: hacia una comprensión científica de la consciencia
por: Penrose, Roger
Publicado: (1996)
por: Penrose, Roger
Publicado: (1996)
Las sombras de la mente: hacia una comprensión científica de la consciencia
por: Penrose, Roger
Publicado: (1996)
por: Penrose, Roger
Publicado: (1996)
Juegos por siempre misteriosos
por: Smullyan, Raymond
Publicado: (1995)
por: Smullyan, Raymond
Publicado: (1995)
El teorema de Gödel
por: Nagel, Ernest
Publicado: (1970)
por: Nagel, Ernest
Publicado: (1970)
El teorema de Gödel
por: Nagel, Ernest
Publicado: (1981)
por: Nagel, Ernest
Publicado: (1981)
Aventuras matemáticas: una ventana hacia el caos y otros episodios
por: Guzmán Ozámiz, Miguel de
Publicado: (1997)
por: Guzmán Ozámiz, Miguel de
Publicado: (1997)
Lo grande, lo pequeño y la mente humana
por: Penrose, Roger
Publicado: (1999)
por: Penrose, Roger
Publicado: (1999)
Gôdel's proof
por: Nagel, Ernest, et al.
Publicado: (1958)
por: Nagel, Ernest, et al.
Publicado: (1958)
La prueba de Gödel
por: Nagel, Ernest
Publicado: (1959)
por: Nagel, Ernest
Publicado: (1959)
Gödel, Escher, Bach: un eterno y grácil bucle
por: Hofstadter, Douglas R
Publicado: (1992)
por: Hofstadter, Douglas R
Publicado: (1992)
Gödel, Escher, Bach: un eterno y grácil bucle
por: Hofstadter, Douglas R
Publicado: (1998)
por: Hofstadter, Douglas R
Publicado: (1998)
Lectures on the arithmetic Riemann-Roch theorem
por: Faltings, Gerd
Publicado: (1992)
por: Faltings, Gerd
Publicado: (1992)
On formally undecidable propositions of principia mathematica and related systems
por: Gödel, Kurt Friedrich
Publicado: (1992)
por: Gödel, Kurt Friedrich
Publicado: (1992)
Büchi's Monadic second order successor arithmetic
por: Siefkes, Dirk
Publicado: (1970)
por: Siefkes, Dirk
Publicado: (1970)
Solved and unsolved problems in number theory
por: Shanks, Daniel
Publicado: (1978)
por: Shanks, Daniel
Publicado: (1978)
Teoría de autómatas y lenguajes formales
por: García Gómez, Pedro, et al.
Publicado: (2001)
por: García Gómez, Pedro, et al.
Publicado: (2001)
Introduction to analytic number theory
por: Apostol, Tom M
Publicado: (1976)
por: Apostol, Tom M
Publicado: (1976)
The theory of arithmetic functions
por: Gioia, Anthony A, et al.
Publicado: (1972)
por: Gioia, Anthony A, et al.
Publicado: (1972)
Probability theory
por: Renyi, A
Publicado: (1970)
por: Renyi, A
Publicado: (1970)
Fermat's last theorem: a genetic introduction to algebraic number theory
por: Edwards, Harold M
Publicado: (1977)
por: Edwards, Harold M
Publicado: (1977)
Introduction to the theory of systems
por: Kupka, Iván
Publicado: (1981)
por: Kupka, Iván
Publicado: (1981)
The theory of the Riemann zeta-function
por: Titchmarsh, Edward Charles
Publicado: (1951)
por: Titchmarsh, Edward Charles
Publicado: (1951)
Sistemas formales, informalmente: por qué intentaron formalizar a la matemática si era tan buena muchacha
por: Gómez, Pedro, et al.
Publicado: (1995)
por: Gómez, Pedro, et al.
Publicado: (1995)
The theory of sets and transfinite arithmetic
por: Abian, Alexander
Publicado: (1965)
por: Abian, Alexander
Publicado: (1965)
Eléments de Mathématique: théorie des ensembles
por: Bourbaki, Nicolás
Publicado: (1966)
por: Bourbaki, Nicolás
Publicado: (1966)
English sentences
por: Roberts, Paul
Publicado: (1962)
por: Roberts, Paul
Publicado: (1962)
Lectures on the theory of elliptic functions
por: Hancock, Harris
Publicado: (1958)
por: Hancock, Harris
Publicado: (1958)
Automorphic forms, representations theory and arithmetic
por: Iwasawa, Gelbart Harder, et al.
Publicado: (1981)
por: Iwasawa, Gelbart Harder, et al.
Publicado: (1981)
Sentence processing
por: Gompel, Roger P. G. van
Publicado: (2013)
por: Gompel, Roger P. G. van
Publicado: (2013)
A mathematical history of the golden number
por: Herz Fischler, Roger
Publicado: (1998)
por: Herz Fischler, Roger
Publicado: (1998)
Set theory and metric spaces
por: Kaplansky, Irving
Publicado: (1977)
por: Kaplansky, Irving
Publicado: (1977)
Eléments de Mathématique: théorie des ensembles
por: Bourbaki, Nicolás
Publicado: (1964)
por: Bourbaki, Nicolás
Publicado: (1964)
Eléments de Mathématique: théorie des ensembles
por: Bourbaki, Nicolás
Publicado: (1966)
por: Bourbaki, Nicolás
Publicado: (1966)
Eléments de Mathématique: théorie des ensembles
por: Bourbaki, Nicolás
Publicado: (1963)
por: Bourbaki, Nicolás
Publicado: (1963)
Introduction to the arithmetic theory of automorphic functions
por: Shimura, Goro
Publicado: (1971)
por: Shimura, Goro
Publicado: (1971)
Ten lectures on the interface between analytic number theory and harmonic analysis
por: Montgomery, Hugh L
Publicado: (1994)
por: Montgomery, Hugh L
Publicado: (1994)
Model theory
por: Manzano, María
Publicado: (2006)
por: Manzano, María
Publicado: (2006)
Kurt Schwitters: 20 septiembre-5 diciembre 1982
Publicado: (1982)
Publicado: (1982)
Sentences children use
por: Menyuk, Paula
Publicado: (1969)
por: Menyuk, Paula
Publicado: (1969)
Títulos similares
-
Imposibilidad: los límites de la ciencia y la ciencia de los límites
por: Barrow, John David
Publicado: (1999) -
Las sombras de la mente: hacia una comprensión científica de la consciencia
por: Penrose, Roger
Publicado: (1996) -
Las sombras de la mente: hacia una comprensión científica de la consciencia
por: Penrose, Roger
Publicado: (1996) -
Juegos por siempre misteriosos
por: Smullyan, Raymond
Publicado: (1995) -
El teorema de Gödel
por: Nagel, Ernest
Publicado: (1970)