Keith and Tim delve into the distinctions between pattern recognition and reasoning, highlighting the finite nature of pattern recognition and the symbolic processing component of reasoning. They draw parallels between finite state machines and Turing machines, shedding light on the core differences in computational systems.