Лучшие 29 цитат Дэвид Берлински на MyQuotes

Аксиоматическая система включает в себя аксиомы и теоремы и требует определенной степени координации рук и глаз, прежде чем она заработает. Формальная система включает в себя явный список символов, явный набор правил, регулирующих их совместное проживание, явный список аксиом и прежде всего, явный список правил, явно определяющих шаги, которые математик может предпринять при переходе от допущений к выводам. Никакой апелляции к смыслу или интуиции. Символы теряют свои ссылочные полномочия; умозаключения становятся механическими .

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

Аристотелевская логика огромна и мармориальна, но каждый памятник накапливает граффити.

Арифметика - это то, где лежит содержание, а не логика; но логика подсказывает определенность, а не арифметика.

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

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

Комментаторы, которые сегодня говорят о« Темных веках », когда вера, а не разум, как говорят, безжалостно правят, имеют для своих животных лишь оправдание совершенного невежества. Интеллектуальные дары Аквинского и его религиозная природа были не чаще встречается в западном мире .

Дарвинизм не является достаточным условием для такого явления, как нацизм, но я думаю, что оно обязательно необходимо.

Теория эволюции Дарвина - последняя из великих мистических религий девятнадцатого века. И, как мы говорим, она теперь следует за фрейдистами и марксизмом в регионы Нетера, и я совершенно уверен, что Фрейд, Маркс и Дарвин сочувствуют одному с другой в темной темнице, где собираются сброшенные боги.

Каждый компьютер делится на свое аппаратное обеспечение и программное обеспечение, компьютерный алгоритм для него, человеческое существо для него. Неудивительно, что мужчины и женщины сделали то, что делают компьютеры, задолго до того, как компьютеры могли что-либо делать вообще. Различение между разумом и материей в людях и машинах очень поразительно: это говорит о том, что практически любая стабильная и надежная организация материальных объектов может выполнять алгоритм и, следовательно, подчиняться некоторой форме интеллекта .

Несмотря на то, что все великие мечты, бесполезно вложенные в цифровой компьютер, тем не менее, верно, что, поскольку разработчики американской Конституции всерьез относились к идее о том, что все люди созданы равными, идея так изменила материальные условия жизни, ожидания гонки .

«По большей части это правда, что обычные мужчины и женщины относятся к математике с энергичным отвращением, считая ее понятия рапсодическими, как цветную капусту. Это ошибка - другого слова нет. Где еще может найти неспокойный человеческий разум способ связать бесконечность в конечном поклоне?

Каким бы хорошим ни был аргумент в философии, он, как правило, недостаточно хорош.

Я не знаю, правда ли это. Я уверен, что научное сообщество не знает, что это неправда.

Если моральные утверждения о чем-то, то вселенная не совсем такая, как предполагает наука, поскольку физические теории, ничего не говоря о Боге, ничего не говорят о правильном или неправильном, хорошем или плохом. Признание этого заставило бы философов противостоять вероятность того, что физические науки предлагают совершенно неадекватный взгляд на реальность. И поскольку философы очень хотят думать о себе как о ученых, это предложило бы им непривлекательный выбор между изменением своей верности или принятием своей неуместности .

В конце концов, каждая схема и каждая наука оправданы сами по себе или вообще не оправданы.

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

Leibniz попытался представить отчет о выводах и суждениях, связанных с механической игрой символов и очень немногим другим. Полученные контрольные списки являются первыми интеллектуальными артефактами человечества. Они выражают, они объясняют, и поэтому они утверждают силу ума. И, конечно же, они являются артефактами в процессе становления алгоритмов.

Более шестидесяти лет назад математические логики, точно определив концепцию алгоритма, дали представление древней человеческой идее эффективного вычисления. Их определения привели к созданию цифрового компьютера, интересного примера изгибания материи к ее цели.

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

Исчисление - это история, которую этот [западный] мир впервые рассказал себе, став современным миром.

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

Движение ума передается по облаку смысла. ~ Это парадокс, который мы достигаем смысла только тогда, когда убираем смысл из символов.

На ископаемом кладбище есть промежутки, места, где должны быть промежуточные формы, но где вместо этого нет ничего вообще. Ни один палеонтолог .. отрицает, что это так. Это просто факт, теория Дарвина и данные окаменелости находятся в противоречии.

Мир форм, линий, кривых и твердых тел столь же разнообразен, как и мир чисел, и только наше давнее владение евклидовой геометрией дает нам впечатление или иллюзию того, что у него есть этот мир, уже были включены в управляемую интеллектуальную структуру. Линейные черты этой структуры хорошо известны: как и в остальной жизни, что-то дано, а что-то получено; но логика, лежащая в основе этих линеаментов, может остаться незамеченной, и именно эта логика контролирует систему.

Действительность является краеугольным камнем логического вывода и правдивости суждения: тот факт, что vichyssoise является холодным, подтверждает суждение о том, что vichyssoise действительно является холодным, а суждение о том, что vichyssoise является холодным, выражает тот факт, что vichyssoise является холодным.

"Молодые люди всегда хотят мечтать о том, что потеряли". "А старики?" «Из того, что они не нашли.

Нужна защита [религии], потому что ничего не было сделано. Обсуждение было передано мужчинам, которые относятся к религиозным убеждениям с легкомысленным презрением. Их книги в последние годы изливаются из всех печатных изданий, и хотя они сильно различаются по стилю, они идентичны в своем послании: поскольку научные теории верны, религиозные верования должны быть ложными.

Пока его костры пылают в темноте, каждая культура рассказывает себе истории о том, как боги осветили утреннее небо и привели в движение колесо бытия. Великая научная культура Запада - наша культура - не исключение. Исчисление - это история, которую этот мир впервые рассказал себе, став современным миром.