Teoretiska utgångspunkter

Vid numeriska beräkningar kan en dator endast utföra ändliga sekvenser av aritmetiska och logiska operationer. Matematiska problem som är exakt lösbara med dessa medel kallas beräkningsbara; viktiga klasser är linjära ekvationssystem, linjära minstakvadratproblem och linjär programmering inom optimering. Icke-linjära problem och problem inom analysen är endast i undantagsfall beräkningsbara. Det är därför centralt