Now showing items 1-4 of 4

    • Computar y compactar 

      Faas, Horacio (Víctor Rodríguez, Luis Salvatico, 2003-08)
      El trabajo se refiere principalmente a los programas elaborados por Chaitin para computar con una máquina universal de Turing y a cómo puede mostrarse que el número omega de Chaitin (elaborado sobre la base de la probabilidad ...
    • Cómo demostrar en matemáticas 

      Faas, Horacio (Horacio Faas, Luis Salvatico, 1998-10)
      En su libro sobre la teoría de conjuntos y la hipótesis del continuo, Paul J. Cohen (COHEN 1966, p2) se refiere a Brouwer en las siguientes palabras: " ... la escuela de Brouwer (lntuicionismo) sólo admitiría conjuntos ...
    • Multivalencia y metalógica 

      Faas, Horacio (José Ahumada, Patricia Morey, 1997-11)
      Se analizan las condiciones necesarias para que un sistema de lógica pueda operar como metalógica de otro sistema de lógica (o de sí mismo), según las exigencias de veritativo-funcionalidad y las condiciones impuestas por ...
    • La Tesis de Church-Turing y sus repercusiones epistemológicas 

      Faas, Horacio; Rodriguez, Victor (Eduardo Sota, Luis Urtubey, 1999-07)
      Las pretensiones de este trabajo son modestas; Es el resultado de una exploración conjunta que hemos realizado en tomo del tratamiento que ha recibido la Tesis de Church-Turing por parte de lógicos, matemáticos, filósofos ...

      DSpace software copyright © 2002-2015  DuraSpace