Еще одной культовой фигурой в Институте был говорящий по-немецки, глубоко погруженный в себя логик и математик из Брно и Вены Курт Гедель. Эйнштейн сошелся с ним довольно близко и стал его товарищем по прогулкам. Гедель знаменит своей “теорией неполноты”. Это две доказанные им теоремы, показывающие, что в любой содержательной математической теории всегда имеются