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