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