> On 1 Nov 2018, at 19:59, Philip Thrift <[email protected]> wrote: > > > > 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.)
There is a logical language, but that is different from a logical theory. It is important to distinguish the languages from the theories, and the theories from the models/interpretations. 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.
