Найти в Дзене
Иногда студенты говорят нам, что Великой материализации квантора существования не было
Иногда студенты говорят нам, что Великой материализации квантора существования не было. Тогда мы рассказываем им о Великой материализации простых чисел в сыре, о которой они не могут помнить, так как были тогда слишком маленькими, а некоторые из них вообще ещё не существовали...
2 часа назад
Сегодня на нашем Кружке аналитической философии был представлен приглашённый доклад Олега Доманова «Наблюдательная теория типов в семантике
естественного языка». Мы поговорили о собаках, кошках, кенгуру, о разных видах равенства, приведении типов, копредикации и многих других страшных словах. Было гомотопичненько и параметричненько. С записью можно ознакомиться на нашем YouTube-канале, в паблике VK, на канале Дзен и на Rutube-канале...
3 дня назад
В этом году у нас на конференции НЕОБЯЗАТЕЛЬНО будут боксы и даймонды, в этом году у нас в основном универсалии и объекты, так что если вы
читаете это сообщение, то ограбление можно не планировать. Это просто не выгодно во всех отношениях! Также на всякий случай напоминаем, что дедлайн подачи заявок всё ближе и ближе, надо успевать.
1 неделю назад
Иногда студенты говорят нам, что абстрактных объектов не существует
Тогда мы рассказываем им о Великой материализации квантора существования 1991 года, о которой они не могут помнить, так как были тогда слишком маленькими, а некоторые из них вообще ещё не существовали...
3 недели назад
Коллеги из НИУ ВШЭ открыли приём заявок на свою Весеннюю школу "Логика, лингвистика и формальная философия
". Судя по программе, мероприятия школы обещают быть крайне интересными: тут вам и параконсистентная логика, и инквизитивная семантика, и даже Флоренский с любовью к противоречиям (ну, и много чего ещё). Даты весенней школы: с 23 по 28 марта 2026 г. Дедлайн подачи заявок на участие: 18 марта.
3 недели назад
Приятная пасхалочка из сериала «Теория большого взрыва
». В одной из сцен второго эпизода восьмого сезона Шелдон Купер показывает на одну из своих досок, где записан ряд логических формул с кванторами и модальными операторами. Указывая на формулы, Шелдон сетует, что даже он (!) не до конца понимает, что тут происходит...
3 недели назад
В честь всероссийского Дня кошек пушистая часть команды uAnalytiCon приготовила вам приятный подарок — дедлайн приёма заявок на нашу конференцию продлён до 31 марта! Читайте книжки, пишите тезисы и гладьте ближайшую к вам экземплификацию универсалии кисочности🐱
3 недели назад
Вы думаете, что на картинке изображен квантор всеобщности, и этот пост про него
? А вот и нет! Это астрономический символ созвездия Лисички, придуманный художником Дэнисом Московицем наряду с целым рядом других астрономических символов для планет, спутников, созвездий, астероидов и прочих космических тел...
3 недели назад
Исследователи утверждают, что письма Рихарда Дедекинда и Георга Кантора свидетельствуют о том, что статья Кантора 1874 года, Ueber eine
Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen, является плагиатом. Письма, на которые исследователи обратили внимание, были не так давно переданы в Ассоциацию Георга Кантора (Georg-Cantor-Vereinigung) при Галле-Виттенбергском университете имени Мартина Лютера правнучкой Кантора Ангеликой Фален. В указанной статье Кантора даётся доказательство равномощности множества алгебраических чисел и множества целых чисел, а также доказательство знаменитой теоремы о том, что мощность множества вещественных чисел строго больше мощности множества целых чисел. Доказательство равномощности...
3 недели назад