> On 26 Apr 2019, at 21:09, 'Brent Meeker' via Everything List > <[email protected]> wrote: > > > > On 4/26/2019 9:13 AM, Bruno Marchal wrote: >>> If none, should we expect that in some future year we will find some final >>> ontology? >> >> With mechanism, the combinators are enough, or the natural numbers, or the >> lambda expression. > > They are enough to explain any universe in which conscious thoughts are > computations.?? But there is no evidence this narrows the field down very > much.??
It narrows physics completely. Physics becomes a branch of machine theology, itself a branch of arithmetic. It does not narrow up to geography and history, as they will be quite “name” of them. > That some kind of statistics will pick out a unique reality seems like > wishful thinking. Not, that has been verified and tested. It is not wishful thinking, it is a theorem, in the only theology that you can get from the mechanist hypothesis. This is proved in all details in some of my papers.It requires only the belief in the sigma_1 truth, or the partial computable, which is unique by Church thesis (no need of the “yes doctor” here). It is the “miracle of Gödel” which makes the epistemic notion of computable in a definite mathematical theory. The theology of the machine is the same in all interpretations/models of arithmetic, and that entails that the physics is the same for all universal machine. The laws of physics are provably laws, with mechanism. This is better than physics, which, when used in metaphysics, is unable to differentiate geography from physics. Bruno > > Brent > > -- > 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. -- 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.
