Algorithms, being a sub-branch of mathematics, are logical constructs, which means they can be proved or disproved on a logical basis. Physics is a scientific m

Algorithms, being a sub-branch of mathematics, are logical constructs, which means they can be proved or disproved on a logical basis. Physics is a scientific model of reality which is based on experimental observations (mathematics is used as a descriptive language, but the underlying reality itself is not (as far as we know) based on logic), therefore any physical theory is not provable, only verifiable through experiment to some statistical probability of correctness. The current physics theory is backed by a huge amount of observations, so admittedly we can be pretty sure about much of the theory. But to say that we "know" is not correct.