MANIAC

В рамках любой непротиворечивой формальной системы можно сформулировать утверждение, которое является верным, но не может быть доказано средствами этой системы.

Я сказал: вокруг мрак, надежды нет, и я не вижу будущего. Он ласково улыбнулся мне и ответил, что именно сейчас, в темные времена, видишь яснее всего.

Будущее определит не химия, не промышленность и не политика, а математика.

Лучше лишиться идеи, чем жизни, ответил я, а он так поглядел на меня, что стало понятно: он скорее лишится жизни, чем идеи.

Доверять собственным аргументам больше нельзя.

Можно веселиться, даже когда беда стучится в дверь.

Всё, что нужно для решения логических и арифметических задач, это нули да единицы.

Он искал абсолютную правду и искренне верил, что найдет математическую основу реальности, место, свободное от противоречий и парадоксов.

В мире есть два типа людей: Янош фон Нейман и все остальные.

Он один всё видел совершенно ясно.