@jnpn Definitely an enjoyable read.

tl;dr, they gently walk through Gödel showing logical theories could be written as numbers, and that the corresponding theory could be recreated from the number and hence finding a number whose theory was that this number's theory could not be proven.

Written in simple English.

Reminded me a little of Chaitin's use of toy lisps.