Towards a Mathematical Science of Computation

McCarthy buscaba cimientos matemáticos para la computación; este trabajo fundacional de Shannon proporciona precisamente eso para la teoría de la información, otro pilar de la ciencia de la computación. La conexión no es obvia porque el texto de McCarthy se enfoca en lógica y verificación, no en transmisión de datos, pero comparten el mismo ethos de rigor matemático para un dominio empírico.

Mientras McCarthy disecciona la computación, Simon propone una ciencia más amplia de lo 'artificial' (diseño, sistemas complejos, inteligencia). Ambos son ensayos que argumentan a favor de nuevas ciencias formales para dominios creados por el hombre, pero desde ángulos filosóficos distintos, evitando la recomendación canónica de un texto puro de teoría de la computación.

McCarthy trata de establecer una ciencia deductiva para la computación. Lakatos, desde la filosofía de la matemática, analiza profundamente cómo evolucionan las pruebas y los conceptos matemáticos a través del debate. Conecta en un nivel epistemológico sobre qué constituye una teoría matemática robusta y cómo se corrige, lo cual es fundamental para el proyecto de McCarthy.

Profundiza en los conceptos de autorreferencia, recursión y significado en sistemas formales, que son precisamente las ideas subyacentes a la 'teoría de la computación' que McCarthy quería formalizar. Aunque es un libro más amplio y accesible, comparte la misma inquietud por los fundamentos de la mente, la máquina y la simbolización.

Ladrière, filósofo y lógico belga, examina los límites del formalismo y la expresividad de los sistemas, temas centrales para cualquier 'ciencia matemática de la computación'. Su obra, poco conocida fuera de círculos filosóficos continentales, aborda de manera rigurosa las preguntas fundamentales que McCarthy asume y trata de resolver desde la ingeniería.

Es una elección deliberadamente oblicua. Hartshorne aplica lógica modal a problemas metafísicos (Dios, necesidad, posibilidad). McCarthy necesitaba herramientas lógicas (como la lógica modal para verificación) para su ciencia. Este ensayo muestra una aplicación profunda y poco convencional de sistemas formales a un dominio totalmente ajeno, destacando el poder y la abstracción de la herramienta que McCarthy promovía.

Este famoso ensayo (publicado como artículo) comparte la estructura de 'Towards a Mathematical Science...': plantea una pregunta fundamental ('¿Cómo surgen los sistemas complejos?'), propone principios organizativos (sistemas jerárquicos, casi descomponibilidad) y argumenta su relevancia para diversas ciencias. Es un modelo estructural de cómo construir un argumento científico fundacional de manera clara y persuasiva.

El ensayo de McCarthy es, en esencia, un programa para 'resolver' los problemas de la ciencia de la computación. Pólya estructuraliza el proceso de solución de problemas matemáticos en heurísticas generales. Ambos textos son meta-ensayos: no presentan principalmente teoremas, sino un marco metodológico y una forma de pensar sobre un campo. Su estructura es didáctica y programática.