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