> On 17 Dec 2018, at 11:39, Philip Thrift <[email protected]> wrote: > > > > On Monday, December 17, 2018 at 3:58:36 AM UTC-6, Bruno Marchal wrote: > > Mathematics is not philosophy. No need to assume a Platonic realm. You assume > only things like A->(B->A), or x + 0 = x, etc. > > > In the order of things I assume: > > 1. I am conscious.
You don’t need to assume it, nor can you, as it is not a formalisable notion. It is close to self-consistency, which, despite being true on PA makes PA inconsistent if assumed, or makes it into a new machine, where the same choice occur. Now, I know what you mean. > 2. Matter is all there is. No problem with such axiom, but you will need a non mechanist theory of mind. And also some more explanation of what is matter, and how you derive 2+2=4 in the theory. And predict some old facts with less, or some new facts, etc. > ... > >=3. "x+0=x” The optimist believes that x+0 is slightly bigger than x, and the pessimist believes that x+0 is slightly smaller than x. But they are both deluded and confuse 0 with an infinitesimal. Bruno > > - pt > > -- > 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] > <mailto:[email protected]>. > To post to this group, send email to [email protected] > <mailto:[email protected]>. > Visit this group at https://groups.google.com/group/everything-list > <https://groups.google.com/group/everything-list>. > For more options, visit https://groups.google.com/d/optout > <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.
