I think you might have just transferred your optimism about math to code instead.

To add to your point, if someone begins to doubt the utility of mathematical logic and responds by refocusing his attention from logic to code, he's somehow overlooking the fact that code is built on a foundation of mathematical logic.