континуум-гипотеза
-
Новости Верите в абсолютную строгость точных наук? Узнайте как Курт Гёдель лишил математику надежды на совершенство
Даже натуральные числа оказались слишком сложными для аксиом. Математика долго казалась областью, где любую истину можно получить из правильного набора правил. В 1931 году Курт Гёдель разрушил такую надежду: он доказал, что математику нельзя полностью свести к закрытой системе аксиом и...- NewsMaker
- Тема
- гедель континуум-гипотеза основания математики физика пространства-времени формальные системы математики
- Ответы: 0
- Форум: Новости в Мире