El legado sustantivo definitivo de principia mathematica se mezcla. Se acepta generalmente que el teorema incompleto de Kurt Gödel de 1931 demostró definitivamente que para cualquier conjunto de axiomas y reglas de inferencia propuestas para encapsular las matemáticas, en realidad habría algunas verdades de las matemáticas que no se podían deducir de ellos, y de ahí que principia mathematica nunca podría alcanzar sus objetivos. Sin embargo, gödel no pudo haber llegado a esta conclusión sin el libro de whitehead y Russell. de esta manera, el legado de Principia Mathematica podría ser descrito como su papel clave en la refutar la posibilidad de alcanzar sus propios objetivos declarados. Pero más allá de este legado algo irónico, el libro popularizó la lógica matemática moderna y dibujó importantes conexiones entre la lógica, la epistemología y la metafísica.
Quién descubrió el teorema incompleto de 1931?
Kurt Gödel