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 investmen

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.