Loading...

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

event main image
event main image

Когда:1 день до начала

Начало:Среда 29.07, 18:30 GMT+03

Конец:Среда 29.07, 20:00 GMT+03

Формат:

Онлайн

Тип:

Вебинар

Источник:

Timepad

Приглашение на вебинар Андрея Родина

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

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

О спикере

Андрей Родин — доктор философских наук, специалист по философии науки, математики и эпистемологии компьютерного представления знаний.

Ранее работал в:

  • ИФ РАН
  • Смольном колледже СПбГУ

Сейчас — в Университете Paris-Cité (Франция).

Онлайн

Похожие события

Когда:1 день до начала

Начало:Среда 29.07, 18:30 GMT+03

Конец:Среда 29.07, 20:00 GMT+03

Формат:

Онлайн

Тип:

Вебинар

Источник:

Timepad