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