Update theory_computation.md