Imaxe de Portada

Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Gödel

Gardado en:

Detalles Bibliográficos
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:	TEOREMA DE GODEL
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)

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)

El teorema de Gödel
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)

Lo grande, lo pequeño y la mente humana
por: Penrose, Roger
Publicado: (1999)

Gôdel's proof
por: Nagel, Ernest, et al.
Publicado: (1958)

La prueba de Gödel
por: Nagel, Ernest
Publicado: (1959)

Gödel, Escher, Bach: un eterno y grácil bucle
por: Hofstadter, Douglas R
Publicado: (1992)

Gödel, Escher, Bach: un eterno y grácil bucle
por: Hofstadter, Douglas R
Publicado: (1998)

Lectures on the arithmetic Riemann-Roch theorem
por: Faltings, Gerd
Publicado: (1992)

On formally undecidable propositions of principia mathematica and related systems
por: Gödel, Kurt Friedrich
Publicado: (1992)

Büchi's Monadic second order successor arithmetic
por: Siefkes, Dirk
Publicado: (1970)

Solved and unsolved problems in number theory
por: Shanks, Daniel
Publicado: (1978)

Teoría de autómatas y lenguajes formales
por: García Gómez, Pedro, et al.
Publicado: (2001)

Introduction to analytic number theory
por: Apostol, Tom M
Publicado: (1976)

The theory of arithmetic functions
por: Gioia, Anthony A, et al.
Publicado: (1972)

Probability theory
por: Renyi, A
Publicado: (1970)

Fermat's last theorem: a genetic introduction to algebraic number theory
por: Edwards, Harold M
Publicado: (1977)

Introduction to the theory of systems
por: Kupka, Iván
Publicado: (1981)

The theory of the Riemann zeta-function
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)

The theory of sets and transfinite arithmetic
por: Abian, Alexander
Publicado: (1965)

Eléments de Mathématique: théorie des ensembles
por: Bourbaki, Nicolás
Publicado: (1966)

English sentences
por: Roberts, Paul
Publicado: (1962)

Lectures on the theory of elliptic functions
por: Hancock, Harris
Publicado: (1958)

Automorphic forms, representations theory and arithmetic
por: Iwasawa, Gelbart Harder, et al.
Publicado: (1981)

Sentence processing
por: Gompel, Roger P. G. van
Publicado: (2013)

A mathematical history of the golden number
por: Herz Fischler, Roger
Publicado: (1998)

Set theory and metric spaces
por: Kaplansky, Irving
Publicado: (1977)

Eléments de Mathématique: théorie des ensembles
por: Bourbaki, Nicolás
Publicado: (1964)

Eléments de Mathématique: théorie des ensembles
por: Bourbaki, Nicolás
Publicado: (1966)

Eléments de Mathématique: théorie des ensembles
por: Bourbaki, Nicolás
Publicado: (1963)

Introduction to the arithmetic theory of automorphic functions
por: Shimura, Goro
Publicado: (1971)

Ten lectures on the interface between analytic number theory and harmonic analysis
por: Montgomery, Hugh L
Publicado: (1994)

Model theory
por: Manzano, María
Publicado: (2006)

Kurt Schwitters: 20 septiembre-5 diciembre 1982
Publicado: (1982)

Sentences children use
por: Menyuk, Paula
Publicado: (1969)