Цитата Кеннета Э. Айверсона

Свойства исполняемости и универсальности, связанные с языками программирования, могут быть объединены в одном языке с хорошо известными свойствами математической записи, которые делают его таким эффективным инструментом мышления.
Хотя математическая нотация, несомненно, обладает правилами разбора, они довольно расплывчаты, иногда противоречивы и редко четко сформулированы. [...] Распространение языков программирования показывает не больше единообразия, чем математика. Тем не менее, языки программирования открывают другую перспективу. [...] Из-за их применения к широкому кругу тем, строгой грамматики и строгой интерпретации языки программирования могут дать новое понимание математических обозначений.
Я думаю, что самая важная работа, которая сейчас ведется, связана с поиском очень общих и абстрактных черт того, что иногда называют универсальной грамматикой: общих свойств языка, которые отражают своего рода биологическую необходимость, а не логическую необходимость; то есть свойства языка, которые логически не необходимы для такой системы, но которые являются существенными инвариантными свойствами человеческого языка и известны без обучения. Мы знаем эти свойства, но не изучаем их. Мы просто используем наши знания об этих свойствах как основу для обучения.
Языки фон Неймана не обладают полезными свойствами для рассуждений о программах. Аксиоматическая и денотационная семантика — точные инструменты для описания и понимания обычных программ, но они только говорят о них и не могут изменить их неуклюжие свойства. В отличие от языков фон Неймана, язык обычной алгебры пригоден как для формулировки своих законов, так и для преобразования уравнения в его решение, и все это внутри «языка».
Большинство языков программирования явно уступают математической нотации и редко используются в качестве инструментов мышления способами, которые сочли бы важными, скажем, прикладной математик.
С компьютером и языками программирования у математики появились новые инструменты, и ее обозначения следует пересматривать в свете них. Фактически, компьютер можно использовать как терпеливого, точного и знающего «носителя языка» математических обозначений.
В результате большинство философов биологии в настоящее время считают, что биологические свойства супервентны по отношению к физическим свойствам (где супервентность понимается как включающая какое-то отношение «в силу») и что приспособленность и другие биологические свойства не тождественны физическим свойствам.
Точность, обеспечиваемая (или требуемая) языками программирования и их исполнением, может выявить лакуны, двусмысленности и другие области потенциальной путаницы в обычных [математических] обозначениях.
Важно отличать сложность описания и изучения нотной записи от сложности усвоения ее значений. [...] Действительно, сама наводящая на размышления нотация может показаться более трудной для изучения из-за множества свойств, которые она предлагает для исследования.
Грибы обеспечивают широкий спектр потенциальных лекарственных соединений. Многие грибы, такие как портобелло, вешенка, рейши и майтаке, хорошо известны своими свойствами, но гриб львиная грива, в частности, привлек внимание исследователей своими выдающимися регенеративными свойствами.
Я считаю, что пространство не может быть искривлено по той простой причине, что оно не может иметь никаких свойств. С таким же успехом можно сказать, что у Бога есть свойства. У него нет, а есть только атрибуты, и они созданы нами самими. О свойствах мы можем говорить только тогда, когда имеем дело с материей, заполняющей пространство. Сказать, что в присутствии больших тел пространство искривляется, равносильно утверждению, что что-то не может воздействовать ни на что. Я, например, отказываюсь поддерживать такую ​​точку зрения.
NBC News обнаружила, что FEMA перерисовывало карты даже для объектов недвижимости, которые неоднократно подавали иски о возмещении ущерба от наводнений в результате предыдущих ураганов. По крайней мере, некоторые объекты находятся в секретном «списке повторяющихся убытков», который FEMA рассылает сообществам, чтобы предупредить их о проблемных объектах.
Перспектива — это искусство математики, которое демонстрирует способ и свойства всех излучений прямых, преломленных и отраженных.
В то время, когда я работал в TNA, я много работал в международной сфере — недвижимость в Индии, недвижимость в Великобритании, Африка и так далее. Итак, я достаточно хорошо знаю международную сторону бизнеса.
Степень подтверждения, приписываемая любой данной гипотезе, чувствительна к свойствам всей системы убеждений ... простота, правдоподобие и консерватизм - это свойства, которыми теории обладают в силу их отношения ко всей структуре научных убеждений, взятых в совокупности. Мерой консерватизма или простоты будет метрика глобальных свойств систем убеждений.
То, что я пытаюсь сделать, это либо найти существующие свойства, либо придумать свойства, ракурсы или истории, которые создадут музыкальную драму. Это моя навязчивая идея, и больше всего я хотел бы остаться работать в театре. Я думаю, что это очень живо.
Иногда лучшие свойства не обязательно являются самыми большими свойствами.
Этот сайт использует файлы cookie, чтобы обеспечить вам максимальное удобство. Больше информации...
Понятно!