Путешествие во времени возможно

Я хожу на службу ради одной лишь возможности возвращаться домой вместе с Геделем,

— говаривал Альберт Эйнштейн. Находясь вместе, они часто обсуждали общую теорию относительности. Так Гедель пришел к мысли отыскать неожиданные следствия, вытекающие из этой теории

Курт Гедель (1906-1978), с которым дружил Эйнштейн, австрийский логик и математик. Родился в Австро-Венгрии, с 1940 переехал в США. В 1931 году доказал теоремы о неполноте (теоремы Геделя), из которых, в частности, следует, что не существует полной формальной теории, где были бы доказуемы все истинные теоремы арифметики.

  В 1949 году, готовясь отметить семидесятилетие своего друга — Эйнштейна, известный

австрийский математик Гедель задумал сделать ему особый подарок (после 1940 года оба ученых жили в США и были соседями). Отталкиваясь от эйнштейновских уравнений общей теории относительности, Гедель вывел формулу, которая представляет собой самое полное решение этих сложных уравнений. Он надеялся порадовать друга оригинальным математическим кунстштюком, но Эйнштейна почему-то это не развеселило. Эйнштейн был обескуражен подарком и постарался о нем забыть. Что же рассердило юбиляра?

Подробней...