Azala

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

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Mostowski, Andrzej (Egilea)
Formatua:	Liburua
Hizkuntza:	ingelesa
Argitaratua:	Amsterdam North-Holland 1964
Saila:	Studies in logic and the foundations of mathematics
Gaiak:	TEOREMA DE GODEL
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

Antzeko izenburuak

Imposibilidad: los límites de la ciencia y la ciencia de los límites
nork: Barrow, John David
Argitaratua: (1999)

Las sombras de la mente: hacia una comprensión científica de la consciencia
nork: Penrose, Roger
Argitaratua: (1996)

Las sombras de la mente: hacia una comprensión científica de la consciencia
nork: Penrose, Roger
Argitaratua: (1996)

Juegos por siempre misteriosos
nork: Smullyan, Raymond
Argitaratua: (1995)

El teorema de Gödel
nork: Nagel, Ernest
Argitaratua: (1970)

El teorema de Gödel
nork: Nagel, Ernest
Argitaratua: (1981)

Aventuras matemáticas: una ventana hacia el caos y otros episodios
nork: Guzmán Ozámiz, Miguel de
Argitaratua: (1997)

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

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

La prueba de Gödel
nork: Nagel, Ernest
Argitaratua: (1959)

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

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

Lectures on the arithmetic Riemann-Roch theorem
nork: Faltings, Gerd
Argitaratua: (1992)

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

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

Solved and unsolved problems in number theory
nork: Shanks, Daniel
Argitaratua: (1978)

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

Introduction to analytic number theory
nork: Apostol, Tom M
Argitaratua: (1976)

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

Probability theory
nork: Renyi, A
Argitaratua: (1970)

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

Introduction to the theory of systems
nork: Kupka, Iván
Argitaratua: (1981)

The theory of the Riemann zeta-function
nork: Titchmarsh, Edward Charles
Argitaratua: (1951)

Sistemas formales, informalmente: por qué intentaron formalizar a la matemática si era tan buena muchacha
nork: Gómez, Pedro, et al.
Argitaratua: (1995)

The theory of sets and transfinite arithmetic
nork: Abian, Alexander
Argitaratua: (1965)

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

English sentences
nork: Roberts, Paul
Argitaratua: (1962)

Lectures on the theory of elliptic functions
nork: Hancock, Harris
Argitaratua: (1958)

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

Sentence processing
nork: Gompel, Roger P. G. van
Argitaratua: (2013)

A mathematical history of the golden number
nork: Herz Fischler, Roger
Argitaratua: (1998)

Set theory and metric spaces
nork: Kaplansky, Irving
Argitaratua: (1977)

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

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

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

Introduction to the arithmetic theory of automorphic functions
nork: Shimura, Goro
Argitaratua: (1971)

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

Model theory
nork: Manzano, María
Argitaratua: (2006)

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

Sentences children use
nork: Menyuk, Paula
Argitaratua: (1969)