Teória vypočítateľnosti je oblasť informatiky, ktorú tvorí o. i. teória algoritmov, a ktorá skúma problémy, jazyky, množiny, funkcie atď. s cieľom zistiť, či a ako ich možno efektívne vyriešiť, opísať alebo vypočítať. Pojem vypočítateľnosti sa používa najmä v súvislosti s funkciami. V spojitosti s problémami a množinami sa hovorí o rozhodnuteľnosti a spočítateľnosti.