-
Я не верю в эмпирическую науку. Я верю только в априорную истину.
-
Чем больше я думаю о языке, тем больше меня поражает, что люди вообще понимают друг друга.
-
Либо математика слишком сложна для человеческого разума, либо человеческий разум - это нечто большее, чем машина.
-
Я не верю в естественные науки.
-
Я убежден в существовании загробной жизни, независимо от теологии. Если мир устроен рационально, то загробная жизнь должна быть
-
Смысл мира заключается в разделении желания и факта.
-
Но каждая ошибка вызвана посторонними факторами (такими как эмоции и образование); разум сам по себе не ошибается.
-
Формирование в геологическое время человеческого тела по законам физики (или любым другим законам аналогичной природы), исходя из случайного распределения элементарных частиц и поля, так же маловероятно, как разделение атмосферы на ее составляющие. Сложность живых существ должна присутствовать в материале [из которого они получены] или в законах [управляющих их образованием].
-
Девяносто процентов [современных философов] видят свою главную задачу в том, чтобы выбить религию из человеческих голов. ... Мы далеки от того, чтобы обеспечить научное обоснование теологического мировоззрения.
-
Мне нравится ислам, это последовательное представление о религии и открытость взглядов.
-
К концу своей жизни Гейдель испугался, что его отравили, и умер от голода. Его теорема является одним из самых выдающихся результатов в математике или в любой другой интеллектуальной области в этом столетии. Если генетический анализ когда-нибудь выявит потенциальную психическую нестабильность, эмбрион человека с дарованиями Курта Гейделя может быть абортирован.
-
...доказательство непротиворечивости [любой] системы ... может быть выполнено только с помощью методов вывода, которые не формализованы в самой системе.
-
В любой нетривиальной аксиоматической системе есть истинные теоремы, которые невозможно доказать.
-
Развитие математики в направлении большей точности, как хорошо известно, привело к формализации больших ее разделов, так что можно доказать любую теорему, не используя ничего, кроме нескольких механических правил... Поэтому можно предположить, что этих аксиом и правил вывода достаточно для решения любого математического вопроса, который вообще может быть формально выражен в этих системах. Ниже будет показано, что это не так, что, напротив, в двух упомянутых системах существуют относительно простые задачи теории целых чисел, которые не могут быть решены на основе аксиом.
-
Сказал физику Джону Баколлу. Я не верю в естественные науки.
