{"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\/pt\/uk-uamatematichnij-dokaz-u-bud-jakij-sistemi-ye-dirki-ru\/","title":{"rendered":"A prova matem\u00e1tica de que tudo tem um buraco"},"content":{"rendered":"

Meus colegas me pedem ajuda com n\u00fameros. Eu sei matem\u00e1tica, eles presumem. A ironia \u00e9 que sou p\u00e9ssimo em aritm\u00e9tica mental. <\/p>\n

As pessoas erram em matem\u00e1tica. Acham que s\u00e3o somas r\u00e1pidas, subtra\u00e7\u00f5es feitas de cabe\u00e7a na hora de comprar caf\u00e9. N\u00e3o. A verdadeira matem\u00e1tica trata de construir mundos<\/em>. <\/p>\n

O Mito da Funda\u00e7\u00e3o<\/h3>\n

Voc\u00ea come\u00e7a com regras. Axiomas. Verdades b\u00e1sicas com as quais voc\u00ea concorda apenas para que o jogo possa come\u00e7ar. A partir da\u00ed voc\u00ea empilha coisas. Conjuntos tornam-se n\u00fameros, n\u00fameros tornam-se fun\u00e7\u00f5es, fun\u00e7\u00f5es transformam-se em geometria. Tudo repousa nesse piso inicial. <\/p>\n

Durante muito tempo, os matem\u00e1ticos praticaram um perigoso ato de equil\u00edbrio. Eles queriam o m\u00ednimo de regras poss\u00edvel, mas o suficiente para descrever o universo moderno. E essas regras tinham que parecer certas<\/em>. Intuitivo. Como dizer “existe um conjunto vazio”. Simplesmente faz sentido. <\/p>\n

Na d\u00e9cada de 1900, todos optaram pelo ZFC. Teoria dos conjuntos de Zermelo-Fraen com escolha. Nove regras. \u00c9 isso. Esse foi o alicerce. <\/p>\n

Ou assim eles pensaram. <\/p>\n

G\u00f6del quebra tudo<\/h3>\n

Os matem\u00e1ticos adoraram sua funda\u00e7\u00e3o. Eles sonhavam com um sistema que fosse duas coisas ao mesmo tempo: <\/p>\n

    \n
  1. Completo.<\/strong> Toda verdade pode ser provada. <\/li>\n
  2. Consistente.<\/strong> N\u00e3o s\u00e3o permitidas contradi\u00e7\u00f5es. <\/li>\n<\/ol>\n

    1931 chega. Entra Kurt G\u00f6del. Vinte e cinco anos. Ele lan\u00e7a uma bomba que quebra a funda\u00e7\u00e3o. <\/p>\n

    Seu Primeiro Teorema da Incompletude \u00e9 brutal. Diz que em qualquer sistema forte e consistente, existem afirma\u00e7\u00f5es que n\u00e3o podem ser provadas como verdadeiras ou falsas. Per\u00edodo. Depois vem o Segundo Teorema. Pior ainda. O sistema n\u00e3o pode provar que \u00e9 consistente. <\/p>\n

    Parece acad\u00eamico, claro. Coisas de l\u00f3gica abstrata. Seus colegas esperavam que fosse uma peculiaridade. Um estranho pontinho te\u00f3rico sem dentes. Eles estavam errados. <\/p>\n

    \n

    G\u00f6del provou que a certeza tem um limite. Voc\u00ea n\u00e3o pode saber tudo, mesmo dentro das regras que voc\u00ea criou. <\/p>\n<\/blockquote>\n

    Veja o pr\u00f3prio sistema ZFC. Est\u00e1 cheio de coisas improv\u00e1veis. A Hip\u00f3tese do Continuum \u00e9 a grande. Existe um infinito entre n\u00fameros inteiros e n\u00fameros reais? N\u00f3s n\u00e3o sabemos. E nunca poderemos provar isso, usando as nossas ferramentas atuais. A quest\u00e3o simplesmente… fica a\u00ed. <\/p>\n

    N\u00e3o resolvido. Insol\u00favel, at\u00e9. <\/p>\n

    Ent\u00e3o sim, voc\u00ea pode construir mundos a partir de axiomas. Voc\u00ea pode subir de conjuntos simples at\u00e9 topologias complexas. Mas a estrutura tem buracos. Pontos cegos embutidos onde a verdade se esconde, para sempre fora de alcance. <\/p>\n

    Por que a mente anseia pela conclus\u00e3o se a conclus\u00e3o \u00e9 imposs\u00edvel?<\/p>\n","protected":false},"excerpt":{"rendered":"

    Meus colegas me pedem ajuda com n\u00fameros. Eu sei matem\u00e1tica, eles presumem. A ironia \u00e9 que sou p\u00e9ssimo em aritm\u00e9tica mental. As pessoas erram em matem\u00e1tica. Acham que s\u00e3o somas r\u00e1pidas, subtra\u00e7\u00f5es feitas de cabe\u00e7a na hora de comprar caf\u00e9. N\u00e3o. A verdadeira matem\u00e1tica trata de construir mundos. O Mito da Funda\u00e7\u00e3o Voc\u00ea come\u00e7a com […]<\/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\/pt\/wp-json\/wp\/v2\/posts\/7822"}],"collection":[{"href":"https:\/\/www.schooler.org.ua\/pt\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.schooler.org.ua\/pt\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.schooler.org.ua\/pt\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.schooler.org.ua\/pt\/wp-json\/wp\/v2\/comments?post=7822"}],"version-history":[{"count":0,"href":"https:\/\/www.schooler.org.ua\/pt\/wp-json\/wp\/v2\/posts\/7822\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.schooler.org.ua\/pt\/wp-json\/wp\/v2\/media\/7821"}],"wp:attachment":[{"href":"https:\/\/www.schooler.org.ua\/pt\/wp-json\/wp\/v2\/media?parent=7822"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.schooler.org.ua\/pt\/wp-json\/wp\/v2\/categories?post=7822"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.schooler.org.ua\/pt\/wp-json\/wp\/v2\/tags?post=7822"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}