Это не важно
+ вот что ещё. Логические константы, как указано в https://plato.stanford.edu/entries/logical-constants/, полагаются нейтральными к тому или иному предмету (topic neutral). ...
С чего начать чтобы подготовиться к ЕГЭ по математике?
Или немонотонные доказательства не будут композиться? 🤔
Будете новые основания математики придумывать?
А самый первый из людей по теме интенсиональной конъюнкции оказался, Орлов (?). @massimonova поправит, если что
@amaka_hahina привет. А что Вы думаете об игровых семантиках логики? В последнее время часто наталкиваюсь на статьи о них в контексте параллельных (concurrent) языков.
Меня смутило, что спрашивают какие-то религиозные вопросы о математике с расплывчатыми формулировками, которые я не понимаю) Возможно, как и Александр, я не в теме такой матем...
термин "game semantics" сам по себе — многозначный это одно в теории моделей и другое — в пруф-теоретической семантике (Жирар?), а может — не разбираюсь — третье в денотацион...
Интернационально известны грузинские логики и их достижения по поводу связи логики и топологии (Исакия, Габелая, Бежанишвили и прочие). Также известны болгарские логики-алгебр...
Простите если оффтоп, но учитывая фразу в описании канала считаю свой вопрос допустимым здесь: Точнее вопросов два: 1. Существует ли какое-то обобщение над понятием системы с...
Обсуждают сегодня