I find the theory of computation spiritual/awe-inspiring but I'm doubtful of how much of our software workers in our time are in touch with that (and not entirely at a high abstraction distance)