Enunciados indecidibles en la aritmetica de Peano

Enunciados indecidibles en la aritmetica de Peano

Detalles Bibliográficos
Autor principal:	Roque Haro, Eduardo
Otras Contribuciones:	Torres Alcaraz, Carlos (Asesor)
Formato:	Tesis de licenciatura
Publicado:	MX 2001
Materias:	Ciencias Físico - Matemáticas y de las Ingenierías
Acceso en línea:	https://hdl.handle.net/20.500.14330/TES01000288499 http://132.248.9.195/pd2001/288499/Index.html

Ejemplares similares

El Teorema de Herbrand y la consistencia de la aritmética de Peano
por: Camhaji García, Camilo
Publicado: (2009)

Una prueba de consistencia de la aritmetica de Peano, del tipo de Gentzen
por: Miranda Perea, Favio Ezequiel
Publicado: (1997)

El indecidible pictórico : una propuesta propia
por: Fernández de Córdova Durán, María Guadalupe
Publicado: (2010)

La logística de Peano : motivaciones, método y relación con el logicismo de Frege
por: Jiménez Rodríguez, Felipe de Jesús
Publicado: (2021)

¿Es la hipótesis del continuo una proposición absolutamente indecidible? un estudio filosófico
por: Gutiérrez Ramírez, Cristian Alejandro
Publicado: (2015)

Enunciados totalizantes y racionalidad comunicativa
por: Mercado Villalobos, Alberto
Publicado: (1990)

Limitaciones godelianas de la aritmetica formalizada
por: Preisser Rodriguez, Maria de la Asuncion
Publicado: (1983)

Maquinas de Turing y aritmetica recursiva
por: Gonzalez Flores, Agustin
Publicado: (1989)

Aritmetica de superficies sobre campos finitos
por: Fajardo Miron, Alfonso
Publicado: (1975)

Tecnicas de compilacion para expresiones aritmeticas
por: Keizer Haller, Jenka
Publicado: (1972)

Aritmetica en el sistema de numeracion maya
por: Velasco San Juan, Ricarda Isabel
Publicado: (2005)

Sobre enunciados de identidad y lo necesario a posteriori
por: Lavalle Terrón, Gabriel Armando
Publicado: (2015)

Consistencia aritmética y completud para Σ₂-numeraciones
por: Mejía López, Jimena
Publicado: (2023)

Fuerza ilocutiva de enunciados imperativos en tuits dirigidos a políticos
por: Aguilar Zamudio, Ángel de Jesús
Publicado: (2022)

El papel del padre en los enunciados identificatorios femeninos
por: Arranz Lara, Lilia Cristina
Publicado: (1996)

Enunciados de ley científica : dos dogmas de la filosofía analítica
por: Pazos, María Alicia
Publicado: (2009)

Enunciados independientes y sus consecuencias en la extensión de funciones continuas de valor discreto en espacios métricos
por: Martinez Sanchez, Jonas Raffael
Publicado: (2016)

Diseno de la unidad aritmetica para el SIMMP-1
por: Ylizaliturri Rodríguez, Jesús Gerardo
Publicado: (1992)

Un fragmento de la aritmética como modelo de ciencia deductiva
por: Bassols Batalla, Narciso
Publicado: (1947)

Primos en progresiones aritméticas de Dirichlet como sumas de potencias
por: Rodríguez Barrera, Raúl
Publicado: (2019)

Tablas y arboles de verdad : dos metodos de decision para la validez de razonamientos en la logica de enunciados
por: Ramirez del Castillo, Carlos
Publicado: (1994)

Propuesta de un patrón entonativo para el modelado de los enunciados resignativos
por: Jiménez Herrera, Ernesto Emmanuel
Publicado: (2016)

Implantación en aritmética entera de algoritmos DSP : reconocedor de palabras aisladas
por: Muñoz Jiménez, Vianney, et al.
Publicado: (2002)

Diseño de una unidad aritmetica para ser integrada a una microcomputadora
por: Padilla Noriega, Manuel
Publicado: (1999)

La racionalidad y ecuación funcional de la función Z en geometría aritmética
por: Campos Rodriguez, Antonio de Jesus
Publicado: (2012)

El fundamento inductivo de la aritmética
por: Torres Villa, Mauricio
Publicado: (2012)

Nudos, grupos y orbidades hiperbólicas aritméticas cuaterniónicas en las primeras 5 dimensiones
por: Díaz González, Juan Pablo
Publicado: (2016)

Diseno de la unidad aritmetica de la electronica de un detector tipo MEPSICRON
por: Hernandez Alva, Adrian
Publicado: (1994)

Estrategia didactica para la enseñanza de temas de aritmetica en el Colegio de Bachilleres
por: Hernandez Rubio, Maria Magdalena
Publicado: (2006)

Diseno de un controlador de procesos a partir de una unidad Logrea y Aritmetica
por: Gargaraza Pedroza, Victor Manuel, et al.
Publicado: (1980)

Respuesta neofregeana que impide la existencia de enunciados verdaderos y contingentes de identidad de re
por: Palacios Rodríguez, Breina
Publicado: (2020)

El uso de las representaciones no discursivas como mediador en el proceso de traducción del enunciado de un problema verbal de ecuaciones lineales
por: Zúñiga Alcaraz, Tania Ayari
Publicado: (2016)

Estudio e implementación de algoritmos de filtrado adaptable en aritmética de punto fijo
por: Galindo Salinas, Héctor
Publicado: (2008)

Estudio de la propiedad lineal en la iteración finita del operador suma sobre las funciones aritméticas
por: Torres Miguel, Enrique
Publicado: (2018)

Análisis sociolingüístico de la prosodia de enunciados aseverativos en dos redes sociales de la Ciudad de México
por: Rodríguez Márquez, Alberto Manuel
Publicado: (2022)

Efecto del entrenamiento musical en la aritmética no simbólica
por: Martínez Sánchez, Lorena
Publicado: (2018)

Como identificar enunciados de Ley natural : los condicionales contrafacticos como criterio de distincion entre leyes y regularidades
por: Pazos López, Maria Alicia
Publicado: (1998)

Acerca de una extension godeliana del punto de vista finista y de la consistencia de la aritmetica
por: Ruiz Benjumeda, Francisco
Publicado: (1997)

Ensenanza de aritmetica a ninos sordos y/ o hipoacusicos
por: Ramirez Bautista, Maria Guadalupe, et al.
Publicado: (1985)

La melodía con enunciados de marginalidad en canciones grabadas por el grupo Three Souls in my Mind entre 1973 y 1976
por: Ramírez Lantén, Guillermo Ignacio
Publicado: (2009)