ее основаниям отличается от формализма и отличается ли он?
Я не знаю, как относились Бурбаки к онтологии Гильберта
Или немонотонные доказательства не будут композиться? 🤔
А самый первый из людей по теме интенсиональной конъюнкции оказался, Орлов (?). @massimonova поправит, если что
Интернационально известны грузинские логики и их достижения по поводу связи логики и топологии (Исакия, Габелая, Бежанишвили и прочие). Также известны болгарские логики-алгебр...
Интересно, как часто крутые философы забугорные писали сразу о двух русских представителях философской дисциплины?, и интересно, сколько студентов на философских факультетах з...
А в чём прикол игросема для всего подряд? ;-) Видится только возможность ко всему подряд присобачить какую-то семантику "взаимодействия". Игры, это часто, что-то близкое к кон...
@amaka_hahina привет. А что Вы думаете об игровых семантиках логики? В последнее время часто наталкиваюсь на статьи о них в контексте параллельных (concurrent) языков.
Меня смутило, что спрашивают какие-то религиозные вопросы о математике с расплывчатыми формулировками, которые я не понимаю) Возможно, как и Александр, я не в теме такой матем...
@massimonova, это из какой книги или статьи?
Я правильно представляю себе ситуацию?
Простите если оффтоп, но учитывая фразу в описании канала считаю свой вопрос допустимым здесь: Точнее вопросов два: 1. Существует ли какое-то обобщение над понятием системы с...
Обсуждают сегодня