Арифметика Пресбургера
Забудьте про умножение! Откройте для себя, что такое арифметика Пресбургера и как …
Автор: admin
Синтаксис и семантика в логических системах
Хватит путать форму и смысл! Разбираем, как устроены логические системы: от сухих …
Суть кажущегося противоречия между теоремами Гёделя
Разбираемся, почему теоремы Гёделя создают иллюзию конфликта. В чем разница между…
Логика первого и второго порядка
Погрузитесь в мир формальной логики! Разбираем, чем логика первого и второго поря…
Теоремы Лёвенгейма-Скулема
Разбираем, как работает теорема Лёвенгейма-Скулема и почему размер области опред…
Понятие счетности и мощности континуума
Погрузитесь в мир бесконечностей! Разберем, что такое мощность континуума и почем…
Метод форсинга и гипотеза континуума
Погрузитесь в мир высшей математики! Разбираем, как работает метод форсинга, заче…
Мощность множества и булеан
Хотите понять, как работает мощность множества и булеан? Разбираем структуру подм…
Континуум-гипотеза и её независимость от ZFC
Разбираемся, что такое континуум-гипотеза и почему она так важна. Путешествие от а…
Аксиома детерминированности
Погрузитесь в мир бесконечных игр! Разбираем, почему аксиома детерминированности…
