Ordenadores y números naturales /

Código QR

Ordenadores y números naturales /

Detalles Bibliográficos
Autor principal:	Rayo, Agustín
Formato:	Artículo
Lenguaje:	Spanish
Materias:	Aritmética Matemáticas Símbolos Programas de computación Teorema de Godel Artículos de revista

Ejemplares similares

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

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

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

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

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

El Teorema de Godel
por: Nagel, Ernest
Publicado: (1970)

Extensional Godel functional interpretation : a consistency proof of classical analysis.
por: Luckhardt, Horst, et al.
Publicado: (1964)

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

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

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-

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)

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

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)

An approximation to the arithmetic-geometric mean /
por: Jameson, G. J. O.

El gran catálogo universal /
por: Ornes, Stephen

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

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

Euler’s triangle inequality via proofs without words.
por: Nelsen, Roger B.

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

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

Los números primos : un largo camino al infinito /
por: Gracián, Enrique 1945-
Publicado: (2010)

El sistema de los números reales /
por: National Council of Teachers of Mathematics
Publicado: (1986)

Aritmética 2
por: Bello , Ignacio
Publicado: (2010)

Números enteros
Publicado: (1972)

A fathom activity for the central limit theorem.
por: Moyer, Todd O.

A converse to a theorem on linear fractional transformations .
por: Xia, Hua

Sublimital analysis.
por: Sibley, Thomas Q.

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

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

A jugar con números : [acertijos diseñados para facilitar el aprendizaje de las matemáticas] /
por: Recamán Santos, Bernardo, et al.
Publicado: (2000)

Numeros y Operaciones: Fundamentos para una Aritmetica Escolar /
por: Castro Martínez, Encarnación
Publicado: (1992)

DETERMINAR UN NUMERO PRIMO.
por: RITTAUD, BENOIT

Aproximación de algunos números reales
por: Montano, Gloria Esperanza
Publicado: (1993)

Golden matrix ring mod p.
por: Yang, Kung-Wei

Geometric proofs of the Weitzenböck and Hadwiger - Finsler inequalities.
por: Alsini, Claudi

The shot made round ( across ) the table ( maybe ).
por: Riley, John H.

Why are the Gergonne and Soddy Lines perpendicular ? A synthetic approachWhy are the Gergonne and Soddy Lines Perpendicular? A synthetic approach.
por: Feng, Zuming

Generación de una arquitectura de sistemas informáticos basada en Spring.net y Nhibernate.
por: Narciso Arévalo, Marvin José
Publicado: (2011)

Aplicación de la metodología de la empresa TATA Consultancy Services a las áreas organización computacional, arquitectura de computadoras, de la carrera de Ingeniería en Ciencias y Sistemas de la Facultad de Ingeniería de la Universidad de San Carlos de Guatemala.
por: López Martínez, Roberto Enrique
Publicado: (2010)