---
id: BIO-NEWELLSIMON-001
title: "Allen Newell and Herbert Simon"
alternative_names:
  - "Newell and Simon"
  - "Allen Newell"
  - "Herbert A. Simon"
category: "People & Organizations → Founders of AI and Cognitive Science"
volume: X
chapter: 55
entry_type: "Biography"
level: 3
status: "Draft"
last_reviewed: 2026-10-15
version: "0.1.0"
prerequisites:
  - "HIST-002"
related_entries:
  - "HIST-003"
  - "FOUND-003"
  - "BIO-MCCARTHY-001"
  - "BIO-MINSKY-001"
---

# Allen Newell and Herbert Simon

## 1. Concise Definition
Allen Newell (19 March 1927 – 19 July 1992) and Herbert A. Simon (15 June 1916 – 9 February 2001) were American researchers at Carnegie Mellon University who, with programmer Cliff Shaw, built the Logic Theorist and the General Problem Solver, and who jointly received the 1975 ACM A.M. Turing Award. Simon also received the 1978 Nobel Memorial Prize in Economic Sciences.

## 2. Overview & Significance
Newell and Simon treated thinking as symbolic information processing and used computer programs as models of human problem solving. Their work links early AI to cognitive psychology and, through Simon, to economics and the study of organizations. Their Logic Theorist was presented at the 1956 Dartmouth workshop (see [HIST-002]).

## 3. Historical Development
**Newell.** Born in San Francisco, Newell received a B.S. in physics from Stanford in 1949, studied mathematics at Princeton in 1949–1950, joined the RAND Corporation in 1950, and later moved to Carnegie Mellon, where he took his doctorate under Simon and held posts across the School of Computer Science, the business school and the psychology department (Wikipedia contributors, 2026f). He died in Pittsburgh.

**Simon.** Born in Milwaukee, Simon received a B.A. (1936) and a Ph.D. (1943) in political science from the University of Chicago, worked in operations research at Berkeley (1939–1942) and at the Illinois Institute of Technology (1942–1949), and joined Carnegie Tech (now Carnegie Mellon) in 1949, remaining there until his death in Pittsburgh (Wikipedia contributors, 2026g). His book *Administrative Behavior* (1947) was based on his dissertation and analysed organizational decision-making (Wikipedia contributors, 2026g).

**Collaboration.** The Logic Theorist, developed with Cliff Shaw in 1955–56 and described in a 1956 paper, proved theorems of propositional logic from the *Principia Mathematica* and is generally regarded as the first AI program (Newell & Simon, 1956; Wikipedia contributors, 2026f). The General Problem Solver followed in 1957 and implemented means–ends analysis (Wikipedia contributors, 2026f). Later work included *Human Problem Solving* (Newell & Simon, 1972) and Newell's *Unified Theories of Cognition* (1990), which presented the Soar architecture programme.

## 4. Technical / Conceptual Explanation (Principal Contributions)
**Heuristic search.** The Logic Theorist used heuristics to prune a search space of possible proofs instead of enumerating it exhaustively (Newell & Simon, 1956). The General Problem Solver represented tasks as differences between a current and a goal state and selected operators that reduce those differences (means–ends analysis).

**Physical symbol system hypothesis.** In their 1975 Turing Award lecture, published in 1976, they proposed that a physical symbol system has the necessary and sufficient means for general intelligent action (Newell & Simon, 1976). This is an empirical hypothesis about intelligence, not a theorem, and it is Contested (see Section 7).

**Bounded rationality.** Simon (1955) argued that human decision-makers operate under limits of knowledge and computational capacity, and proposed that they "satisfice" (choose an option that is good enough) rather than optimise. The concept became influential in economics, psychology and AI.

**Cognitive architecture.** Newell's later work argued for a single unified theory of the cognitive system, implemented as the Soar architecture (Wikipedia contributors, 2026f; Newell, 1990).

