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.
¿Sigue siendo relevante el trabajo ‘Principia Mathematica’ (de Bertrand Russell y AN Whitehead) en Lógica y Matemáticas?
Related Content
¿Cuáles son las diferencias entre ser equivalente e implicar?
¿Cómo se calculan las operaciones aritméticas en Python?
¿Cuál es la diferencia entre la superficie de Riemann y la variedad de Riemann?
More Interesting
Cómo determinar todos los puntos de sillín o extrama relativos de f (x, y) = x ^ 3 - 2xy - y ^ 3 + 1
¿De qué sirve estudiar matemáticas si nunca vamos a aplicarlo en el día a día?
¿Cuál es tu ejemplo favorito de dualidad en matemáticas?
¿Por qué no se pueden aplicar algunas matemáticas?
¿Cuál es el valor de [math] \ sum \ limits_ {n = 1} ^ {\ infty} \ frac {1} {n} [/ math]?
¿Por qué los sistemas no lineales se consideran matemáticamente complejos?
¿Cuáles son algunos problemas interesantes de permutaciones y combinaciones?
¿Cómo explicarías el impulso, la respuesta al impulso y la convolución usando ejemplos físicos?
¿Todos los cuadrados son rombos?