Formal Sciences & Matter / Mathematics

Gödel's Incompleteness

Gödel proves in 1931 that every sufficiently strong system of rules contains true statements it cannot prove.

Hilbert dreamed of a system that proves all mathematical truths and certifies its own consistency. The young Kurt Gödel showed this is impossible. His method of encoding statements as numbers became the model for the theory of computers.