But this does not clearly violate Church-Thesis. Inference inductive is not the same as computing. We know that there are many different Turing machine, which are not equivalent for proving or inducting, etc. All humans are like that. We are still the same *as* Turing machine (combinators, etc.). Universality is with respect to computing, and is false with everything else. Now, if you add magical, or actual infinities, or oracles, or infinite speed, then you get machine which are no more digital finite machine, and so cannot violate the Church-Turing thesis either. 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 everything-list+unsubscr...@googlegroups.com > <mailto:everything-list+unsubscr...@googlegroups.com>. > To post to this group, send email to firstname.lastname@example.org > <mailto:email@example.com>. > 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 everything-list+unsubscr...@googlegroups.com. To post to this group, send email to firstname.lastname@example.org. Visit this group at https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.