John McCarthy

Computer Science American 1927 – 2011 412 quotes

Coined term 'artificial intelligence', created Lisp

Quotes by John McCarthy

The possibility of letting the machine alter its own instructions provides great power and also requires great caution.

LISP 1.5 Programmer's Manual 1962

There are no inherently difficult problems, only problems that are not properly understood.

Attributed remark

The future of computing is interactive.

Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I 1960

One can even conjecture that machines will eventually succeed in handling intellectual tasks as well as men.

A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence 1955

The difference between theory and practice is smaller in theory than in practice.

Attributed remark

A computer shall not waste your time or require you to do more work than is strictly necessary.

Attributed as a design goal

The goal of AI is to understand the principles that make intelligence possible.

Mathematical Logic in Artificial Intelligence 1988

Garbage collection frees the programmer from the burden of explicit storage management.

Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I 1960

The only way to have a correct program is to prove it correct.

Towards a Mathematical Science of Computation 1962

In LISP, data and programs are represented the same way.

History of LISP 1978

The idea of a computer utility is analogous to the electricity utility.

Speech at MIT Centennial 1961

AI is the science of making machines do things that would require intelligence if done by men.

Information 1967

If computers of the kind I have advocated become the computers of the future, then computing may someday be organized as a public utility.

Speech at MIT Centennial 1961

The most important single thing about LISP is that it is a language for expressing algorithms that manipulate symbolic expressions.

History of LISP 1978

The problem of creating 'artificial intelligence' will be substantially solved.

Dartmouth Proposal 1955

We can only see a short distance ahead, but we can see plenty there that needs to be done.

Dartmouth Proposal 1955

A system that is to perform a complex task must be able to reason about its own actions.

Programs with Common Sense 1959

The possibility of machines thinking has intrigued mankind for centuries.

Situations, Actions, and Causal Laws 1963

The advantage of LISP is that it has no syntax.

Attributed remark

The proper use of recursion is essential to programming in LISP.

LISP 1.5 Programmer's Manual 1962