La epistemología computacional es una subdisciplina de la epistemología formal que estudia la complejidad intrínseca de los problemas inductivos para agentes ideales y delimitados computacionalmente. En resumen, la epistemología computacional es la inducción, lo que la teoría de la recursión es la deducción .