On 19 Jun 2015, at 23:20, meekerdb wrote:
On 6/19/2015 8:41 AM, Bruno Marchal wrote:
On 16 Jun 2015, at 01:41, meekerdb wrote:
On 6/15/2015 8:15 AM, Brian Tenneson wrote:
Therefore, perhaps proof of truth is an unattainable goal in
math. Perhaps proof of truth is an unattainable goal anywhere.
Math isn't concerned with true, it's only concerned with what
theorems follow from given axioms.
I disagree a lot with this. I'm afarid you confuse the tools, like
a theory, formal or informal, with the subject matter.
I'm afraid you do the same. You assume that the tools constitute a
subject matter.
But that is what it becomes when you say "yes" to the doctor, or when
you apply the Schroedinger equation to the physicists looking at a
particle.
We must not confuse, but we must not dismiss that some hypothesis
allows and necessitates some confusion, or identity/invariant thesis.
Bruno
Brent
--
You received this message because you are subscribed to the Google
Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it,
send an email to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
http://iridia.ulb.ac.be/~marchal/
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
