[Chronos]

Also: before I bother building a Turing machine that implements a proof-generator for statements in ZFC, you should do me the courtesy of showing your investment by building me a Turing machine that multiplies two integers.

Turing machines suck. Building a Turing machine that implements ZFC proof-generation is a project appropriate to a graduate-level paper, not something to toss off in an Internet pissing contest.

[manyoso]

You were the one who used the phrase "easy" with regard to Turing machines and feasibility of showing them.

[Chronos]

Fine. "Straightforward, if menial and tedious".