What Does a Formal Proof in Physics Look Like?

[Santa1]

"So the statement that: that all statements in mathematics are of the form "If A then B".
is wrong"

As HallsofIvy said, the statement you're making is on the "If A then B" form, do you actually think you're going any further with this?

 

[evagelos]

Notice, by the way, that all statements in mathematics are of the form "If A then B". .

Here are the axioms of propositional calculus in mathematical logic:


......A----->( B------A)............1

......( A----->( B-----C))-------->(( A----->B)------>(A---->C))...2


where A , B , C are statements.


Do you still insist that all statements in mathematics are of the form " If A then B"??



.......yes or no..........

 

[Jimmy Snyder]

Mathematics uses deductive logic, science uses inductive logic. Does this help?

 

[evagelos]

Mathematics uses deductive logic, science uses inductive logic. Does this help?

You mean for theorems proved in physics we use only inductive procedures and not the rules of inference?

 

[Gear300]

is a proof in physics equal in strength with that in mathematics?

in mathematics we have at one end an ordinary proof and at the other end a formal proof.

how would aformal proof in physics look like,an example would help.

I suppose that the validity of a proof in physics could be checked by an experiment but in the case that we have no experiment what happens??

Thanks

Its a bit different in the case of physics. Theoretically outlining things is usually done mathematically...so either way, you're dealing with mathematical proofs...however, there is still the need of confirmation, which suggests an empirical source.

 

[Jimmy Snyder]

You mean for theorems proved in physics we use only inductive procedures and not the rules of inference?

When you prove theorems, you are doing mathematics. Mathematics in the service of physics is still mathematics.

 

[evagelos]

Notice, by the way, that all statements in mathematics are of the form "If A then B". .

Here are the axioms of propositional calculus in mathematical logic:


......A----->( B------A)............1

......( A----->( B-----C))-------->(( A----->B)------>(A---->C))...2


where A , B , C are statements.


Do you still insist that all statements in mathematics are of the form " If A then B"??



.......yes or no..........

HallsofIvy i am still waiting for an answer,also for the formal proof that:nothing contains everything .


.....That is if you wish of course............