On Mon, Nov 2, 2015 at 3:15 AM, Bruno Marchal <[email protected]> wrote:
>> >> 2+2=5 is a numerical relationship as is 2+2=4, the only way to >> segregate the >> >> numerical >> >> relationships that express a truth from the many that don't is to make a >> calculation, and the only way anybody has ever >> >> made a calculation >> >> in the entire history of the world is by using matter that obeys the laws >> of physics. > > > > > Then you reject the excluded middle principle. > No. If sentence X says "2+2=5" then sentence X expresses a numerical relationship, that association may or may not belong to the category "true" but it's certainly a relationship. The problem isn't that true mathematical relationships don't exist it's that false ones do too, and the only way anybody has ever been able to separate true statements from false statements is by using matter that obeys the laws of physics. And that is my explanation for why INTEL makes microprocessors out of silicon and not out of definitions and theorems; Bruno, you have no coherent explanation for that fact. John K Clark -- 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.
