352 читали · 2 года назад
Доказательства и опровержения
У моих друзей, родственников, знакомых встречаются противоположные взгляды на то, что сейчас происходит в мире и в нашей стране. Возникают ожесточенные споры, когда никто никого не может убедить. И всё сводится не к рациональным доводам, а к возражению «Ты не видишь очевидного». Вы наверняка тоже в таких спорах участвовали или хотя бы слышали. Некоторые спорщики как сектанты: держатся своей доктрины во что бы то ни стало, вне зависимости от реальности. (На тему, почему у людей возникают стойкие иррациональные убеждения-верования, советую книги Роба Бразертона «Недоверчивые умы...
3 года назад
Математик, который разработал теорему Бога (1931 год)
Когда Гедель умер в 1978 году, он оставил после себя интересную теорию, основанную на принципах модальной логики (тип формальной логики, который в узком смысле предполагает использование слов "обязательно" и "возможно")...