It can be correct, but it's easy. It makes the researcher nothing but a cog.
BTW, proving something when you know all the premises are true isn't very hard.
Then you do it. a^n+b^n=c^n has no natural number solutions when n>2. Go for it.
That's why it's done so well with computers that don't have to think.
That's pretty good. Suffice it to say, no, computers do not write proofs.
How does this argue against the fact that math is only useful when it is applied properly to the real world?
Like the mathematician to the scientist, I shall spell it out for you in terms you can understand: The original question, solved in the 60s, was one of pure math. The theory of partially ordered sets. The theorem gained attention mostly because of its elegant solution. It turns out to be wildly applicable -- after the fact.
Mathematicians live in the real world too. What we consider to be valuable does not differ much from what is actually practical, but we're free from having to solve the problem that's right in front of our faces, instead developing a solution that is practical, but only after the computing power developed later on. Again, from mathematics.
There's a great story in my abstract algebra book that, essentially says that one of the physics Nobel prizes in the 30s was awarded because these supergeniuses figured out -- wait for it -- matrices don't necessarily commute. That's it. An idea that'd been taught to undergraduates for decades and they got a Nobel prize for it.
It's just as hard, or harder, than proving a mathematical theorem.
So is carpeting my basement. It is. I wouldn't want to carpet my basement. But that's low-level thinking.
You have to actually know something outside of math.
There is nothing outside of math. It expands and grows with knowledge. It isn't some obscure branch of engineering with limitations.
If all you know is mathematical theorems, you will NEVER figure out the biochemical pathway.
How's that cure for psoriasis coming, there, chief? Yeah, I thought so.
How did science rule in the Iraq of the 90's? What a nutty statement.
*eye roll* Biologists. The rule of Science is much like the rule of Saddam Hussein.
Would you like me to explain knock knock jokes while I'm at it? And people wonder why mathematicians tend to go insane.