как то доказанность V(p) и Опроврегнутость F(p) с истинностью? Как вариант. Если доказали то можем мли мы принять истинность тру?
https://t.me/symboliclogic/2466 и далее...
Простите если оффтоп, но учитывая фразу в описании канала считаю свой вопрос допустимым здесь: Точнее вопросов два: 1. Существует ли какое-то обобщение над понятием системы с...
Меня смутило, что спрашивают какие-то религиозные вопросы о математике с расплывчатыми формулировками, которые я не понимаю) Возможно, как и Александр, я не в теме такой матем...
скажите пожалуйста, почему у приравниваются?
Мне что-то вообще непонятно, зачем пытаться выжать из LLM полностью формальные рассуждения, при этом даже не пытаясь ей объяснить, что именно ты от неё хочешь (контекст)? Звуч...
А если мы конечные наты определим в теории типов при помощи рекурсии-индукции или рекурсии-рекурсии или типа того? Примерно так: 1. 0 — натуральное число 2. suc n — натурально...
> categories where the interpretation of the rules of the MLTT is given А этот набор категорий вообще формально определён?
Почему y"/y' = y*y' ?
С вашего позволения для своего удобства сейчас буду обозначать распределённый субъект большой "S", а нераспределенный маленькой "s", распределённый предикат - большой "P" нера...
Я что-то не понимаю, какая проблема топологически сортернуть конечный граф? 🧐
А зачем может быть нужно выбирать неполные семантики для синтаксиса, который допускает полные?
Обсуждают сегодня