Плиско В.Е. - Введение в математическую логику - 14. Интуиционистская логика
Математика - это логика, но логика шире математики
Моя многолетняя работа в аналитике и журналистике показывает, что на фундаментальном уровне практически все достижения нашего технологического века от сверхразумного искусственного интеллекта до блокчейна опираются на математику. Но возникает ключевой вопрос: является ли математика вершиной всего познания, или же она, при всей своей строгости и универсальности, лишь часть куда более широкой и сложной системы логики, которая проникает в саму суть человеческого мышления, эмоций и социального взаимодействия?...
Чем может быть полезна математическая логика в повседневной жизни?
При словосочетании «математическая логика» нам представляется что-то очень абстрактное и далёкое от реальной жизни: сложные формулы, теоремы, символы, понятные лишь узкому кругу учёных. На самом же деле, это не что-то запредельное, а мощный инструмент, который мы используем каждый день. Давайте разберёмся, что это такое и как она может сделать нашу жизнь проще, понятнее и эффективнее. Если отбросить строгие академические определения, математическая логика — это, по сути, наука о правильном рассуждении...