TGViewer
Европейский. Просто о сложном Европейский. Просто о сложном @euspb · 4.57K subscribers
Post #2508 1.42K
Вебинар «Давайте посчитаем»: универсальная характеристика Лейбница, программа Гильберта и доказательство теорем с помощью компьютера

📌29 июля, 18:30 онлайн

➡️ На вебинаре куратор программы «Философия, математика и компьютерные науки» Андрей Родин расскажет об истории идеи автоматизации рассуждений и ее реализации с помощью современных электронных компьютеров

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


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

➡️Подробности и регистрация
  • 💅 6
  • ☃ 5
  • ⚡ 2
  • ❤ 2
  • 🗿 2
  • 🆒 2
  • 👾 1
More from @euspb
  1. Sep 26, 2026Издательство Европейского университета запускает новую серию книг «Повседневность россияни…
  2. Sep 25, 2026Европейский получил диплом премии «Хранители наследия Петербурга» на церемонии, которую пр…
  3. Sep 25, 2026Уже очевидно, что система массово готовит 100-балльников. Нужно ввести еще какой-то параме…
  4. Sep 24, 2026Вчера Школа искусств ходила в гости в Музей ОБЭРИУ на экскурсию к нашей выпускнице Анне Ус…
  5. Sep 24, 2026Приглашаем на презентацию книги Николая Вахтина «Язык, или Главная загадка человечества» �…
  6. Sep 23, 2026Приглашаем на лекцию Дмитрия Козлова в Самаре 📌 26 сентября в 17:00, галерея «Виктория» (…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →