Spørgsmål som programteorien søger svar på