uAnalytiCon

Иногда студенты говорят нам, что Великой материализации квантора существования не было. Тогда мы рассказываем им о Великой материализации простых чисел в сыре, о которой они не могут помнить, так как были тогда слишком маленькими, а некоторые из них вообще ещё не существовали...

естественного языка». Мы поговорили о собаках, кошках, кенгуру, о разных видах равенства, приведении типов, копредикации и многих других страшных словах. Было гомотопичненько и параметричненько. С записью можно ознакомиться на нашем YouTube-канале, в паблике VK, на канале Дзен и на Rutube-канале...

Кажется, вопрос оказался не из тривиальных. Исследование продолжается, а мы пока пойдём праздновать Международный день рек. #ихнравы

читаете это сообщение, то ограбление можно не планировать. Это просто не выгодно во всех отношениях! Также на всякий случай напоминаем, что дедлайн подачи заявок всё ближе и ближе, надо успевать.

Тогда мы рассказываем им о Великой материализации квантора существования 1991 года, о которой они не могут помнить, так как были тогда слишком маленькими, а некоторые из них вообще ещё не существовали...

". Судя по программе, мероприятия школы обещают быть крайне интересными: тут вам и параконсистентная логика, и инквизитивная семантика, и даже Флоренский с любовью к противоречиям (ну, и много чего ещё). Даты весенней школы: с 23 по 28 марта 2026 г. Дедлайн подачи заявок на участие: 18 марта.

». В одной из сцен второго эпизода восьмого сезона Шелдон Купер показывает на одну из своих досок, где записан ряд логических формул с кванторами и модальными операторами. Указывая на формулы, Шелдон сетует, что даже он (!) не до конца понимает, что тут происходит...

? А вот и нет! Это астрономический символ созвездия Лисички, придуманный художником Дэнисом Московицем наряду с целым рядом других астрономических символов для планет, спутников, созвездий, астероидов и прочих космических тел...

Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen, является плагиатом. Письма, на которые исследователи обратили внимание, были не так давно переданы в Ассоциацию Георга Кантора (Georg-Cantor-Vereinigung) при Галле-Виттенбергском университете имени Мартина Лютера правнучкой Кантора Ангеликой Фален. В указанной статье Кантора даётся доказательство равномощности множества алгебраических чисел и множества целых чисел, а также доказательство знаменитой теоремы о том, что мощность множества вещественных чисел строго больше мощности множества целых чисел. Доказательство равномощности...

(Блез Паскаль, Мысли. Раздел второй, Несистематизированные бумаги. Серия XI. Пер. Ю. Гинзбург) #хрюканина

, проказничества, шалостей и прочей дикости сделать философию лучше и попутно насолить разным континенталам. #подложка