On 12/17/2018 2:16 AM, Bruno Marchal wrote:
Yes, you create a whole theology around not all truths are provable.
But you ignore that what is false is also provable. Provable is only
relative to axioms.
I make my theory clear. (Kxy = x; Sxyz = xz(yz), elementary
arithmetic). False is not provable in that theory.
You mean a contradiction is not provable within that theory. As you
said above "false" is a relation to some separately known reality.
Of course, I can only hope that you believe that elementary arithmetic
is consistent, and true with respect to the standard model. But that
is always the case when we discuss with other people. We hope they
don’t believe in 2+2=5.
It is disingenuous to imply that whomever believes "2+2=4" is thereby
committed to believing arithmetic is consistent or even that it is well
defined.
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 https://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
