Esta obra aborda la lógica matemática y los fundamentos de las matemáticas, utilizando un enfoque sistemático para derivar verdades a partir de axiomas definidos.

por Alfred North Whitehead y Bertrand Russell · 1910
Ver sugerenciasSinopsis
Un monumental esfuerzo para sentar las bases lógicas de las matemáticas, buscando derivar toda la matemática de un conjunto mínimo de axiomas y reglas de inferencia a través de la lógica simbólica.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo

1910

1910

1910

1910

1910

1910

1910

1910

1910

1910

1910

1910

1910

1910

1910
Libros relacionados según distintos criterios de búsqueda
Esta obra aborda la lógica matemática y los fundamentos de las matemáticas, utilizando un enfoque sistemático para derivar verdades a partir de axiomas definidos.
Se centra en la teoría de tipos para resolver paradojas, que es un tema crucial en la estructura de los fundamentos de las matemáticas.
Explora los fundamentos de la matemática mediante un rigor lógico similar, buscando establecer una base axiomática comparable en profundidad y complejidad.
Intenta demostrar que la lógica puede sustentar todas las verdades matemáticas, en línea con el objetivo de fundamentar la matemáticas a partir de axiomas claros.
Aprovecha un análisis estructurado y un lenguaje formal riguroso que resuena con el estilo y la metodología de los Principia Mathematica.