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