Filosofía, lógica y computación
Acceso a Texto completo
Fuente
Estudios de Filosofía; Vol. 2 (1991)Abstract
El seminario consiste en la lectura comentada y el análisis del libro Computability, Computable Functions, Logic, and the Foundations of Mathematics, de Richard L. Epstein y Walter A. Carnielli. Este texto trata problemas de lógica y matemáticas vinculados con sus fundamentos filosóficos y sus alcances en el campo de la informática.