{"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\/fr\/uk-uamatematichnij-dokaz-u-bud-jakij-sistemi-ye-dirki-ru\/","title":{"rendered":"La preuve math\u00e9matique que tout a un trou"},"content":{"rendered":"

Mes coll\u00e8gues me demandent de l’aide avec les chiffres. Je connais les math\u00e9matiques, supposent-ils. L’ironie est que je suis nul en calcul mental. <\/p>\n

Les gens se trompent en math\u00e9matiques. Ils pensent que ce sont des sommes rapides, des soustractions faites dans votre t\u00eate en achetant du caf\u00e9. Non. Les vraies math\u00e9matiques consistent \u00e0 construire des mondes<\/em>. <\/p>\n

Le mythe de la Fondation<\/h3>\n

Vous commencez par des r\u00e8gles. Axiomes. Des v\u00e9rit\u00e9s fondamentales sur lesquelles vous \u00eates d\u2019accord juste pour que le jeu puisse commencer. A partir de l\u00e0, on accumule des trucs. Les ensembles deviennent des nombres, les nombres deviennent des fonctions, les fonctions se transforment en g\u00e9om\u00e9trie. Tout repose sur ce premier \u00e9tage. <\/p>\n

Pendant longtemps, les math\u00e9maticiens ont jou\u00e9 un dangereux num\u00e9ro d\u2019\u00e9quilibriste. Ils voulaient le moins de r\u00e8gles possible, mais suffisamment pour d\u00e9crire l’univers moderne. Et ces r\u00e8gles devaient sembler correctes<\/em>. Intuitif. C’est comme dire “un ensemble vide existe”. C\u2019est tout simplement logique. <\/p>\n

Dans les ann\u00e9es 1900, tout le monde s\u2019est tourn\u00e9 vers ZFC. Zermelo-Fraen a d\u00e9fini la th\u00e9orie avec le choix. Neuf r\u00e8gles. C’est \u00e7a. C\u2019\u00e9tait le fondement. <\/p>\n

C\u2019est du moins ce qu\u2019ils pensaient. <\/p>\n

G\u00f6del casse tout<\/h3>\n

Les math\u00e9maticiens adoraient leur fondation. Ils r\u00eavaient d\u2019un syst\u00e8me qui serait deux choses \u00e0 la fois\u00a0: <\/p>\n

    \n
  1. Complet.<\/strong> Chaque v\u00e9rit\u00e9 peut \u00eatre prouv\u00e9e. <\/li>\n
  2. Coh\u00e9rent.<\/strong> Aucune contradiction autoris\u00e9e. <\/li>\n<\/ol>\n

    1931 arrive. Entre Kurt G\u00f6del. Vingt-cinq ans. Il l\u00e2che une bombe qui fissure les fondations. <\/p>\n

    Son premier th\u00e9or\u00e8me d\u2019incompl\u00e9tude est brutal. Il dit que dans tout syst\u00e8me solide et coh\u00e9rent, certaines d\u00e9clarations ne peuvent pas \u00eatre prouv\u00e9es vraies ou fausses. P\u00e9riode. Vient ensuite le deuxi\u00e8me th\u00e9or\u00e8me. Pire encore. Le syst\u00e8me ne peut pas prouver sa coh\u00e9rence. <\/p>\n

    Cela semble acad\u00e9mique, bien s\u00fbr. Des trucs de logique abstraite. Ses pairs esp\u00e9raient que c\u2019\u00e9tait une bizarrerie. Un \u00e9trange incident th\u00e9orique sans dents. Ils avaient tort. <\/p>\n

    \n

    G\u00f6del a prouv\u00e9 que la certitude a un plafond. Vous ne pouvez pas tout savoir, m\u00eame dans le cadre des r\u00e8gles que vous avez \u00e9tablies. <\/p>\n<\/blockquote>\n

    Prenez le syst\u00e8me ZFC lui-m\u00eame. C\u2019est plein de choses ind\u00e9montrables. L\u2019hypoth\u00e8se du continuum est la plus importante. Existe-t-il une infinit\u00e9 entre les nombres entiers et les nombres r\u00e9els ? Nous ne le savons pas. Et nous ne pourrons jamais le prouver avec nos outils actuels. La question… reste l\u00e0. <\/p>\n

    Non r\u00e9solu. Insoluble, m\u00eame. <\/p>\n

    Alors oui, on peut construire des mondes \u00e0 partir d\u2019axiomes. Vous pouvez passer d\u2019ensembles simples \u00e0 une topologie complexe. Mais la structure pr\u00e9sente des trous. Des angles morts int\u00e9gr\u00e9s o\u00f9 se cache la v\u00e9rit\u00e9, \u00e0 jamais hors de port\u00e9e. <\/p>\n

    Pourquoi l\u2019esprit aspire-t-il \u00e0 l\u2019ach\u00e8vement si l\u2019ach\u00e8vement est impossible ?<\/p>\n","protected":false},"excerpt":{"rendered":"

    Mes coll\u00e8gues me demandent de l’aide avec les chiffres. Je connais les math\u00e9matiques, supposent-ils. L’ironie est que je suis nul en calcul mental. Les gens se trompent en math\u00e9matiques. Ils pensent que ce sont des sommes rapides, des soustractions faites dans votre t\u00eate en achetant du caf\u00e9. Non. Les vraies math\u00e9matiques consistent \u00e0 construire des […]<\/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\/fr\/wp-json\/wp\/v2\/posts\/7822"}],"collection":[{"href":"https:\/\/www.schooler.org.ua\/fr\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.schooler.org.ua\/fr\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.schooler.org.ua\/fr\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.schooler.org.ua\/fr\/wp-json\/wp\/v2\/comments?post=7822"}],"version-history":[{"count":0,"href":"https:\/\/www.schooler.org.ua\/fr\/wp-json\/wp\/v2\/posts\/7822\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.schooler.org.ua\/fr\/wp-json\/wp\/v2\/media\/7821"}],"wp:attachment":[{"href":"https:\/\/www.schooler.org.ua\/fr\/wp-json\/wp\/v2\/media?parent=7822"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.schooler.org.ua\/fr\/wp-json\/wp\/v2\/categories?post=7822"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.schooler.org.ua\/fr\/wp-json\/wp\/v2\/tags?post=7822"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}