Very nice talk by Hayles and an interesting divergence on metalanguage.
For Hayles Gödel showed that a metalanguage can pulverize an object language (Russell and Whitehead).
For me, Russell and Whitehead just is a metalanguage that Gödel turns back into an object language without a meta level, since it can say "This sentence cannot be proved."
He causes a supposed totality to go into a loop.
Gödel caused the concept of metalanguage to evaporate, not the object (language).
To exist (to be true) is to be inconsistent.