Is Derivation Equivalent to Proof in Mathematics?

  • Context: Undergrad 
  • Thread starter Thread starter DrummingAtom
  • Start date Start date
  • Tags Tags
    Derivation Proof
Click For Summary

Discussion Overview

The discussion revolves around the relationship between derivation and proof in mathematics, particularly in the context of problems that ask participants to "show" or "derive" certain results. Participants explore whether these terms can be considered equivalent and how this relates to higher-level mathematics and its expectations.

Discussion Character

  • Debate/contested
  • Conceptual clarification

Main Points Raised

  • Some participants suggest that "show" or "derive" can qualify as proof if the steps taken are valid and logically lead to the conclusion.
  • Others argue that while derivation may imply proof, the standards for what constitutes a proof can differ significantly between mathematics and physics.
  • One participant expresses concern about the rigor of physicists' derivations, suggesting that they may sometimes be less stringent than mathematical proofs.
  • Another viewpoint emphasizes that in mathematics, a proof requires absolute certainty, while in science, evidence can be based on strong assumptions without formal proof.
  • A participant notes that derivation is a synonym for reaching a conclusion through logical steps, equating it with the process of proving a theorem.

Areas of Agreement / Disagreement

Participants do not reach a consensus on whether derivation is equivalent to proof. Multiple competing views remain regarding the definitions and standards of proof in mathematics versus physics.

Contextual Notes

There are limitations in the discussion regarding the definitions of proof and derivation, as well as the varying standards across different fields. The nuances in the expectations for rigor in mathematics compared to physics are also highlighted but remain unresolved.

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.
 

Similar threads

  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 105 ·
4
Replies
105
Views
11K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 17 ·
Replies
17
Views
12K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 20 ·
Replies
20
Views
4K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 33 ·
2
Replies
33
Views
9K