Современная математикаСтраница 3
Аксиоматический метод Гильберта вошел почти во все разделы математики 20 в. Однако вскоре стало ясно, что этому методу присущи определенные ограничения. В 1880-х Кантор попытался систематически классифицировать бесконечные множества (например, множество всех рациональных чисел, множество действительных чисел и т.д.) путем их сравнительной количественной оценки, приписывая им т. н. трансфинитные числа. При этом он обнаружил в теории множеств противоречия. Таким образом, к началу 20 в. математикам пришлось иметь дело с проблемой их разрешения, а также с другими проблемами оснований их науки, такими, как неявное использование т. н. аксиомы выбора. И все же ничто не могло сравниться с разрушительным воздействием теоремы неполноты К. Гёделя (1906-1978). Эта теорема утверждает, что любая непротиворечивая формальная система, достаточно богатая, чтобы содержать теорию чисел, обязательно содержит неразрешимое предложение, т.е. утверждение, которое невозможно ни доказать, ни опровергнуть в ее рамках. Теперь общепризнано, что абсолютного доказательства в математике не существует. Относительно того, что такое доказательство, мнения расходятся. Однако большинство математиков склонно полагать, что проблемы оснований математики являются философскими. И действительно, ни одна теорема не изменилась вследствие вновь найденных логически строгих структур; это показывает, что в основе математики лежит не логика, а здравая интуиция.
Жизненный путь
Томас Мор – сын лондонского юриста Джона Мора, родился в Лондоне ночью 6 или 7 февраля 1477 либо 1478 г.
О его рождении сообщает памятная запись на латинском языке, сделанная рукой его отца: «В семнадцатый год правления короля Эдуарда IV ...
Ноябрьское наступление противника на
Москву
Советский народ знал, что противник остановлен, но не разбит, что он готовит силы для нового, еще более грозного удара по столице нашей Родины, что нужны новые усилия для того, чтобы отразить этот удар. К решительному отпору врагу готовил ...
Второй, третий, четвертый крестовые походы. Духовно-рыцарские
ордена
Для усиления обороноспособности христианских государств была предпринята попытка создать единые военные организации, которые смогли бы реально осуществлять функции охраны паломников и границ христианских владений. Для этого во втором де ...