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

@article{Minsky1970FormAC,
  title={Form and Content in Computer Science (1970 ACM turing lecture)},
  author={M. Minsky},
  journal={J. ACM},
  year={1970},
  volume={17},
  pages={197-215}
}
  • M. Minsky
  • Published 1970
  • Computer Science
  • J. ACM
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… Expand
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. Expand
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. Expand
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. Expand
Parallel Processing of Ordinary Programs
  • D. Kuck
  • Computer Science
  • Adv. Comput.
  • 1976
TLDR
The structure of programs, the structure of machines, and the relation between the two are discussed, which are important to discover ultimate-speed machines, or just to find low-cost, high-performance machine designs. Expand
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,Expand
The development of computer science: a sociocultural perspective
  • M. Tedre
  • Sociology, 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. Expand
Tree, Turf, Centre, Archipelago - or Wild Acre? Metaphors and Stories for Humanities Computing,
  • W. McCarty
  • Computer Science, Sociology
  • Lit. Linguistic Comput.
  • 2006
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. Expand
Minsky’s Frame System Theory
TLDR
A frame is a data-structure for representing a stereotyped situation like being in a certain kind of living room or going to a child's birthday party, and may contain a great many details whose supposition is not specifically warranted by the situation. Expand
An unusual application of program-proving
  • M. Wand
  • Mathematics, Computer Science
  • 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. Expand
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. Expand
...
1
2
3
4
5
...

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. OriginallyExpand
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,Expand
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. Expand
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 youExpand
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. Expand
PLANNER: A Language for Proving Theorems in Robots
  • C. Hewitt
  • Mathematics, Computer Science
  • IJCAI
  • 1969
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. Expand
Semantic Information Processing
TLDR
This book solves different problems like resolving ambiguities in word meanings, finding analogies between things, making logical and nonlogical inference, resolving inconsistency in information engaging in coherent discourse with a person and more. Expand
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. Expand
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.Expand
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. Expand
...
1
2
3
...