Principia Mathematica: un texto moderno y revelador

Principia Mathematica is modern and insightful

Publicado en 1910 por Whitehead y Russell, Principia Mathematica sigue siendo sorprendentemente moderno. El libro anticipa conceptos clave de la programación y la lógica actuales: la transparencia referencial, la extensionalidad, el cálculo lambda, los tipos y las funciones descriptivas. También ofrece una visión intuicionista de la existencia y la distinción entre 'cualquier' y 'todos'. Este análisis del Capítulo 1 revela por qué esta obra monumental sigue siendo relevante.