------------------- --------------------- ----------------------
Lógica modal y lógica de predicados
Teorema de incompletitud de Gödel
Hasta finales del siglo XIX, la lógica se mantuvo sin cambios desde la época de Aristóteles, y existía la opinión de que era imposible mejorar la lógica. Por ejemplo, Kant afirmó que la lógica de Aristóteles era perfecta. Sin embargo, a mediados del siglo XIX, aparecieron los estudios de Boole y de Morgan, que abrieron perspectivas para el desarrollo de la lógica, y a finales del siglo XIX y XX, independientemente el uno del otro, el matemático alemán Gottlob Frege y Los filósofos ingleses de tradición analítica Bertrand Russell y Alfred Whitehead publicaron estudios que sentaron las bases de sistemas lógicos mucho más perfectos y funcionales: lógica de predicados y lógica modal. Estos resultados permitieron mejorar significativamente la axiomatización de las matemáticas, y también se convirtieron en el punto de partida para la investigación de Kurt Gödel, que culminó en su prueba del teorema de incompletitud, según muchas estimaciones, el resultado más importante en el campo de la lógica desde Aristóteles. El teorema de incompletitud de Gödel impone serias restricciones al sistema epistemológico, tanto científico como filosófico. Los avances en el desarrollo de la lógica han proporcionado a la filosofía analítica nuevas herramientas de análisis.
Los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática demostrados por Kurt Gödel en 1931. Ambos están relacionados con la existencia de proposiciones indecidibles en ciertas teorías aritméticas.
--------------------------------------------------- -------------------- ------------------------
https://www.ecured.cu
-------------------------- -----------------------
No hay comentarios:
Publicar un comentario