Говоря о математике, мы, вероятно, имеем в виду вторичный язык, возникший над первобытным, который использует только нервная система. Джон фон Нейман В наши дни Давид Гильберт довел аксиоматический метод до горького конца, когда суждения математики, включая аксиомы, превратились в формулы и игра в дедукцию свелась к выводу из аксиом тех или иных формул по правилам, не учитывающим смысла формул. Герман Вейль Продолжаем анализировать «обосновательную эпопею» в математике в первой половине XX-го века...

Продолжение рассказа про Курта Гёделя. Часть первая: Первая поездка в США 14 февраля 1933 года, Джон фон Нейман написал следующее письмо Курту Геделю: Уважаемый господин Гедель, Только что я вернулся в Европу из Принстонского университета, и для меня было бы большой радостью встретиться с вами. В конце сентября я вернусь в Принстон, где планирую преподавать два семестра в год, так как мне предложили присоединиться к "Институту перспективных исследований", и я согласился. Я думаю, что вы хотели бы получить больше информации о Принстоне (будущем месте работы, прим...