Teopeмa Гёделя
Отрывок из книги
Все попытки решения проблемы непротиворечивости наталкивались на одно и то же затруднение: аксиомы интерпретировались с помощью моделей, содержащих бесконечное множество элементов. Ввиду этого ни одну из таких моделей нельзя было обозреть в конечное число шагов, так что истинность аксиом все еще оставалась под сомнением. Индуктивное рассуждение, обосновывающее истинность евклидовой геометрии, использует лишь конечное число наблюдаемых фактов, согласующихся, по-видимому, с аксиомами. Но заключение, по которому эта согласованность аксиом с наблюдаемыми фактами сохраняет свою силу для всей области и может служить оправданием системы аксиом в целом, само основано на экстраполяции от конечного к бесконечному.
Каким образом можно было бы обосновать законность скачка через пропасть, отделяющую конечное от бесконечного? Следует отметить, что упомянутая трудность уменьшается, — если и не совсем устраняется, — когда удается построить модель, состоящую лишь из конечного числа элементов. Примером такой конечной модели может служить описанная выше модель-треугольник, посредством которой мы установили совместимость постулатов, описывающих классы К
Книги из серии:
Науку-всем!
[5.0 рейтинг книги]
Комментарии:
Популярные книги
Вернувшийся: Первые шаги. Том II
2. Вернувшийся
Фантастика
:боевая фантастика
,космическая фантастика
,рпг
.
5.00
рейтинг книги
Ненаглядная жена его светлости
Любовные романы
:любовно-фантастические романы
.
6.23
рейтинг книги
Адепт
4. Ушедший Род
Фантастика
:попаданцы
,аниме
,фэнтези
.
5.00
рейтинг книги
Месть Паладина
5. Псевдоним `Испанец`
Фантастика
:фэнтези
,попаданцы
,аниме
.
7.00
рейтинг книги
Запечатанный во тьме. Том 2
2. Хроники Арнея
Фантастика
:уся
,эпическая фантастика
,фэнтези
.
5.00
рейтинг книги
Двенадцатая реинкарнация. Трилогия
Фантастика
:боевая фантастика
.
5.60
рейтинг книги
Бояръ-Аниме. Газлайтер. Том 33
33. История Телепата
Фантастика
:боевая фантастика
,попаданцы
,аниме
.
5.00
рейтинг книги
Я Гордый часть 2
2. Стальные яйца
Фантастика
:фэнтези
,попаданцы
,аниме
.
5.00
рейтинг книги
Имя нам Легион. Том 14
14. Меж двух миров
Фантастика
:боевая фантастика
,рпг
,аниме
,фантастика: прочее
.
5.00
рейтинг книги
Наследие Маозари 7
7. Наследие Маозари
Фантастика
:боевая фантастика
,юмористическое фэнтези
,постапокалипсис
,рпг
,фэнтези
,эпическая фантастика
.
5.00
рейтинг книги
Сильнейший Столп Империи. Книга 3
3. Сильнейший Столп Империи
Фантастика
:аниме
,фэнтези
,попаданцы
.
5.00
рейтинг книги
Развод. Без права на ошибку
Любовные романы
:современные любовные романы
,короткие любовные романы
.
5.00
рейтинг книги
Кай из рода красных драконов
1. Красная кость
Фантастика
:попаданцы
,альтернативная история
.
5.00
рейтинг книги
Газлайтер. Том 16
16. История Телепата
Фантастика
:боевая фантастика
,попаданцы
,аниме
.
5.00
рейтинг книги
Черный Маг Императора 11
11. Черный маг императора
Фантастика
:юмористическое фэнтези
,попаданцы
,аниме
,фэнтези
.
5.00
рейтинг книги
Тринадцатый XII
12. Видящий смерть
Фантастика
:попаданцы
,аниме
,фэнтези
,фантастика: прочее
.
7.00
рейтинг книги
Индульгенция 1. Без права выбора
1. Темный сказ
Фантастика
:аниме
,фэнтези
,попаданцы
,гаремник
.
5.00