гедель

Идеальную систему строили 100 лет. И разрушили одной теоремой. В начале XX века математики пытались построить для своей науки прочный фундамент. Логики хотели найти набор аксиом и правил, из которых можно было бы строго вывести любое истинное утверждение. Курт Гёдель показал, что эта цель...

Даже натуральные числа оказались слишком сложными для аксиом. Математика долго казалась областью, где любую истину можно получить из правильного набора правил. В 1931 году Курт Гёдель разрушил такую надежду: он доказал, что математику нельзя полностью свести к закрытой системе аксиом и...

Некоторые математики искали логическое доказательство существования Бога. Вот что они обнаружили <script type="text/x-mathjax-config;executed=true"> MathJax.Hub.Config({ tex2jax: {inlineMath: [['$','$'], ['\\(','\\)']]}, "HTML-CSS": {linebreaks: { automatic: true }}, SVG: { linebreaks: {...