Reasoning is an application of computation in the context of a language.

This may be what LLM reasoning results are hinting to us.