Computability theory

Computability theory is a branch of mathematics that studies which problems can and cannot be solved by computers. Computers can do a lot of things, from helping us write emails to controlling our cars, but even the most powerful computers have their limits. Computability theory looks at what a computer can and can't do, and helps us understand how these limits work and why they exist.