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.