Functional Programming, Programming, Programming Languages.
hence deducing if they will terminate is easy. But as the programs get complex, it might prove to be a difficult task. Turing showed that it is not only difficult, but impossible. Around the same time Turing was working on this, his advisor Alonzo Church was working on another model of computation