Лев Беклемишев - Беседы о логике. Часть 2. Беседует Николай Андреев
Беседы о логике. Часть 2.
Какую роль сыграла логика в создании компьютеров и языков программирования? Какие области современной науки и техники также широко используют логические методы? Бывают ли алгоритмически неразрешимые задачи? В чем суть и в чем важность ряда знаменитых «задач тысячелетия» Гильберта? В чем заключается проблема четырех красок и какова история ее «компьютерного доказательства»? Сколько же теорем было у Гёделя и что же они утверждают, а что опровергают? В чем «сила» и в чем «богатство» математических теорий? И, наконец, как Математика устанавливает границы своей собственной применимости?
*Математический конгресс в Москве был не в 1964, а в 1966 году.
Беседуют:
— Лев Дмитриевич Беклемишев, академик РАН, главный научный сотрудник отдела математической логики Математического института им. В. А. Стеклова РАН.
— Николай Николаевич Андреев, кандидат физико-математических наук, заведующий лабораторией популяризации и пропаганды математики Математического института им. В. А. Стеклова РАН.
Наука | Научпоп
9.3K постов82.7K подписчиков
Правила сообщества
Основные условия публикации
- Посты должны иметь отношение к науке, актуальным открытиям или жизни научного сообщества и содержать ссылки на авторитетный источник.
- Посты должны по возможности избегать кликбейта и броских фраз, вводящих в заблуждение.
- Научные статьи должны сопровождаться описанием исследования, доступным на популярном уровне. Слишком профессиональный материал может быть отклонён.
- Видеоматериалы должны иметь описание.
- Названия должны отражать суть исследования.
- Если пост содержит материал, оригинал которого написан или снят на иностранном языке, русская версия должна содержать все основные положения.
- Посты-ответы также должны самостоятельно (без привязки к оригинальному посту) удовлетворять всем вышеперечисленным условиям.
Не принимаются к публикации
- Точные или урезанные копии журнальных и газетных статей. Посты о последних достижениях науки должны содержать ваш разъясняющий комментарий или представлять обзоры нескольких статей.
- Юмористические посты, представляющие также точные и урезанные копии из популярных источников, цитаты сборников. Научный юмор приветствуется, но должен публиковаться большими порциями, а не набивать рейтинг единичными цитатами огромного сборника.
- Посты с вопросами околонаучного, но базового уровня, просьбы о помощи в решении задач и проведении исследований отправляются в общую ленту. По возможности модерация сообщества даст свой ответ.
Наказывается баном
- Оскорбления, выраженные лично пользователю или категории пользователей.
- Попытки использовать сообщество для рекламы.
- Фальсификация фактов.
- Многократные попытки публикации материалов, не удовлетворяющих правилам.
- Троллинг, флейм.
- Нарушение правил сайта в целом.
Окончательное решение по соответствию поста или комментария правилам принимается модерацией сообщества. Просьбы о разбане и жалобы на модерацию принимает администратор сообщества. Жалобы на администратора принимает и общество Пикабу.