1.Theory of Computation Access Functions for Gödel Numbers Lengths of Natural Numbers Formal Foundations of Program Compilation & Interpretation/Execution: Gödel Coder…