> On 17 Dec 2018, at 20:48, Brent Meeker <meeke...@verizon.net> 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 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. -- 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.
