Computing in motion.

Follow how calculation became computation, then machines, software, networks, and intelligence.

Search all When We Knew timelines

I Idea / theory M Machine / hardware S Software / system N Network / infrastructure A AI / application

Loading timeline…

Scroll, swipe, or drag to move through time

Selected milestone

1879 Publication Computation

Frege publishes a formal language for logic

Gottlob Frege

When we knew

Timeline date1879

Frege's Begriffsschrift introduced a formal notation for quantified logic and explicit inference.

Formal symbolic reasoning supplied part of the mathematical setting from which computability questions emerged.

What came before

Mathematics was clarifying what a finite procedure can compute and how efficiently.

What came after

Formal logical languages made later questions about mechanical decision procedures precise enough for computability theory.

Memory anchor

Formal logic · computation