La teoría de la computabilidad captura la idea de la computación en términos lógicos y aritméticos.