The Goedel bit reminded me of the bogus argument that AI is impossible due to the Goedel Incompleteness Theorem.

Not trying to answer on OP's behalf, but perhaps they didn't mean blockchain in the literal sense, but more like a DAG of theorems that are shared globally?