beregnelighed
er et område inden for datalogi og filosofi, hvor man studerer, hvilke problemer der principielt kan løses af en automatisk udført beregningsprocedure, fx af en algoritme udført af en computer. Et vigtigt resultat er, at der findes problemer, som ikke