Create theory_computation.md