Form and content in computer science
ACM eBooksPublished 1 January 2007Open access
Marvin Minsky
Citations98
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
Form-content confusion is discussed relative to three areas: theory of computation, programming languages, and education.
Abstract
An excessive preoccupation with formalism is impeding the development of computer science. Form-content confusion is discussed relative to three areas: theory of computation, programming languages, and education.
Keywords
Computer Science
Computing Machinery and Intelligence (1950)
6,197 Citations2004Alan Turing
Perceptrons: an introduction to computational geometry
3,308 Citations1969Marvin Minsky, Seymour Papert
Semantic Information Processing
2,175 Citations1968Marvin Minsky
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.
J M Dent & Sons eBooksInquiries into human faculty and its development.
1,408 Citations1919Francis Galton
Computers and Thought
921 Citations1963Edward A. Feigenbaum, Julian Feldman
LISP 1.5 PROGRAMMER'S MANUAL
557 Citations1962John McCarthy, Paul Abrahams +3 more
International Joint Conference on Artificial IntelligencePLANNER: a language for proving theorems in robots
193 Citations1969Carl Hewitt
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.
ScienceThe Development of the Space-Time View of Quantum Electrodynamics
192 Citations1966Richard P. Feynman
DSpace@MIT (Massachusetts Institute of Technology)Matter, Mind and Models
176 Citations1965Marvin Minsky
DSpace@MIT (Massachusetts Institute of Technology)Symbolic Mathematical Laboratory
32 Citations1967William A. Martin