I think if computer science degree weren't about industry, there'd be far fewer terminal undergraduates floating around the world.
If people came for the science, everyone would ride off, discover something, and get a PhD.
I just see formal proofs as something you get a genuine scientist to do. If you're someone focused on rigorously correct proofs, you get a rigorous PhD.
I don't pretend that I'm up for that, or that I'm qualified to produce quality work in that space.
But I also don't believe any of my fellow terminal undergraduates are the right sort of people to do this work.
Let's face it, we all had a close encounter with the mathematical proofs, and ran in the other direction as fast as we could!
If people came for the science, everyone would ride off, discover something, and get a PhD.
I just see formal proofs as something you get a genuine scientist to do. If you're someone focused on rigorously correct proofs, you get a rigorous PhD.
I don't pretend that I'm up for that, or that I'm qualified to produce quality work in that space.
But I also don't believe any of my fellow terminal undergraduates are the right sort of people to do this work.
Let's face it, we all had a close encounter with the mathematical proofs, and ran in the other direction as fast as we could!