Introduction - Chapter 0

Punch Cards

Early form of data storage and automation used to control weaving patterns in automated looms.

Joseph Jacquard

Inventor of punch cards for automating the weaving process.

Ada Lovelace

Recognized as the world's first programmer for writing algorithms for the Analytical Engine.

Analytical Engine

An early mechanical general-purpose computer designed by Charles Babbage in the 1830s.

Blaise Pascal

Inventor of the Pascaline, the first gear-based machine for addition and subtraction.

Pascaline

A mechanical calculator designed specifically for performing addition and subtraction.

Kurt Gödel

Mathematician known for the incompleteness theorem, which states that some true statements cannot be proven in complex systems.

Incompleteness Theorem

Gödel's theorem highlighting limits of formal systems and algorithms.

Tim Berners-Lee

Inventor of the World Wide Web, proposed in 1989 for linking documents over the Internet.

World Wide Web

A revolutionary concept for sharing and accessing information globally through linked documents.

John von Neumann

Named after the architect of the von Neumann architecture model for computers.

Von Neumann Architecture

A computer architecture model where a single storage holds both instructions and data.

Alan Turing

Proposed the Turing machine, a theoretical model of computation.

Turing Machine

An abstract machine that manipulates symbols on tape according to rules, used to understand computation limits.

Church-Turing Thesis

Proposes that any function solvable by an algorithm can be computed by a Turing machine, foundational for computational limits.