proof checking

[chrislav]

What are the mathematical means that we have in our disposal ,so that we can check whether a mathematical proof is correct or not

 

[Steven G]

You need to ask someone who has expertise in the area that the proof comes from if the proof is valid or not. This forum should be helpful in making that determination.

 

[chrislav]

You need to ask someone who has expertise in the area that the proof comes from if the proof is valid or not. This forum should be helpful in making that determination.

valid is a word used for an argument ,thus you are implying that a mathematical proof is a valid argument?

 

[Steven G]

valid is a word used for an argument ,thus you are implying that a mathematical proof is a valid argument?

yes

 

[chrislav]

yes

Knowing that an argument has a series of statements called premisses and a statement called conclusion,in the proof of

0a=0 which are the premisses and which is the conclusion?

 

[Steven G]

0a = (0+0)a = 0a +0a
=> 0 = 0a by the cancellation law.

 

[chrislav]

0a = (0+0)a = 0a +0a
=> 0 = 0a by the cancellation law.

0a=(0+0)a is a conclusion and not a premiss

 

[topsquark]

0a=(0+0)a is a conclusion and not a premiss

No, it's the result of the reverse of the distributive operation on 0a.

Perhaps you should list your definitions for the bilinear operations of + and * on the field of real numbers.

-Dan