The computer revolution is a revolution in the way we think and in the way we express what we think. The essence of this change is the emergence of what might best be called procedural epistemology-the study of the structure of knowledge from an imperative point of view, as opposed to the more declarative point of view taken by classical mathematical subjects.
Now, the reason that we think computer science is about computers is pretty much the same reason that the Egyptians thought geometry was about surveying instruments. And that is, when some field is just getting started and you don't really understand it very well, it's very easy to confuse the essence of what you're doing with the tools that you use.
[Computer science] is not really about computers and it's not about computers in the same sense that physics is not really about particle accelerators, and biology is not about microscopes and Petri dishes... and geometry isn't really about using surveying instruments.
First, we want to establish the idea that a computer language is not just a way of getting a computer to perform operations but rather that it is a novel formal medium for expressing ideas about methodology. Thus, programs must be written for people to read, and only incidentally for machines to execute.
We have also obtained a glimpse of another crucial idea about languages and program design. This is the approach of statified design, the notion that a complex system should be structured as a sequence of levels that are described using a sequence of languages. Each level is constructed by combining parts that are regarded as primitive at that level, and the parts constructed at each level are used as primitives at the next level. The language used at each level of a stratified design has primitives, means of combination, and means of abstraction appropriate to that level of detail.
[Computer science] is not really about computers and it's not about computers in the same sense that physics is not really about particle accelerators, and biology is not about microscopes and Petri dishes... and geometry isn't really about using surveying instruments.
First, we want to establish the idea that a computer language is not just a way of getting a computer to perform operations but rather that it is a novel formal medium for expressing ideas about methodology. Thus, programs must be written for people to read, and only incidentally for machines to execute.
Now the reason that we think computer science is about computers is pretty much the same reason that the Egyptians thought geometry was about surveying instruments: when some field is just getting started and you don't really understand it very well, it's very easy to confuse the essence of what you're doing with the tools that you use.
Советских актёров часто ставят в пример как образец духовной силы, национальной гордости и внутренней красоты. Они стали символами эпохи, носителями культуры и нравственности. Но, как известно, за кул...
Актеры — люди творческие, но кто бы мог подумать, что некоторые из них скрывают прекрасный голос. В эпоху раннего Голливуда актеров с музыкальными способностями было немало — это считалось скорее норм...
Неузнаваемая Ким Кардашьян в объективе фотографа Маркуса Клинко, 2009 год. Памела Андерсон в самой первой съёмке для журнала «Playboy», 1990. На фото голливудская актриса Dorothy Lamour и шимпанзе Джи...
Расскажем, как сложилась судьба актеров, которые начинали сниматься еще в детстве.
Остаться на вершине в Голливуде удаётся не каждому, особенно если путь начался в детстве. Одни актёры теряются из-за...
Два года назад отечественное телевидение столкнулось с беспрецедентной кадровой тектоникой — целая группа ярких и узнаваемых ведущих стремительно исчезла с экранов федеральных каналов. Эти лица долгие...
Кира Найтли на страницах журнала к выходу фильма «Пиджак», 2005. Следы динозавра, раскопанные в русле реки Палакси. Техас. США. 1952г. Самая большая женщина рядом с самым маленьким мужчиной, 1922 год....
