I will say, the formalism mainly helps to fight off imposter syndrome. I was the same programmer I was before and after my CS degree, the difference being with the degree I had a chip on my shoulder, and that helped significantly.