Chronology | Current Month | Current Thread | Current Date |
[Year List] [Month List (current year)] | [Date Index] [Thread Index] | [Thread Prev] [Thread Next] | [Date Prev] [Date Next] |
> ..... Physics is validated by experiment. Math is validated
> by rigor. ....
That is what philosophers say. They want laymen think that in
mathematics proofs come before discoveries and in physics
discoveries are made in laboratories, according to "experimental
method". In reality, as pointed out by others on this list, neither
physicists nor mathematicians feel obliged to follow the paths
prescribed by philosophers. The proof is in the pudding, not in
the way in which it was prepared. Each of us can give examples
of accidental discoveries in science, or discoveries based on the
basis of who knows what.
Yes, a logical
derivation is an agreed upon method of validation of mathematical
theorems
but "applied math" people are not waiting for formal
proofs. They verify postulated relations numerically and use them
in applications. A proof is more often than not the last step which
has nothing to do with the way in which a relation was actually
discovered.