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