{"id":7822,"date":"2026-05-27T22:01:58","date_gmt":"2026-05-27T19:01:58","guid":{"rendered":"https:\/\/www.schooler.org.ua\/uk-uamatematichnij-dokaz-u-bud-jakij-sistemi-ye-dirki-ru\/"},"modified":"2026-05-27T22:01:58","modified_gmt":"2026-05-27T19:01:58","slug":"uk-uamatematichnij-dokaz-u-bud-jakij-sistemi-ye-dirki-ru","status":"publish","type":"post","link":"https:\/\/www.schooler.org.ua\/es\/uk-uamatematichnij-dokaz-u-bud-jakij-sistemi-ye-dirki-ru\/","title":{"rendered":"La prueba matem\u00e1tica de que todo tiene un agujero"},"content":{"rendered":"<p>Mis compa\u00f1eros me piden ayuda con los n\u00fameros. S\u00e9 matem\u00e1ticas, suponen. La iron\u00eda es que soy un desastre en aritm\u00e9tica mental. <\/p>\n<p>La gente se equivoca en matem\u00e1ticas. Piensan que son sumas r\u00e1pidas, restas hechas mentalmente mientras compras caf\u00e9. No. Las verdaderas matem\u00e1ticas se tratan de <em>construir mundos<\/em>. <\/p>\n<h3>El mito de la fundaci\u00f3n<\/h3>\n<p>Empiezas con reglas. Axiomas. Verdades b\u00e1sicas en las que est\u00e1s de acuerdo para que el juego pueda comenzar. A partir de ah\u00ed vas acumulando cosas. Los conjuntos se convierten en n\u00fameros, los n\u00fameros se convierten en funciones, las funciones se convierten en geometr\u00eda. Todo se basa en ese piso inicial. <\/p>\n<p>Durante mucho tiempo, los matem\u00e1ticos realizaron un peligroso acto de equilibrio. Quer\u00edan la menor cantidad de reglas posible, pero suficientes para describir el universo moderno. Y esas reglas ten\u00edan que sentirse <em>correctas<\/em>. Intuitivo. Como decir &#8220;existe un conjunto vac\u00edo&#8221;. Simplemente tiene sentido. <\/p>\n<p>En la d\u00e9cada de 1900, todo el mundo se decidi\u00f3 por ZFC. Teor\u00eda de conjuntos de Zermelo-Fraen con elecci\u00f3n. Nueve reglas. Eso es todo. Esa fue la base. <\/p>\n<p>O eso pensaban. <\/p>\n<h3>G\u00f6del lo rompe todo<\/h3>\n<p>Los matem\u00e1ticos amaban su fundaci\u00f3n. So\u00f1aban con un sistema que fuera dos cosas a la vez: <\/p>\n<ol>\n<li><strong>Completo.<\/strong> Toda verdad se puede probar. <\/li>\n<li><strong>Consistente.<\/strong> No se permiten contradicciones. <\/li>\n<\/ol>\n<p>Llega 1931. Entra Kurt G\u00f6del. Veinticinco a\u00f1os. Lanza una bomba que rompe los cimientos. <\/p>\n<p>Su primer teorema de incompletitud es brutal. Dice que en cualquier sistema fuerte y consistente, hay afirmaciones que no se pueden probar como verdaderas o falsas. Per\u00edodo. Luego viene el segundo teorema. A\u00fan peor. El sistema no puede demostrar que sea consistente. <\/p>\n<p>Suena acad\u00e9mico, claro. Cosas de l\u00f3gica abstracta. Sus compa\u00f1eros esperaban que fuera una peculiaridad. Un extra\u00f1o problema te\u00f3rico sin dientes. Estaban equivocados. <\/p>\n<blockquote>\n<p>G\u00f6del demostr\u00f3 que la certeza tiene un l\u00edmite. No puedes saberlo todo, ni siquiera dentro de las reglas que estableciste. <\/p>\n<\/blockquote>\n<p>Tomemos como ejemplo el propio sistema ZFC. Est\u00e1 lleno de cosas indemostrables. La hip\u00f3tesis del continuo es la m\u00e1s importante. \u00bfExiste infinito entre los n\u00fameros enteros y los n\u00fameros reales? No lo sabemos. Y nunca podremos probarlo utilizando nuestras herramientas actuales. La pregunta simplemente&#8230; permanece ah\u00ed. <\/p>\n<p>No resuelto. Incluso irresoluble. <\/p>\n<p>Entonces s\u00ed, puedes construir mundos a partir de axiomas. Puede pasar de conjuntos simples a topolog\u00edas complejas. Pero la estructura tiene agujeros. Puntos ciegos incorporados donde se esconde la verdad, siempre fuera de su alcance. <\/p>\n<p>\u00bfPor qu\u00e9 la mente anhela la realizaci\u00f3n si la realizaci\u00f3n es imposible?<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Mis compa\u00f1eros me piden ayuda con los n\u00fameros. S\u00e9 matem\u00e1ticas, suponen. La iron\u00eda es que soy un desastre en aritm\u00e9tica mental. La gente se equivoca en matem\u00e1ticas. Piensan que son sumas r\u00e1pidas, restas hechas mentalmente mientras compras caf\u00e9. No. Las verdaderas matem\u00e1ticas se tratan de construir mundos. El mito de la fundaci\u00f3n Empiezas con reglas. [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":7821,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"tdm_status":"","tdm_grid_status":""},"categories":[1],"tags":[],"amp_enabled":true,"_links":{"self":[{"href":"https:\/\/www.schooler.org.ua\/es\/wp-json\/wp\/v2\/posts\/7822"}],"collection":[{"href":"https:\/\/www.schooler.org.ua\/es\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.schooler.org.ua\/es\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.schooler.org.ua\/es\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.schooler.org.ua\/es\/wp-json\/wp\/v2\/comments?post=7822"}],"version-history":[{"count":0,"href":"https:\/\/www.schooler.org.ua\/es\/wp-json\/wp\/v2\/posts\/7822\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.schooler.org.ua\/es\/wp-json\/wp\/v2\/media\/7821"}],"wp:attachment":[{"href":"https:\/\/www.schooler.org.ua\/es\/wp-json\/wp\/v2\/media?parent=7822"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.schooler.org.ua\/es\/wp-json\/wp\/v2\/categories?post=7822"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.schooler.org.ua\/es\/wp-json\/wp\/v2\/tags?post=7822"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}