Это не почему, это у вас уравнение такое
Сколько будет 2+2=4?
true
а иногда целые числа
Простите если оффтоп, но учитывая фразу в описании канала считаю свой вопрос допустимым здесь: Точнее вопросов два: 1. Существует ли какое-то обобщение над понятием системы с...
Меня смутило, что спрашивают какие-то религиозные вопросы о математике с расплывчатыми формулировками, которые я не понимаю) Возможно, как и Александр, я не в теме такой матем...
скажите пожалуйста, почему у приравниваются?
Мне что-то вообще непонятно, зачем пытаться выжать из LLM полностью формальные рассуждения, при этом даже не пытаясь ей объяснить, что именно ты от неё хочешь (контекст)? Звуч...
А если мы конечные наты определим в теории типов при помощи рекурсии-индукции или рекурсии-рекурсии или типа того? Примерно так: 1. 0 — натуральное число 2. suc n — натурально...
> categories where the interpretation of the rules of the MLTT is given А этот набор категорий вообще формально определён?
С вашего позволения для своего удобства сейчас буду обозначать распределённый субъект большой "S", а нераспределенный маленькой "s", распределённый предикат - большой "P" нера...
Я что-то не понимаю, какая проблема топологически сортернуть конечный граф? 🧐
А зачем может быть нужно выбирать неполные семантики для синтаксиса, который допускает полные?
Существует ли мера (в смысле теории меры), которая позволяет различать множества разного объëма, которая бы работала как на конечных множествах, так на бесконечных счëтных?
Обсуждают сегодня