Deutsch delves into this topic in great depth in “The Fabric of Reality”. There are mathematical objects that “exist in the abstract”, and the pen-and-paper proofs or in Mathematica alike are not categorically different from computer simulations that evidence that a so-and-so physical system will behave in so-and-so way, but don’t “prove” it.
Deutsch delves into this topic in great depth in “The Fabric of Reality”. There are mathematical objects that “exist in the abstract”, and the pen-and-paper proofs or in Mathematica alike are not categorically different from computer simulations that evidence that a so-and-so physical system will behave in so-and-so way, but don’t “prove” it.