Лучшие 10 цитат Кеннет Э. Айверсон на MyQuotes

Несмотря на то, что математические обозначения, несомненно, имеют правила синтаксического анализа, они довольно рыхлые, иногда противоречивые и редко четко сформулированные. [...] Распространение языков программирования не проявляет большей однородности, чем математика. Тем не менее, языки программирования имеют другую перспективу. [...] Из-за их применения к широкому кругу тем, их строгой грамматике и их строгой интерпретации, языки программирования могут дать новое понимание математической нотации .

Чтобы он был эффективным инструментом мышления, нотация должна позволять удобно выражать не только понятия, возникающие непосредственно из проблемы, но и понятия, возникающие при последующем анализе, обобщении и специализации.

Важно отличать сложность описания и изучения части обозначения от сложности усвоения ее значений. [...] Действительно, сама наводящая на размышления нотация может затруднить ее изучение из-за множества свойств это предлагает для исследования .

Большинство языков программирования явно уступают математической нотации и мало используются в качестве инструментов мышления таким образом, что, скажем, прикладной математик считал бы важным.

Чрезмерное внимание к эффективности приводит к неудачному замыканию в дизайне: по причинам эффективности ранние языки программирования отражают характеристики ранних компьютеров, а каждое поколение компьютеров отражает потребности языков программирования предыдущего поколения.

Первоначальным мотивом разработки APL было предоставление инструмента для письма и обучения. Хотя APL использовался главным образом в коммерческом программировании, я по-прежнему считаю, что его наиболее важное использование еще предстоит использовать: как простую, точную, выполнимую нотацию для преподавания широкого круга предметов.

Практика разработки четкого и точного определения процесса без учета эффективности, а затем использования его в качестве руководства и теста при изучении эквивалентных процессов, обладающих другими характеристиками, такими как повышение эффективности, очень распространена в математике. Это очень плодотворная практика, которая не должна быть омрачена преждевременным акцентом на эффективность компьютерного исполнения.

Точность, обеспечиваемая (или обеспечиваемая) языками программирования и их исполнением, может идентифицировать лакуны, неоднозначности и другие области потенциальной путаницы в обычной [математической] записи.

Свойства исполняемости и универсальности, связанные с языками программирования, могут быть объединены на одном языке с хорошо известными свойствами математической нотации, которые делают его таким эффективным инструментом мышления.

Полезность языка как инструмента мышления возрастает в зависимости от количества рассматриваемых тем, но уменьшается в зависимости от объема словарного запаса и сложности грамматических правил, которые должен учитывать пользователь. Экономия обозначений поэтому важна.