Вы странно формулируете вопрос. Что значит "цель"? А в чем "цель" биологии, химии, физики или математики? В чем "цель" научного знания вообще. Теоретическая информатика - это такая же наука, у которой есть определенные причины возникновения и определенны установленные (чаще всего с математической точностью) факты.