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 ...

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 ...