Comparte la misma metodología al derivar verdades matemáticas de axiomas lógicos mediante un lenguaje formal y notación simbólica riguroso.

por Alfred North Whitehead and Bertrand Russell · 1910
Ver sugerenciasSinopsis
Un intento monumental de derivar todas las verdades matemáticas a partir de un conjunto de axiomas lógicos bien definidos, utilizando un sistema de notación formal para 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
Comparte la misma metodología al derivar verdades matemáticas de axiomas lógicos mediante un lenguaje formal y notación simbólica riguroso.
Se centra en el mismo objetivo de fundamentar toda la matemática a partir de un conjunto mínimo de axiomas utilizando lógica simbólica.
La obra es un esfuerzo monumental que busca establecer la lógica matemática a partir de axiomas, similar en enfoque y ambición.
Ambas obras intentan demostrar que todas las matemáticas pueden ser construidas a partir de principios lógicos, resaltando la interrelación entre ellas.
Establece un contexto formal y riguroso para la lógica, utilizando un conjunto definido de axiomas, del mismo modo que en la referencia.
Utiliza una notación simbólica altamente estructurada y un enfoque formal que refleja la ambición de derivar verdades matemáticas de manera lógica.