You're reading: Posts Tagged: Gödel’s Incompleteness Theorems

Le Livre de l’Incomplétude is a lovely take on incompleteness

1500x500

This is a really nice idea. Le Livre de l’Incomplétude (The Book of Incompleteness) is an “artistic appropriation of Gödel’s incompleteness theorem,” initiated by artist Débora Bertol. The superficial understanding of that theorem is that every consistent formal theory contains truths which can’t be proved inside that theory, so the book’s conceit is that it will catalogue as many different arithmetic formulas as possible that evaluate to each of the numbers 0, 1, 2, 3, 4, 5, 6, 7, 8, and 9.

I think it’s a really charming take on one of the most abstract and hard-to-understand subjects in maths.