I'm not sure if you're trolling or not, but it sounds like terrible advice.
Yes, most of coding knowledge comes from real world experience. But a university is essential in building the foundation. Those theory and math topics do matter. CS isn't just about gluing PHP code together.
Also, most non-startup jobs out there do tend to require a bachelors' degree.
I know that schools are essential in building foundation, I should have specified in the original post that instead of university I would recommend a college that would give him that foundation but allow for him to work on his own or open source projects.
Rather than spending hours each day doing math proofs, he could have the chance to explore different areas in programming while learning figuring out what he enjoys (for example game programming vs web development)
I see. In that case, your heart is in the right place. But it doesn't have to be all or nothing. The sweet spot is really the "formal" university education, combined with independent/group projects.
Of course, it's absolutely instrumental to spend a lot of time coding on your own "for fun." Just learning the proofs and such does not prepare one for the real world at all.
This was somewhat harder maybe 10 years ago. Fortunately in modern days, there are many APIs to play with, open source technologies, and so on. Communities like GitHub used to be much harder to find in the past. HN rocks.
But you'd have to know the theory too, to understand the concepts on a deeper level. Yes, some people are entirely self-taught, but it requires the person to already have the "drive" and to already know what they want.
Finally, a good university (like UofT is) can bring life-long friends and experiences and expose one's mind to more ideas. It's great for opening doors, and generally establishing a foundation for learning. Can't miss that!
Maybe the university you're talking about is different from the one I attended, but the only CS courses I took that involved proofs were algorithms and computabity theory. Compilers, operating systems, computer networking, data structures, AI, architecture, graphics, etc courses I took were very hands-on. Lots of projects... and we also read the fundamental papers in the field. And that broad knowledge base really is useful. And besides, there's lots of opportunities even as an undergrad to work with research teams on cutting-edge projects.
Like it or not, a university degree is worth years of experience and is often a barrier to entry at many many many top software companies. Not everywhere is a startup. If he's not sure what he wants to do, university is an even better decision.
Yes, most of coding knowledge comes from real world experience. But a university is essential in building the foundation. Those theory and math topics do matter. CS isn't just about gluing PHP code together.
Also, most non-startup jobs out there do tend to require a bachelors' degree.