"Давайте посчитаем": универсальная характеристика Лейбница, программа Гильберта и доказательство теорем с помощью компьютера
Приглашаем на вебинар, где Андрей Родин расскажет об истории идеи автоматизации рассуждений и ее реализации с помощью современных электронных компьютеров.
Мы обсудим вопрос о том, в какой мере автоматизация рассуждений способствует (или, наоборот, мешает) приобретению новых знаний.
Андрей Родин — доктор философских наук, специалист по философии науки, математики и эпистемологии компьютерного представления знаний. Ранее работал в ИФ РАН и Смольном колледже СПбГУ, сейчас — в Университете Paris-Cité (Франция)
https://eusp.timepad.ru/event/4099489/
Место
изменить информацию сообщить о проблеме
С этим мероприятием что-то не так?
- Неправильная дата или время
- Неправильный адрес
- Неправильно указан тип мероприятия
- Плохое описание
- Мероприятие отменено или отложено
- Неприемлемый/неприличный контент
- Нарушение авторских прав
- Это спам
- Не получается купить билет
- Какая-то другая проблема
- Это мое мероприятие, хочу его изменить
Онлайн
Книжный клуб WINNER: Форсайты. Три месяца с великим романом
1 июня
Мастер-класс Техника речи — постановка голоса: инструмент управленческого влияния и устойчивости к нагрузкам
21 июля
public therapy с анзолом.18
21 июля
Системный подход: технологии и практики (начинающие специалисты)
21 июля
похожие мероприятия
Docker для начинающих: сборка, мониторинг, данные и сети
25 июля
Как агентству больше заработать на AI-поиске: три реальных сценария использования GEO
28 июля
Почему ваши дашборды не помогают принимать решения: как работать с аналитикой в эпоху ИИ
30 июля
Честный разбор ИБ-франшизы: цифры, риски, реальный доход
23 июля
Скрытые точки роста онлайн-школы: email-базы, партнерский трафик и оплаты в рассрочку
23 июля
Оптимизация учета питания в государственных учреждениях
22 июля
