TiMELiNES

1936

Turing formalizes computability

The abstract Turing machine clarifies what it means for a procedure to be algorithmic.

Canonical milestoneUnited Kingdom1 timeline

Context

Appears In

Authority

Sources

Taxonomy

Tags