Season's Savings | ₹5/mo for 3 months
₹199/month after first 3 months. Renews automatically. Terms apply.
Gödel cierra la puerta desde adentro
Failed to add items
Add to cart failed.
Add to wishlist failed.
Remove from wishlist failed.
Follow podcast failed
Unfollow podcast failed
Gödel cierra la puerta desde adentro
-
Narrated by:
-
Written by:
¿Puede existir un sistema formal capaz de demostrar todas las verdades aritméticas y certificar al mismo tiempo su propia consistencia? Gödel mostró que, bajo condiciones precisas, la respuesta es no. Este capítulo explora los teoremas de incompletitud, la codificación de fórmulas y demostraciones mediante números y la construcción de una proposición que, en esencia, afirma su propia indemostrabilidad. El resultado no dice que la matemática sea incierta ni que todo sea relativo. Dice algo mucho más exacto: cualquier sistema efectivo, consistente y suficientemente potente para expresar aritmética tendrá límites internos que no puede eliminar usando solamente sus propias reglas.
See omnystudio.com/listener for privacy information.