On Thursday, November 1, 2018 at 1:44:19 PM UTC-5, John Clark wrote: > > > On Thu, Nov 1, 2018 at 2:27 PM Philip Thrift <[email protected] > <javascript:>> wrote: > > *> infinite time Turing machines are more powerful than ordinary Turing >> machines* > > > That is true, it is also true that if dragons existed they would be > dangerous and if I had some cream I could have strawberries and cream, if I > had some strawberries. > > *> How "real" you think this is depends on whether you are a Platonist or >> a fictionalist.* >> > > No, it depends on if you think logical contradictions can exist, if they > can then there is no point in reading any mathematical proof and logic is > no longer a useful tool for anything. > > John K Clark > > >> Of course logics are fiction too. (They're just languages after all.)
- 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]. 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.
