IMHO it's even worse. Once we figure out P vs NP, we will understand what it means to invert boolean functions algorithmically, and all mathematics will be replaced with an automated process.
Today, most of the math is figuring out how to solve an equation, i.e. to give an algorithm to calculate the solution. We then "quantize" the algorithm to a state machine (e.g. convert reals to floats, algorithm steps to machine code), so that we could run the state machine on a computer and get a result.
However, once you know what it takes to invert boolean functions, you don't need the solution step, you can just quantize your equation (problem) directly to a SAT instance, and let the inversion algorithm do all the hard work. No (elegant and readable) math is required anymore.
So I think we better treat mathematics as a "useless" human artifact (like art or chess) rather than something of practical value.
Today, most of the math is figuring out how to solve an equation, i.e. to give an algorithm to calculate the solution. We then "quantize" the algorithm to a state machine (e.g. convert reals to floats, algorithm steps to machine code), so that we could run the state machine on a computer and get a result.
However, once you know what it takes to invert boolean functions, you don't need the solution step, you can just quantize your equation (problem) directly to a SAT instance, and let the inversion algorithm do all the hard work. No (elegant and readable) math is required anymore.
So I think we better treat mathematics as a "useless" human artifact (like art or chess) rather than something of practical value.