Form and Content in Computer Science (1970 ACM turing lecture)

@article{Minsky1970FormAC,
  title={Form and Content in Computer Science (1970 ACM turing lecture)},
  author={Marvin Minsky},
  journal={J. ACM},
  year={1970},
  volume={17},
  pages={197-215}
}
The trouble with computer science today is an obsessive concern with form instead of content. No, that is the wrong way to begin. By any previous standard the vitality of computer science is enormous; what other intellectual area ever advanced so far in twenty years? Besides, the theory of computation perhaps encloses, in some way, the science of form, so that the concern is not so badly misplaced. Still, I will argue that an excessive preoccupation with formalism is impeding our development… 

Figures from this paper

The early history of Smalltalk
  • A. Kay
  • Computer Science
    HOPL-II
  • 1993
TLDR
Smalltalk was the first complete realization of these new points of view as parented by its many predecessors in hardware, language and user interface design and became the exemplar of the new computing.
The long quest for computational thinking
TLDR
An overview of three important historical currents from which CT has developed is presented: evolution of computing's disciplinary ways of thinking and practicing, educational research and efforts in computing, and emergence of computational science and digitalization of society.
Computer science: An essential course for the liberal arts
TLDR
The thesis is presented that computer science has reached a level of maturity which allows it to be presented in a stimulating and intellectually honest manner to liberal arts students regardless of their majors, and that such a course is an important, almost essential, part of the curriculum for such students.
Parallel Processing of Ordinary Programs
  • D. Kuck
  • Computer Science
    Adv. Comput.
  • 1976
Tree-Manipulating Systems and Church-Rosser Theorems
TLDR
It is shown that recursively defined functions are single-valued despite the nondeterminism of the evaluation algorithm and that these functions solve their defining equations in a “canonical” manner.
Computational Thinking, Between Papert and Wing
The pervasiveness of Computer Science (CS) in today’s digital society and the extensive use of computational methods in other sciences call for its introduction in the school curriculum. Hence,
The development of computer science: a sociocultural perspective
  • M. Tedre
  • Education, Computer Science
    Baltic Sea '06
  • 2006
TLDR
It is argued that understanding of how computer science works is an important part of the knowledge of an educated computer scientist.
Tree, Turf, Centre, Archipelago - or Wild Acre? Metaphors and Stories for Humanities Computing,
TLDR
This essay goes after antiquated figures of thought responsible for this blinkered, piecemeal view of humanities computing, reasoning from the evident importance of geopolitical metaphors to the operative conception of disciplinarity.
An unusual application of program-proving
  • M. Wand
  • Computer Science, Mathematics
    STOC
  • 1973
TLDR
This work defines objects called k-models and proves the main theorem, a necessary and sufficient condition for a k-model to be the restriction of a k+1-model.
Hazelnut: a bidirectionally typed structure editor calculus
TLDR
Hazelnut is introduced, a structure editor based on a small bidirectionally typed lambda calculus extended with holes and a cursor that serves as a foundational account of typed structure editing, and how its semantics lends itself to implementation as an event-based functional reactive program.
...
...

References

SHOWING 1-10 OF 28 REFERENCES
Computers and Thought
Computers and Thought showcases the work of the scientists who not only defined the field of Artificial Intelligence, but who are responsible for having developed it into what it is today. Originally
LISP 1.5 Programmer's Manual
The LISP language is designed primarily for symbolic data processing used for symbolic calculations in differential and integral calculus, electrical circuit theory, mathematical logic, game playing,
The development of the space-time view of quantum electrodynamics.
TLDR
The sequence of events, really the sequence of ideas, which occurred, and by which the author finally came to quantum electrodynamics is told.
The Development of the Space-Time View of Quantum Electrodynamics
We have a habit in writing articles published in scientific journals to make the work as finished as possible, to cover up all the tracks, to not worry about the blind alleys or to describe how you
Symbolic Integration
TLDR
SIN and SOLDIER are heuristic programs written in LISP which solve symbolic integration problems at the difficulty approaching those in the larger integral tables.
PLANNER: A Language for Proving Theorems in Robots
TLDR
The deductive system of PLANNER is subordinate to the hierarchical control structure in order to make the language efficient and the use of a general purpose matching language makes the deductives system more powerful.
Perceptrons - an introduction to computational geometry
TLDR
The aim of this book is to seek general results from the close study of abstract version of devices known as perceptrons.
Inquiries into Human Faculty and Its Development
The first systematic, scientific treatise on individual differences in psychological phenomena. Galton's work marked the beginning of the scientific study of imagery and the association of ideas.
The Art of Computer Programming
TLDR
The arrangement of this invention provides a strong vibration free hold-down mechanism while avoiding a large pressure drop to the flow of coolant fluid.
Triangles as ambiguous figures.
  • F. Attneave
  • Psychology, Medicine
    The American journal of psychology
  • 1968
...
...