Limitaciones godelianas de la aritmetica formalizada

Limitaciones godelianas de la aritmetica formalizada

Bibliographic Details
Main Author:	Preisser Rodriguez, Maria de la Asuncion
Other Authors:	Torres Alcaraz, Carlos (Asesor)
Format:	Tesis de licenciatura
Published:	MX 1983
Subjects:	Ciencias Físico - Matemáticas y de las Ingenierías
Online Access:	https://hdl.handle.net/20.500.14330/TES01000003333 http://132.248.9.195/pmig2019/0003333/Index.html

Similar Items

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

Maquinas de Turing y aritmetica recursiva
by: Gonzalez Flores, Agustin
Published: (1989)

Aritmetica de superficies sobre campos finitos
by: Fajardo Miron, Alfonso
Published: (1975)

Tecnicas de compilacion para expresiones aritmeticas
by: Keizer Haller, Jenka
Published: (1972)

Identificacion de los efectos derivados de la induccion de dos diferentes estrategias de aprendizaje sobre la comprension de un texto que varia en el tipo de estructura de contenido : causal formalizada y causal no formalizada
by: Contreras Ramírez, María del Socorro
Published: (1992)

Enunciados indecidibles en la aritmetica de Peano
by: Roque Haro, Eduardo
Published: (2001)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

La práctica formalizada del duatlón en el circuito universitario, proporciona salud, bienestar y eleva el nivel deportivo de la comunidad universitaria
by: Oropeza Hernández, Rodolfo
Published: (2015)

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

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

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

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

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

La mediacion selectora y la sustitucion referencial : un analsis de conducta aritmetica
by: Morales Euzarraga, Manuel de Jesus
Published: (1998)

El juego como estrategia de enseñanza de la aritmética en primer año de primaria
by: Durán Cano, Ivonne, et al.
Published: (2012)

Colocación del catéter de PH-metría-impedancia mediante una fórmula aritmética
by: Citalan Poroj, Harry William
Published: (2021)

Posibilidades y limitaciones de la planeación-regional
by: Medina Durand, Osmar Ricardo
Published: (1986)

Introduccion a la aritmetica y al algebra para alumnos y asesores del curso de matematicas 1 del Sistema Abierto del Colegio de Bachilleres-circulos de estudio del STUNAM
by: Rodríguez Martínez, Nora Judith
Published: (2006)

Diseno de un coprocesador para realizar la suma de productos en aritmetica de punto flotante y palabra de 32 bits para una pc-xt
by: Polania Puentes, Jorge Antonio
Published: (1992)

Inscripcion en el Registro Publico de Comercio del DFistrito Federal de poderes otorgados en acta de asamblea formalizada por corredor publico sin necesidad juridica de protocolizacion o poderes notariales
by: Cedillo Melendez, Luis Fernando
Published: (2001)

Encaje de las redes neuronales analogicas recurrentes en la jerarquia aritmetica y los lenguajes que aceptan segun la complejidad de sus pesos
by: Zenil Chávez, Hector
Published: (2005)

El proceso de enseñanza-aprendizaje de las operaciones aritmeticas elementales : desde una perspectiva psicopedagogica
by: Guerrero Reyes, Adela
Published: (1997)

Alcances y limitaciones de las proyeccciones de poblacion
by: Romero Silva, Absalon
Published: (1982)

Analisis experimental de la generalizacion de respuestas de multiplicar en operaciones y problemas aritmeticas
by: Ochoa Meza, Gerardo, et al.
Published: (1980)

El logicismo de Frege : los conceptos básicos en la fundamentación de la aritmética de Gottlob Frege
by: Serratos Franco, Mayahuel
Published: (1987)

Números como propiedades : disolviendo la tensión entre metafísica y epistemología del realismo acerca de la aritmética
by: Gutiérrez Vivanco, Melisa
Published: (2018)

Diseno de planes individuales de pensiones. Alcances y limitaciones
by: Ojeda Apreza, Elvia
Published: (1987)