Без усечения.
Есть ли примеры теорий, которые не могут быть финитно аксиоматизированы в одном языке, но при этом есть их полная и непротиворечивая финитная аксиоматизация в другом, более бо...
Где логику изучать?
А как в формулах вроде ∀ x : α, smth называется часть, которая здесь представлена как smth ?
Кстати про математику. Недавно осознал, что тупо обычные числа имеют очень дофига структуры. Натуральные реализуют сходу три полугруппы/моноида — сложение, умножение, миниму...
@alexanderplatz_square как вы, логики, к зиновьеву относитесь, кстати? Шиза или база? Просто он не колмогоров и не мальцев с войшвилло, слишком философ, у меня плохие подозрен...
Меня смутило, что спрашивают какие-то религиозные вопросы о математике с расплывчатыми формулировками, которые я не понимаю) Возможно, как и Александр, я не в теме такой матем...
🐱: Существуют чистые системы типов (pure type systems, PTS), которые можно увидеть, в частности, в так называемом лямбда-кубе (lambda cube). От обычных теорий типов отличаются...
+ вот что ещё. Логические константы, как указано в https://plato.stanford.edu/entries/logical-constants/, полагаются нейтральными к тому или иному предмету (topic neutral). ...
Вот Куайн пишет о классической логике предикатов второго порядка как о теории множеств в овечьей шкуре. Интересно, а кто-то писал обратное с отсылкой к этой характеристике Куа...
А есть ли сайт, какой-нибудь проект, в рамках которого собирают коллекцию максимально подробных формализаций в языке логики предикатов тех или иных теорем? Помню, сюда скидыва...
Обсуждают сегодня