> On 5 Nov 2018, at 18:05, Philip Thrift <[email protected]> wrote: > > > > On Friday, November 2, 2018 at 3:47:58 AM UTC-5, Bruno Marchal wrote: > >> On 1 Nov 2018, at 19:59, Philip Thrift <[email protected] <javascript:>> >> 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] <>> 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 > > > > > Logics correspond to type-theoretic programming languages.
? That would restrict the meaning of logic to the logic obtained by the Curry-Howard morphism. There is no compelling reason to do that. 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.
