Использование программы для доказательства теоремы о четырех красках не изменит математики. Оно просто покажет, что задача, которая оставалась нерешенной в течении столетия, возможно, не так уж важна для математики.
«То, что мы пока не можем телеграфировать схему человека из одного места в другое, связано, в основном, с техническими трудностями…» (Человеческое использование человеческих существ: Кибернетика и общество)
Кто-то предсказал, что когда-нибудь вокруг Земли образуется кольцо, как у Сатурна, состоящее исключительно из болтов, крепёжных деталей и даже инструментов, упущенных беспечными монтажниками орбитальных конструкций.
«Я говорю здесь о машине, но не только о машине из меди и железа… нет особой разницы, если эта машина изготовлена из плоти и костей». (Человеческое использование человеческих существ: Кибернетика и общество)
В точке Большого взрыва и в других сингулярностях нарушаются все законы, а поэтому за Богом сохраняется полная свобода в выборе того, что происходило в сингулярностях и каким было начало Вселенной..
Чем сложнее метод, тем меньше свободы. Придерживаясь методов и правил, мы создаём себе ограничения. Если кто-то хватает тебя, бей. Все эти продвинутые техники нефункциональны.
Обучение детей программированию противоречит современной теории обучения. Разве интересно составлять планы, овладевать дисциплиной в организациии мышления, уделять внимание деталям и учиться быть самокритичным?
Математики пренебрегли вызовом и предпочли бежать от природы путём изобретения всевозможных теорий, которые никак не объясняют того, что мы видим или ощущаем.
Если бы фантасты тратили силы не на убеждение других в возможности проникать сквозь стены, летать без аппарата и обмениваться душами, а на сами эти дела — как далеко продвинулось бы человечество!
А я, как специалист по технологиям, знал что технологии сами никуда не ведут. Это общество изменяет технологии, а вовсе не наоборот. Технология просто очерчивает границы того, что и насколько дёшево мы можем сделать.
— Невозможно, — согласился Добби. — Конечно, по всем земным стандартам. Это противоречит всему тому, что мы знаем. Но возникает вопрос: могут ли наши земные стандарты хотя бы в некоторой степени быть универсальными?
Можно представить себе очень легко святого в положении сапожника, столяра и любого ремесленника, но я не могу себе представить святого в положении водителя легковой машины, развивающей высокую современную скорость.
Я пришел к заключению, что дарвинизм — это не проверяемая научная теория, а метафизическая исследовательская программа — возможный концептуальный каркас для проверяемых научных теорий.
Самая лучшая матрица «затраты-выпуск» была построена в военно-воздушных силах (США). У них была и таблица «затраты-выпуск» для экономики Германии — это помогло им выбирать цели.
Самая важная машина та, что «бушует» у нас в голове и все время ищет нужный ей внешний эмулятор. Стандартизация существующих машин была бы катастрофой, и потому она, вероятно, не произойдет.
«Никто не требует от вас выводить на экзамене всю аналитическую геометрию. Это было сделано до вас многими умными людьми. Некоторые вещи надо просто знать». (На сдаче, получив от студента неточный ответ.)
Математика может быть занимательной, математические фокусы — впечатляющими, отношения, в которые вступают между собой цифры — причудливыми. Числа не управляют миром, но показывают, как управляется мир.
В программировании трудно найти правильную единицу времени для измерения прогресса. Некоторые соборы строились веками. Можно ли вообразить грандиозность и размер программы, на которую затратили столько времени?
Однажды папа занялся подсчётами и заявил, что с точки зрения земной физики мама летать не может, потому что у неё нет подъёмной тяги и это вообще противоречит законам аэродинамики.
Большие габариты кабины позволяли размещать их в фюзеляже на внутренней подвеске, что в отличие от внешней подвески не ухудшало аэродинамику самолёта.
Его работы в области аэродинамики явились источником основных идей, на которых строится авиационная наука.