352 читали · 2 года назад
Доказательства и опровержения
У моих друзей, родственников, знакомых встречаются противоположные взгляды на то, что сейчас происходит в мире и в нашей стране. Возникают ожесточенные споры, когда никто никого не может убедить. И всё сводится не к рациональным доводам, а к возражению «Ты не видишь очевидного». Вы наверняка тоже в таких спорах участвовали или хотя бы слышали. Некоторые спорщики как сектанты: держатся своей доктрины во что бы то ни стало, вне зависимости от реальности. (На тему, почему у людей возникают стойкие иррациональные убеждения-верования, советую книги Роба Бразертона «Недоверчивые умы...
731 читали · 1 год назад
Парадокс Гёделя: за пределами доказательств
"Это утверждение ложно." Замысловатая загадка, не правда ли? Если утверждение правдиво, тогда оно обманывает нас. Однако, если оно обманчиво, то, строго говоря, оно говорит правду. Такое утверждение, ссылаясь на само себя, порождает парадокс, который не имеет решения. Казалось бы, чисто философская игра слов. Но в руках австрийского логика Курта Гёделя это становится ключом к открытию, кардинально меняющему наше понимание математики и ее границ. Невероятно, но такие "игры" могут перевернуть мир науки!...