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