Now showing items 1-2 of 2

    • Máquinas de Turing paraconsistentes : una posible definición 

      Agudelo Agudelo, Juan Carlos; Sicard Ramírez, Andrés (2011-10-13)
      Se define un método para axiomatizar las máquinas de Turing, mediante el cual, dada una máquina y una entrada, se construye una teoría en la lógica clásica de predicados de primer orden que da cuenta del comportamiento ...
    • Los reales efectivos de Schanuel 

      Mejía, Carolina; Montoya, J. Andrés (2011-10-13)
      En este artículo se presenta y analiza una construcción de los reales debida a S. Schanuel. La construcción tiene virtudes formales, como lo es, el construir el campo de los reales, directamente desde la estructura de grupo ...