— Другим был Гедель, современник Эйнштейна. Он первым дал математически точные формулировки более широкой области, лежащей за пределами, которые определил Эйнштейн.
«В любых замкнутых математических системах» — ты можешь прочесть это так: «Реальный мир с его непоколебимыми законами логики», — «существует бесконечное число истинных теорем» — ты читай так: «...явлений, поддающихся постижению и измерению», — «которые, хотя и содержатся в исходной системе, не могут быть выведены из нее», — читай: «доказаны ординарной и сверхординарной логикой». То есть, на небесах и на земле, мой друг Горацио, есть многое, что и не снилось вашим мудрецам. В мире существует бесконечное множество истинных вещей, истинность которых никак нельзя доказать. Эйнштейн определил степень рационального, а Гедель воткнул булавку в иррациональное и пригвоздил его к стене вселенной; и оно висит там достаточно долго, чтобы люди знали о том, что оно есть.
