Symbolic logic for math and destroy

> categories where the interpretation of the rules of the MLTT is given А этот набор категорий вообще формально определён?

Мне что-то вообще непонятно, зачем пытаться выжать из LLM полностью формальные рассуждения, при этом даже не пытаясь ей объяснить, что именно ты от неё хочешь (контекст)? Звуч...

А если мы конечные наты определим в теории типов при помощи рекурсии-индукции или рекурсии-рекурсии или типа того? Примерно так: 1. 0 — натуральное число 2. suc n — натурально...

Почему y"/y' = y*y' ?

Выкладывают записи зума с данного семинара?

С вашего позволения для своего удобства сейчас буду обозначать распределённый субъект большой "S", а нераспределенный маленькой "s", распределённый предикат - большой "P" нера...

Я что-то не понимаю, какая проблема топологически сортернуть конечный граф? 🧐

А зачем может быть нужно выбирать неполные семантики для синтаксиса, который допускает полные?

Существует ли мера (в смысле теории меры), которая позволяет различать множества разного объëма, которая бы работала как на конечных множествах, так на бесконечных счëтных?

Вопрос на базовую комбинаторику, но что-то я туплю сильно. Допустим, у нас есть универсум Dom и коллекция его подмножеств (назовем ее Х), такая что X — это разбиение Dom, зам...

Собственно, кардинальность множества не является ли (дискретной) мерой? Я не шарю.

Приветствую, можете пожалуйста помочь понять, как в гильбертовском исчислении классической первопорядковой логики доказать теорему: ∃хR(x,x) > ∃x∃yR(x,y) Где > - импликация? Х...

Приветствую, с чего начать изучение логики новичку совсем? Например, нашел учебник логики Георгия Челпанова, годная тема?

Никто не знает, сколько классов изоморфности моделей есть у первопорядковой арифметики Пеано?

Может быть, кому-либо будет интересно: Greetings! This is just a reminder of the following coming online lecture on Logic and foundations of mathematics by Prof. Richard Zach...