Computing Atlas

How Computing Was Built
Concepts

Recursion

Citation Formats

General Reference

APA Style

BibTeX

Recursion is a way of solving a problem by having a procedure call itself on a smaller version of the same problem, with a base case that stops the calls once the problem is simple enough to answer directly. It is one of computing's central organizing ideas, letting problems that are naturally self similar, walking a tree shaped data structure or defining a mathematical sequence, be expressed compactly, and it was given a rigorous mathematical footing well before general purpose computers existed, in Alonzo Church's 1930s lambda calculus and Kurt Godel's earlier work on recursive functions.

Facts
Disputed
Origin Year
1960 2
The mathematical theory of recursive functions was formalized in the 1930s by Church, Godel and Kleene; John McCarthy brought recursion into practical programming with Lisp around 1958 to 1960, so the concept's origin year depends on whether the mathematics or the programming language is being dated.
Core Principle
A procedure that solves a problem by calling itself on a smaller instance of the same problem, until a base case is reached. 1
Cross-Tradition Connections

Associated With

In Field

Source Encyclopedia Britannica: Computer ScienceEncyclopedia Britannica Editors
Sources
1. Encyclopedia Britannica: Computer Science
Encyclopedia Britannica Editors, Encyclopaedia Britannica Inc, 2024View the Source
2. Wikipedia: Recursion (Computer Science)
Wikimedia FoundationHistory
Quote, History
The early work done by Church, Godel, Kleene, and Turing on recursive function and computability laid the groundwork that made recursion possible in programming languages.
View the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0 open reader challenges)
No disputes yet. Spotted an error or a better source? Open the first one.

View At A Past Year

The atlas records no dated fact of its own for this entry, so there is no other year to choose.