¿Sigue siendo relevante el trabajo ‘Principia Mathematica’ (de Bertrand Russell y AN Whitehead) en Lógica y Matemáticas?

El sistema estándar de la lógica simbólica moderna es esencialmente el sistema de los Principia, aunque con una notación mucho mejor. Este sistema todavía proporciona la base para una gran cantidad de trabajo en ciencias de la computación e inteligencia artificial, y es el que se enseña a los estudiantes de matemáticas en sus cursos de “transición” (es decir, los cursos destinados a introducir a los estudiantes al mundo de “nivel superior” matemática que se centra en las pruebas en lugar de en los cálculos). También es el sistema que los matemáticos suelen utilizar cuando realizan investigaciones sobre los fundamentos de las matemáticas. Ciertamente, ha habido muchos desarrollos nuevos en el campo de la lógica desde la época de Russell y Whitehead, que incluyen (entre otros) el desarrollo de una amplia gama de sistemas no estándar. Sin embargo, todos surgen del sistema Russell / Whitehead de los Principia y lo toman como su punto de partida.