## 5. Collaborators and Schools of Thought
Their programme is the "information-processing psychology" strand of symbolic AI, sharing the symbolic orientation of McCarthy and Minsky (see [BIO-MCCARTHY-001], [BIO-MINSKY-001]) while stressing fidelity to human problem-solving protocols. Cliff Shaw contributed the Information Processing Language (IPL) implementation; this is stated from general knowledge. [VERIFICATION NEEDED: Shaw's specific role beyond co-authorship was not checked against a source.] Their stance contrasts with connectionist work such as Rosenblatt's (see [BIO-ROSENBLATT-001]).

## 6. Recognition and Institutional Legacy
They shared the 1975 ACM A.M. Turing Award; Simon received the 1978 Nobel Memorial Prize in Economic Sciences for research into decision-making in economic organizations; Newell received the National Medal of Science and the Louis E. Levy Medal in 1992 (Wikipedia contributors, 2026f, 2026g). [VERIFICATION NEEDED: award years and citations confirmed only from a secondary source; ACM and Nobel Prize pages returned HTTP 403.] Carnegie Mellon's computer science and cognitive science programmes were shaped by their work.

## 7. Limitations, Criticisms and Open Questions
Predictions attributed to Simon in the late 1950s, such as that a computer would beat the human chess champion within about ten years, did not come true on that schedule; the secondary source notes it took about forty years (Wikipedia contributors, 2026g). The physical symbol system hypothesis has been criticised by connectionist and embodied-cognition researchers, who argue that intelligence can arise without explicit symbolic structures; supporters respond that such systems implement symbols at a higher level. The matter is Contested. Simon's theory of satisficing is widely cited but its empirical scope relative to optimisation models remains debated.

## 8. Current State of Knowledge
Heuristic search, means–ends analysis and production-system cognitive architectures remain in use in AI and cognitive modelling, and bounded rationality is a standard concept in behavioural economics. Their programs are historical milestones, not current state of the art; see [HIST-003] and [FOUND-003].

## 9. Future Trajectory & Strategic Outlook
No forecasts are made in this biography.

## 10. Related Entries & Knowledge Graph
- **Foundational Concepts**:
  - [[HIST-002] The Dartmouth Workshop (1956)](../vol02_history/HIST-002_dartmouth_workshop.md): Where the Logic Theorist was presented.
  - [[FOUND-003] Knowledge Representation](../vol01_foundations/FOUND-003_knowledge_representation.md): Symbolic representation.
- **Related Methods & Technologies**:
  - [[HIST-003] Early Symbolic AI & The Perceptron](../vol02_history/HIST-003_symbolic_ai_perceptron.md): The early symbolic programs.
  - [[HIST-006] Expert Systems (DENDRAL, MYCIN)](../vol02_history/HIST-006_expert_systems_dendral_mycin.md): Successor symbolic systems.
- **Advanced Implications & Future Trajectories**:
  - [[BIO-MCCARTHY-001] John McCarthy](./BIO-MCCARTHY-001_john_mccarthy.md): Fellow Dartmouth organizer.
  - [[BIO-MINSKY-001] Marvin Minsky](./BIO-MINSKY-001_marvin_minsky.md): Fellow Dartmouth organizer.

## 11. References & Foundational Literature
1. Newell, A., & Simon, H. A. (1956). *The Logic Theory Machine: A Complex Information Processing System*. IRE Transactions on Information Theory, 2(3), 61–79. https://doi.org/10.1109/TIT.1956.1056797. [Describes the Logic Theorist.]
2. Newell, A., & Simon, H. A. (1976). *Computer Science as Empirical Inquiry: Symbols and Search*. Communications of the ACM, 19(3), 113–126. https://doi.org/10.1145/360018.360022. [Turing lecture stating the physical symbol system hypothesis; the Crossref title record is "Computer science as empirical inquiry".]
3. Simon, H. A. (1955). *A Behavioral Model of Rational Choice*. The Quarterly Journal of Economics, 69(1), 99 (start page per Crossref). https://doi.org/10.2307/1884852. [Early statement of bounded rationality.]
4. Newell, A., & Simon, H. A. (1972). *Human Problem Solving*. Prentice-Hall. ISBN 0134454030. [Information-processing theory of problem solving; authors per Open Library.]
5. Newell, A. (1990). *Unified Theories of Cognition*. Harvard University Press. ISBN 978-0674920996. [Argues for unified cognitive architectures.]
6. Wikipedia contributors. (2026f). *Allen Newell*. https://en.wikipedia.org/wiki/Allen_Newell (accessed 2026-10-15). [Secondary source for Newell's dates, posts, programs and honours.]
7. Wikipedia contributors. (2026g). *Herbert A. Simon*. https://en.wikipedia.org/wiki/Herbert_A._Simon (accessed 2026-10-15). [Secondary source for Simon's dates, posts, prizes and the chess prediction.]

## 12. Evidential Classification Matrix
| Section / Claim | Evidence Category | Supporting Source | Confidence / Status |
| :--- | :--- | :--- | :--- |
| Logic Theorist described in 1956 | Established | Newell & Simon (1956) | High |
| Physical symbol system hypothesis as stated | Established (primary text) | Newell & Simon (1976) | High |
| Truth of the hypothesis | Contested | Newell & Simon (1976); see HIST-003 | Open |
| Dates, posts, prizes | Well Supported (secondary only) | Wikipedia contributors (2026f, 2026g) | Moderate |
| Bounded rationality | Well Supported | Simon (1955) | High |

## 13. Revision History
- **v0.1.0** (2026-10-15): Initial draft. Citations checked against arXiv/Crossref/publisher pages where marked; not independently fact-checked.