Информатика, математика и философия: все что важно в 2026 году
🌻 Запускаем серию воркшопов, в которых мы объединили 3 параллельных мира: философскую онтологию, код и математическую логику. Это не курс по промпт-инжинирингу и не лекция по античной философии, а возвращение к истокам нашей цифровой реальности и их глубокое осмысление
📌11, 18 и 25 апреля 2026
➡ На первом воркшопе пройдем путь от метафизики и «онтологических обязательств» Квайна — к графам знаний и эпохе LLM. Поймем, как философский реализм влияет на то, как мы проектируем хранение данных и формальные теории
➡ На втором воркшопе ответим на вопрос, почему «обоснованное истинное мнение» Платона не работает в реальном мире? Познакомимся с парадоксами Гетье, математикой шифрования и архитектурой блокчейна как механизмом жесткого провенанса
➡ На третьем воркшопе разберем теоремы Геделя, изоморфизм Карри-Говарда и тезис Черча. И узнаем, как то, что нельзя доказать, влияет на моделирование ответственности и статические контракты в информационных системах
Для кого этот курс:
Для технических директоров, системных архитекторов, специалистов по анализу, обработке и моделированию данных, онтологов и исследователей ИИ, которым тесно в рамках чистой инженерии
В результате вы:
🌀получите новые инструменты оценки устойчивости архитектурных решений
🌀увидите за кодом смыслы и будете мыслить объемнее, чем требует текущая задача
Воркшопы проведут:
Илья Егорычев, доктор философских наук, математик, философ, логик
Андрей Родин, доктор философских наук, специалист по философии науки, математики и эпистемологии компьютерного представления знаний, исследователь в Университете Paris-Cité (Франция)
Вячеслав Шириков, системный архитектор, сооснователь и технический директор ГК «Лартех»
➡️ https://industrial.eusp.org/thecodeinsideout?utm_source=tg&utm_medium=euspb&utm_campaign=anons1
