Un procedimiento decisorio para fórmulas cuantificacionales monádicas de la lógica de primer orden.
Date
1974
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Universidad Nacional Mayor de San Marcos
Abstract
Trata sobre los problemas en la lógica y en las matemáticas y sus posibles soluciones. Presenta el método de “Procedimiento desisorio“, “Método afectivo“ o “Algoritmo“; los cuales sirven para cierto tipo de problemas, dentro de la lógica y las matemáticas, cuya solución depende entera y únicamente de algún método que consiste en un número mínimo posible de reglas muy precisas que aplicadas correctamente a un determinado tipo de problemas, siempre conduce a una respuesta afirmativa o negativa, en un tiempo mínimo posible. Explica que los problemas para los cuales existen tales métodos, se les conoce con el nombre de problemas decibles y de otro modo, se dice que son indecibles.
Description
Tesis de bachiller.
Keywords
Matemática, Filosofía, Lógica