"Давайте посчитаем": универсальная характеристика Лейбница, программа Гильберта и доказательство теорем с помощью компьютера

Приглашаем на вебинар Андрея Родина об истории идеи автоматизации рассуждений

Приглашаем на вебинар, где Андрей Родин расскажет об истории идеи автоматизации рассуждений и ее реализации с помощью современных электронных компьютеров.

Мы обсудим вопрос о том, в какой мере автоматизация рассуждений способствует (или, наоборот, мешает) приобретению новых знаний.

Андрей Родин — доктор философских наук, специалист по философии науки, математики и эпистемологии компьютерного представления знаний. Ранее работал в ИФ РАН и Смольном колледже СПбГУ, сейчас — в Университете Paris-Cité (Франция)

"Давайте посчитаем": универсальная характеристика Лейбница, программа Гильберта и доказательство теорем с помощью компьютера
21 день назад
29 июля 18:30–20:00

Событие пройдет онлайн

Уже регистрировались?
Ссылка на онлайн-событие рассылается за час до его начала.
Получить ссылку

Поделиться:

Связь с организатором

На этот адрес придёт ответ от организатора.

По номеру с вами свяжется организатор

Подпишитесь на рассылку организатора

Возврат билета

О всех тонкостях возврата читайте в нашей подробной инструкции

Вернуть билет можно по ссылке из письма с билетами, или отправив запрос на возврат организатору события.
Не нашли письмо с билетами? Отправьте их ещё раз на почту, указанную при регистрации.