Исследование деятельности Эйнштейна только начинается, но тем не менее уже теперь ясно, что Альберт Эйнштейн останется в истории как один из величайших деятелей науки и культуры всех времен, сравнимый с Ньютоном и Галилеем. Он был и остается популярным и у молодежи, что представляет собой редкость в наш век ложных мифов и развращенных вкусов.
4. Курт Гедель
Австрийский математик Курт Гедель родился в Брно (Чехословакия) на двадцать семь лет позже Эйнштейна и получил физическое и математическое образование в Венском университете. Его научные интересы частично пересекались с интересами Эйнштейна. Скромный математик-одиночка Гедель, в зрелом возрасте также приехавший в Принстонский институт перспективных исследований, внес важнейший вклад в основы математики, настолько революционный, что раздвинул границы этой дисциплины и оказал существенное влияние на общее мировоззрение и культуру 20 века.
Обязательный школьный курс геометрии во многом повторяет «Начала» Евклида, появившиеся около двух тысяч Лет тому назад; в них приведены некоторые утверждения (аксиомы) относительно свойств точек и прямых линий в плоскости, из которых следует справедливость всяких полезных и важных геометрических предположений (теорем). Одна из аксиом Евклида утверждает, что через две точки проходит одна и только одна прямая линия; другая аксиома касается параллельных прямых и т.д. По своей природе аксиомы просты и недоказуемы, их справедливость принимается как нечто очевидное и не требующее доказательств. Интерес к деятельности Евклида вызван тем, что он сумел представить всю геометрию с помощью небольшого числа верных и основополагающих утверждений, выраженных весьма ясно и в лаконичной форме.
Успех метода Евклида побудил математиков последовать примеру великого грека в других разделах науки о числах. Один из этих математиков, житель Пьемонта Джузеппе Пеано, впервые дал формулировку арифметики, используя аксиомы, казавшиеся до смешного очевидными (существует нуль, за каждым числом следует еще число...), но на самом деле удивительно исчерпывающие. Однако ни сам Пеано, ни Гильберт и его школа, продолжившие работу, начатую пьемонтцем, не смогли доказать полноту и состоятельность аксиом Пеано, да и других подобных утверждений (я прошу прощения за предельно упрощенный рассказ о том интересном времени). «Полнота» указывает на то, что любая настоящая теорема арифметики может быть выведена из этих аксиом; «состоятельность» предполагает отсутствие парадоксов, когда могут быть выведены как некоторые утверждения, так и утверждения, противоположные им.
