> On 17 Dec 2018, at 20:48, Brent Meeker <[email protected]> wrote: > > > > 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.
Intuited, suspected, not known as such. > >> >> 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. What could mean “2+2=4” for someone not believing in the consistency of elementary arithmetic? You loss me here, 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 [email protected]. > To post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/everything-list. > For more options, visit https://groups.google.com/d/optout. -- 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 https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
