Is Derivation Equivalent to Proof in Mathematics?

  • Thread starter Thread starter DrummingAtom
  • Start date Start date
  • Tags Tags
    Derivation Proof
AI Thread Summary
Derivation in mathematics is often equated with proof, particularly in higher-level courses where demonstrating the truth of a statement is essential. Problems labeled "Show that" or "Derive this" require a logical progression of steps that can qualify as proofs if done correctly. While mathematicians view proof as absolute, scientists may accept strong assumptions without rigorous proof, leading to differences in interpretation. The distinction between derivation and proof can sometimes blur, especially in physics, where informal methods may be used. Ultimately, both derivation and proof serve to establish the truth of mathematical statements through logical reasoning.
DrummingAtom
Messages
657
Reaction score
2
Problems in books that say "Show that" or "Derive this" does that qualify as a "Proof"? I spend most of my study time working on the "Show that" problems. Are these the types of problems similar to the problems found in upper level classes(like Analysis)?

Thanks.
 
Mathematics news on Phys.org
Certainly if you show something is true or derive an equation that qualifies as a proof, as long as you actually proved it. All of higher level mathematics is essentially proving things, despite the mass of equation solving you see in lower level classes. So those are the types of problems you can expect to see if you mean 'will I have to prove things in an analysis class?', but the actual flavor and difficulty of the problem, and the techniques that you have to use are wildly different depending on subject
 
I consider the words "show" and "derive" to mean exactly the same as "prove". However, physicists will often do something really sloppy and call it a "derivation".
 
Fredrik said:
I consider the words "show" and "derive" to mean exactly the same as "prove". However, physicists will often do something really sloppy and call it a "derivation".

On the other hand, are you sure those aren't mathematicians masquerading as physicists? Like Hawking.
 
If you have a statement that is known to be true and you "derive" a new expression using valid methods then the initial statement implies the derived statement so it is true.
 
A proof is just evidence something is true.

In math, evidence is having showed the steps involved to logically take the assumptions and reach the conclusion. Math tends to be more absolutist. If you can't prove beyond a shadow of a doubt your theorem is true (or that it is false), you must not speak of it at all.

In science, evidence is an experiment or a strong case for it to be true. It's closer to what you might find in a court of law. Generally, you can get away with making very strong assumptions without proof, so long as there is no direct evidence against you. In a scientist's eyes, the Riemann Hypothesis is true.

To derive is just another way to say you get a conclusion from taking logical steps. It's pretty much a synonym. Just as a theorem is a lemma is a corollary.
 
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
Fermat's Last Theorem has long been one of the most famous mathematical problems, and is now one of the most famous theorems. It simply states that the equation $$ a^n+b^n=c^n $$ has no solutions with positive integers if ##n>2.## It was named after Pierre de Fermat (1607-1665). The problem itself stems from the book Arithmetica by Diophantus of Alexandria. It gained popularity because Fermat noted in his copy "Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et...
Thread 'Imaginary Pythagorus'
I posted this in the Lame Math thread, but it's got me thinking. Is there any validity to this? Or is it really just a mathematical trick? Naively, I see that i2 + plus 12 does equal zero2. But does this have a meaning? I know one can treat the imaginary number line as just another axis like the reals, but does that mean this does represent a triangle in the complex plane with a hypotenuse of length zero? Ibix offered a rendering of the diagram using what I assume is matrix* notation...

Similar threads

2
Replies
93
Views
6K
Replies
1
Views
2K
Replies
17
Views
6K
Replies
1
Views
2K
Replies
4
Views
2K
Replies
6
Views
1K
Replies
10
Views
2K
Back
Top