complete proof


Senior Member
A Beautiful Mind (Movie)

Martin : Let me ask you something, John.

John : Be my guest, Martin.

Martin : Bender and Sol here correctly completed Allen's proof of Peytor's Conjecture.

Can you explain the meaning of 'complete proof'? Thanks in advance.
  • JulianStuart

    Senior Member
    English (UK then US)
    Mathematical proofs can be many pages long and contain many equations, statements etc each of which needs to be accepted as true/valid etc. One can provide an incomplete proof of a "major" theorem if one of the fundamental equations or theorems itself is yet to be "proven" - although its validity may be "accepted". Then, someone can come along later and "prove" that minor theorem, thus completing the proof of the major one.

    The history of the proof of Fermat's last theorem (wiki) might be of interest :D


    Senior Member
    English USA, Northeast, NYC
    As you've written it, it reads "completed." B & S have correctly finished proving Peytor's Conjecture, which seems to be a mathematical theorem.
    < Previous | Next >