-
Я не вірю в емпіричну науку. Я вірю тільки в апріорну істину.
-
Чим більше я думаю про мову, тим більше мене вражає, що люди взагалі розуміють один одного.
-
Або математика занадто складна для людського розуму, або людський розум - це більше, ніж машина.
-
Я не вірю в Природничі науки.
-
Я переконаний в існуванні загробного життя, незалежно від теології. Якщо світ влаштований раціонально, то загробне життя повинна бути
-
Сенс світу полягає в поділі бажання і факту.
-
Але кожна помилка викликана сторонніми факторами (такими як емоції та освіта); розум сам по собі не помиляється.
-
Формування в геологічний час людського тіла за законами фізики (або будь-яким іншим законам аналогічної природи), виходячи з випадкового розподілу елементарних частинок і поля, так само малоймовірно, як поділ атмосфери на її складові. Складність живих істот повинна бути присутньою в матеріалі [з якого вони отримані] або в законах [керуючих їх освітою].
-
Дев'яносто відсотків [сучасних філософів] бачать свою головну задачу в тому, щоб вибити релігію з людських голів. ... Ми далекі від того, щоб забезпечити наукове обґрунтування теологічного світогляду.
-
Мені подобається Іслам, це послідовне уявлення про релігію і відкритість поглядів.
-
До кінця свого життя Гейдель злякався, що його отруїли, і помер від голоду. Його теорема є одним із найвидатніших результатів у математиці чи будь-якій іншій інтелектуальній галузі цього століття. Якщо генетичний аналіз коли-небудь виявить потенційну психічну нестабільність, ембріон людини з даруваннями Курта Гейделя може бути абортований.
-
...доказ несуперечливості [будь-якої] системи ... може бути виконано тільки за допомогою методів виведення, які не формалізовані в самій системі.
-
У будь-якій нетривіальній аксіоматичній системі існують справжні теореми, які неможливо довести.
-
Розвиток математики в напрямку більшої точності, як відомо, призвело до формалізації великих її розділів, так що можна довести будь-яку теорему, не використовуючи нічого, крім декількох механічних правил... Тому можна припустити, що цих аксіом і правил виведення достатньо для вирішення будь-якого математичного питання, яке взагалі може бути формально виражене в цих системах. Нижче буде показано, що це не так, що, навпаки, у двох згаданих системах існують відносно прості задачі теорії цілих чисел, які неможливо вирішити на основі аксіом.
-
Сказав фізику Джону Баколлу. Я не вірю в Природничі науки.
