On 1/10/2013 8:06 AM, Bruno Marchal wrote:

##
Advertising

Empirical proofs can be ostensive.

`But I prefer not using "proof" for that. It can only be misleading when we do applied
``logic. I prefer to call that "empirical evidences".
`

So I think the two kinds of 'proof' have little in common.

Almost nothing indeed.

`Mathematical proofs are about transforming one set of propositions into others. They
``are relevant to empirical propositions only insofar as there is an interpretation that
``maps the axioms to facts.
`

`I agree. Axioms comes from empirical evidences. The consequences of the axioms can be
``used to test the theory, and refute it, but will never prove it to be true.
`

You should write, "...but will never empirically evidence it." :-)
Brent
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com.
To unsubscribe from this group, send email to
everything-list+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en.