Добавить в календарь
2026-07-29 18:30:00
2026-07-24 14:45:20
Вебинар «Давайте посчитаем»: универсальная характеристика Лейбница, программа Гильберта и доказательство теорем с помощью компьютера
Description
Онлайн
Отдел профессиональных программ
info@eusp.org
Europe/Moscow
public
Дата:
29.07.2026
Время:
18:30
Зал:
Онлайн
Организатор:
Отдел профессиональных программ
29 июля приглашаем на вебинар «"Давайте посчитаем": универсальная характеристика Лейбница, программа Гильберта и доказательство теорем с помощью компьютера», где Андрей Родин расскажет об истории идеи автоматизации рассуждений и ее реализации с помощью современных электронных компьютеров.
Обсудим вопрос о том, в какой мере автоматизация рассуждений способствует (или, наоборот, мешает) приобретению новых знаний.
Андрей Родин — специалист по философии науки, математики и эпистемологии компьютерного представления знаний, сокуратор постдипломной программы «Философия, математика и компьютерные науки».
Мероприятие пройдет онлайн. Для участия зарегистрируйтесь на Timepad.