Забаню.
Нельзя спросить о царице наук?
Это чат по матлогике.
Бл, мен, ну челик явно еблан какой-то. Нахуй кикни.
→ @promath_ru
Мб парень логицист и считает что вся математика выводится из логики 🤔
Мне тоже нельзя отвечать?
Простите если оффтоп, но учитывая фразу в описании канала считаю свой вопрос допустимым здесь: Точнее вопросов два: 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" нера...
Я что-то не понимаю, какая проблема топологически сортернуть конечный граф? 🧐
А зачем может быть нужно выбирать неполные семантики для синтаксиса, который допускает полные?
Существует ли мера (в смысле теории меры), которая позволяет различать множества разного объëма, которая бы работала как на конечных множествах, так на бесконечных счëтных?
Обсуждают сегодня