Describir: Teória vyčísliteľnosti