В данной работе подчеркивается, что теория алгоритмов, как один из фундаментальных разделов математики, базируется на исследованиях гносеологии, предметом изучения которой является сам процесс познания как таковой, в своей целостности. С позиций гносеологии и онтологии как основ любой научной теории, показаны некоторые аспекты взаимоотношений в системе «человек-машина», ведь именно на них базируется разработка программ и алгоритмов.