miércoles, 23 de noviembre de 2022

PRINCIPIA MATHEMATHICA: BITÁCORA DE CAYETANO ACUÑA VIGIL.WACHSAM

 

PRINCIPIA MATHEMATICA

Contenido.




BERTRAND RUSSELL


Alfred North, Whitehead y Bertrand Russell publicaron por primera vez en 1910-1913 el monumental pero poco leido clasico de Lógica simbólica, Principia Mathematica.


Este trabajo constituye un intento de deducir la mayor parte de los conocimientos matemáticos de la época a partir de un conjunto de principios o axiomas. La principal motivación para esta obra provenía del trabajo anterior de Gottlob Frege en lógica que contenía inconsistencias (en particular la paradoja de Russell). Estas eran evitadas en los Principia construyendo una elaborada teoría de tipos.

Los Principia contenían teoría de conjuntosnúmeros cardinalesnúmeros ordinales y números reales. Aunque no estaban incluidos otros teoremas más profundos del análisis de números reales, parecía que efectivamente todas las matemáticas podían ser derivadas adoptando el mismo formalismo.



KURT GÖEDEL & A. EINSTEIN


Quedaba todavía saber si se podían encontrar contradicciones derivadas de los axiomas en los que se basaban los Principia y si, por lo tanto, existían afirmaciones matemáticas que no podían ser probadas o demostradas falsas en este sistema. Esta cuestión fue resuelta por Kurt Gödel en 1931. El teorema de incompletitud de Gödel establece que incluso la aritmética básica no puede demostrar su propia consistencia, de modo que es imposible demostrar la consistencia de ningún sistema matemático.



GOTTLOB FREGE


Véase también

Enlaces externos

No hay comentarios:

Publicar un comentario

PAÍSES BÁLTICOS: CAYETANO ACUÑA VIGIL. 03 11 24 PCAV

 PAÍSES BALTICOS: More than 25 years after the re-establishment of independent Baltic States, Latvia, Lithuania, and Estonia have built stab...