> "You can encode arbitrary data in numeric form" is Kurt Gödel in the first half of the 20th century. Specifically, that's something like the first two thirds

> "You can encode arbitrary data in numeric form" is Kurt Gödel in the first half of the 20th century. Specifically, that's something like the first two thirds of his incompleteness proof spent establishing that as a fairly novel result, followed by rigorous mathematics to the effect of "Given a formula P(x,y) that asserts "We can't prove x(y,y).", can we prove P(P,P)?".