Works
Other pathways using this work
What can a machine compute?
Trace how a formal automaton can reproduce a description and distinguish that problem from general computability.
This is not an author-endorsed syllabus. The reconstruction highlights selected works and may omit other commitments.