There are two major branches in it. The first is computability theory. It looks to see if a certain problem can be solved by a computer. Since this is a theoretical field of study, no real computers are used. They are replaced by a system called the Turing machine.