Теоретическая информатика и ее основания