Symbolic logic for math and destroy

Давай подойдём с другой стороны. Как ты собираешься использовать это понятие?

Ты хочешь определение вещественных чисел или что?

Интересно, как можно определить ограничения на количество истинностных значений той или иной логики. Дело в том, что валентность определяется семантикой. И оказывается, что у ...

Оно всюду плотно или нет?

Континуальное множество является несчётным и всюду плотным. А какое третье условие? Я помню, что их три. Если же говорить о всюду плотных множествах просто, то континуальное м...

За счёт того что это множество является... чем?

у меня вот есть вопрос по алгебре (перестановки), насколько тут уместно задать?

Если мы не можем эксплицитно указать все (различные) T-функции, то каким образом мы вообще можем создать таблицы в обычном их значении?

Просто что так договорились? Тогда это не математическое понятие

Есть ли примеры теорий, которые не могут быть финитно аксиоматизированы в одном языке, но при этом есть их полная и непротиворечивая финитная аксиоматизация в другом, более бо...

Где логику изучать?

А как в формулах вроде ∀ x : α, smth называется часть, которая здесь представлена как smth ?

Кстати про математику. Недавно осознал, что тупо обычные числа имеют очень дофига структуры. Натуральные реализуют сходу три полугруппы/моноида — сложение, умножение, миниму...

@alexanderplatz_square как вы, логики, к зиновьеву относитесь, кстати? Шиза или база? Просто он не колмогоров и не мальцев с войшвилло, слишком философ, у меня плохие подозрен...

🐱: Существуют чистые системы типов (pure type systems, PTS), которые можно увидеть, в частности, в так называемом лямбда-кубе (lambda cube). От обычных теорий типов отличаются...

+ вот что ещё. Логические константы, как указано в https://plato.stanford.edu/entries/logical-constants/, полагаются нейтральными к тому или иному предмету (topic neutral). ...

Вот Куайн пишет о классической логике предикатов второго порядка как о теории множеств в овечьей шкуре. Интересно, а кто-то писал обратное с отсылкой к этой характеристике Куа...