Канал о философской и математической логике, формальной семантике и эпистемических моделях.
Канал: 515 подписчиков, аудитория стабильна, цитируют 2 площадки за 30 дней.
🏺 История и культура › Философия🧩 Авторский блог🔬 Математика🤖 Машинное обучение и исследованияРусскийКаналы Telegram
Подробная статистика →данные витрины на 28.10.2026 06:57 UTC
Последние посты
Наша идея для Flake не в том, чтобы просто добавить обычную эпистемическую логику K_a φ, а построить единую динамическую агентно-эпистемическую алгебру. В основе лежит пространство состояний S, действия и переходы между состояниями, а для к…Дарова, мужики и девчата. Пилю сейчас либу под названием Flake, язык/рантайм для формального управления агентами. Пока это именно Python-библиотека, но в перспективе хочу довести проект до полноценного агентно-ориентированного и при этом ло…OpenAI решил Навье-Стокса спиздив решение у подсосов Anthropic, я даже не буду комментировать. Разве что, формулировка задачи изначально интересней решения (никто из нормальных математиков этой хуйней и не занимается). И вы не решите конечн…Дрейфус еще в 70-х, кажется, видел потенциал больших моделей, оговариваясь на тему того, что это может быть круто, но пока не хватает таких мощностей. Но он же и пишет, что концептуально это не может быть подспорьем для естественного страте…Еще раз, почему нейронки это развлечение для быдла Научное исследование можно представить как вопросно-ответную игру. Есть информационное состояние S, множество допустимых вопросов Q и переход S → S' после получения ответа. Исследование зде…Невозможные возможные миры (Impossible Possible Worlds) contra логическое всеведенье Пока нормисы обсуждают мультивселенные, накатим семантику современных модальных логик. Сегодня Хинтикка в 1975 году совершил подрыв, доказав, что невозможн…Вся лента →Владельцу: ссылка на статистику и значок →
Типканал
ID1757174934
Участники515
Раньше«LogicML» · @logicml
История названий
как площадка называлась раньше и какие @ники держала — по данным индекса
≈ — по наблюдениям краулера: смена была не позже даты
≈ — по наблюдениям краулера: смена была не позже даты
≈ 19.08.2026«LogicML» → «LogicalAnimals»
@logicml → @logicalanimals
@logicml → @logicalanimals
≈ 08.05.2026впервые увидели · «LogicML» @logicml