Programs are the language of communication between humans and machines, and programmers need to understand both human thinking and the nature of machines.