Extensional Godel functional interpretation : a consistency proof of classical analysis.

Código QR

Extensional Godel functional interpretation : a consistency proof of classical analysis.

Detalles Bibliográficos
Autor principal:	Luckhardt, Horst (Autor, Autor/a)
Formato:	Libro
Lenguaje:	English
Publicado:	Berlín : Springer, 1964-.
Materias:	TEOREMA DE GODEL

Ejemplares similares

La prueba de Gödel /
por: Newman, James Roy 1907-, et al.
Publicado: (1959)

El teorema de Gödel /
por: Nagel, Ernest n. 1901
Publicado: (2007)

A method in proofs of undefinability : with applications to functions in the arithmetic of natural numbers /
por: Bouvere, Karel Louis de, et al.
Publicado: (1959)

Undecidable theories /
por: Tarski, Alfred, et al.
Publicado: (1953)

La Matemática Godeliana y sus implicaciones filosóficas
por: Korner, Stephan 1913-
Publicado: (1972)

El teorema de Goedel /
por: Díaz Estévez, Emilio, et al.
Publicado: (1975)

El teorema del Godel / Ernest Nagel y James R. Newman
por: Nagel, Ernest

The Philosophical significance of Goedel's theorem
por: Dummett, Michael 1925-2011, et al.
Publicado: (1963)

Enumerability, decidability, computability : an introduction to the theory of recursive functions /
por: Hermes, Hans, et al.
Publicado: (1985)

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
por: Mostowski, Andrzej, et al.
Publicado: (1964)

The undecidable: basic papers on undecidable propositions, unsolvable problems and computable functions /
por: Davis, Martin 1928-
Publicado: (1965)

Implicaciones teórico-filosóficas del teorema de Goedel en el paradigma racionalista de la reflexión sobre las matemáticas /
por: Ruiz Zúñiga, Angel 1954-

On Gödel /
por: Hintikka, Jaakko 1929-, et al.
Publicado: (2000)

Sistemas formales, informalmente : ¿Porqué intentaron formalizar a la matemática si era tan buena la muchacha?
por: Gómez, Pedro
Publicado: (1995)

Tauberian theorems for generalized functions /
por: Vladimirov, Vasilii Sergeevich 1923-2012, et al.
Publicado: (1988)

A tour through mathematical logic /
por: Wolf, Robert S., et al.
Publicado: (2005)

Computación y símbolos : Un diálogo a contratiempo con Douglas R. Hofstadter /
por: Urrero Peña, Guzmán

Teorema de metrización de Nagata Smirnov
por: Parada Batres, Francisco Orlando
Publicado: (1986)

Métodos matemáticos integración múltiple : teoría y ejercicios resueltos /
por: Alberca Bjerregaard, Pablo
Publicado: (2014)

The Atiyah-Singer index theorem: an introduction /
por: Shanahan, Patrick, et al.
Publicado: (1964)

Iniciación al caos, sistemas dinámicos /
por: Martín, Miguel Angel
Publicado: (1995)

Teoremas de configuración /
por: Argunov, B. I.
Publicado: (1972)

A general duality betwen the theorems of caratheodory and Helly /
por: Jamison Waldner, Robert E., et al.
Publicado: (1975)

The Cayley color graph of semigroup /
por: Luedeman, John K., et al.
Publicado: (1979)

Three lectures on Fermat's last theorem /
por: Mordell, Louis Joel 1888-
Publicado: (1955)

Un teorema de finitud de Tarski en un topos arbitrario
por: Acuña Ortega, Osvaldo 1951, et al.

El teorema de Sarkovaskii
por: García M., Orlando Enrique
Publicado: (2001)

Some limit theorems in statistics /
por: Bahadur, Raghu Raj 1924-, et al.
Publicado: (1971)

El teorema del binomio
por: Clarke, Mónica Andrea
Publicado: (1996)

Algebra superior /
por: Hall, Henry Sinclair, 1848-1934
Publicado: (1948)

Cancellation of affine A1-bundles and a theorem of Miyanishi-Nakai /
por: Simis, Aron, et al.
Publicado: (1976)

13 lectures on Fermat s last Theorem /
por: Ribenboim, Paulo 1928-, et al.
Publicado: (1979)

Fermagoric triangles
por: Piza, Pedro Antonio n. 1896, et al.
Publicado: (1945)

El enigma de Fermat /
por: Singh, Simon
Publicado: (2016)

Teorema de representación de Riesz /
por: Geoffroy Carletti, Pedro José
Publicado: (1988)

El teorema de Taylor y algunas de sus aplicaciones
por: Camero de Tejada, Aurora
Publicado: (1983)

El teorema de Taylor y algunas de sus aplicaciones
por: Camero de Tejada, Aurora
Publicado: (1983)

La paradoja de Lewis Carroll en Douglas R. Hofstadter. /
por: Camacho Naranjo, Luis Angel

Las paradojas y la teoría de los tipos lógicos /
por: Palacio Fernández, Jorge Roberto, autor

Desarrollo Histórico del Teorema del Binomio
por: Araúz, Iris Del Carmen