ПАЦАНЫ, Я СЕГОДНЯ ШЁЛ КОРОЧЕ ПО КОРИДОРУ ЧЕЛГУ И УВИДЕЛ БОРОДАЧА В МАЙКЕ «ЛЮБЛЮ ГИЛЬБЕРТА», НУ Я ПОДСКОЧИЛ И РЕЗКО ПЕРЕЕБАЛ ЕМУ В ЩЩИ С ВЕРТУШКИ И ПОЯСНИЛ ЕГО КРИКОМ «НЕ ЛЮБЛЮ ФОРМАЛИСТОВ», ПОТОМУ ЧТО Я УГОРЕЛ ПО ИНТУИЦИОНИЗМУ БРАУЭРА, ПАЦАНЫ ДУХ ИНТУИЦИИ ВРЕМЕНИ ЖИВЁТ ТОЛЬКО В АБСТРАКЦИИ ПОТЕНЦИАЛЬНОЙ ОСУЩЕСТВИМОСТИ, ГДЕ ЕБАШАТСЯ ПО КОНСТРУКТИВНЫМ ОБЪЕКТАМ, ГДЕ ПАЦАНЫ ЖИВУТ ПРУФ АССИСТАНТАМИ, ГОМОТОПИЧЕСКОЙ ТЕОРИЕЙ ТИПОВ И ЕБУТ АКТУАЛЬНУЮ БЕСКОНЕЧНОСТЬ В РОТ! ТОЛЬКО РЕКУРСИВНАЯ РЕАЛИЗУЕМОСТЬ, ТОЛЬКО УНИВАЛЕНТНЫЕ ОСНОВАНИЯ! ЮНИТИ УЛЬТРА ИНТУИЦИОНИЗМ БРАУЭР! Конструктивисты, ебашьте формалистов, платонистов, логицистов, ультрафинитистов, угорайте на теории типов, любите свою Интуицию, потенциальную бесконечность и Брауэра! ГОВОРИТЕ ОТКРЫТО И СМЕЛО ПРЯМО В ЛИЦО! ИНТУИЦИОНИЗМ!

https://2ch.hk/d/res/425167.html
sraЧ и нямки