category

Illustrations

date

2017

client

Personal work

Incompleteness

In 1931, mathematician Kurt Goedel shocked the scientific community with two incredible results, known as the incompleteness theorems. Mathematics was not as solid as people thought. Goedel proved that in any non-contradictory formal system there are true statements (i.e. theorems) which cannot be proved within that system: a bigger system is needed, with more axioms, but then there will be more true unprovable statements within the bigger system, ad infinitum.