Чтобы оценить теорему Гёделя, необходимо понимание контекста, в котором произошло революционное открытие Геделя. Я попытаюсь дать неполный обзор истории математической логики. Логика — одна из древнейших научных дисциплин. Формальная традиционная логика была создана в трудах Аристотеля ( 384–322 гг. до н.э.) на заре европейской цивилизации в Древней Греции. Аристотель — автор оригинальной, тщательно разработанной логической системы. Его силлогистика была исторически первой логической дедуктивной системой...

В первые годы космической эры советские и американские конструкторы неоднократно задавались целью создать крылатую машину, которая одинаково хорошо чувствовала бы себя и в воздухе, и в космосе. В первую очередь такие аппараты интересовали военных, которые видели в них средство ведения звездных войн. Если бы эти амбициозные проекты были реализованы, мы бы смотрели космические битвы не в постановке Лукаса, а задрав головы к небу. В нашей стране это были: ВКА-23 Мясищева, Ту-2000 Туполева, МВКС Яковлева, знаменитая «Спираль» Микояна и Лозино-Лозинского и многие другие...