Hacker News Reader

>they are both expressible in terms of what he called a Universal Machine.

Prove it.

We are still waiting on a proof of the Church-Turing Thesis, so maybe that is next on the agenda.