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.
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 [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
