> On 2 Oct 2018, at 18:18, John Clark <johnkcl...@gmail.com> wrote: > > On Tue, Oct 2, 2018 at 12:04 PM Bruno Marchal <marc...@ulb.ac.be > <mailto:marc...@ulb.ac.be>> wrote: > > > Mysticism is certainly not bullshit when you understand that any universal > > number/set believing in “enoughinduction” axioms discover his own theology > > [...] > > Bruno, whenever you use that word or the G word you just lose me, I don't > know what you're talking about.
Consider any digital machine. It corresponds to some number k (such that phi_k(x) = y describes the behaviour of the machine k) (digital machine are recursively enumerable). The theology of the machine k is define by the set of all true sentence about k. That includes the sentences that k is able to prove (relatively to the base phi_i) *and* the sentences which are true about k, but that k cannot prove. With mechanism, you can define theology by the difference between computer science and computer’s computer science. You can define it by Tarski’s notion of truth minus Gödel’s notion of probability. Eventually, its proposition part is given by the second logic of Solovay G*, or G* minus G for the proper part. I agree with the scholar Hirshberger: the notion of god of plato is the notion of truth, with the understanding that we cannot express it as such. It is the truth that we search and doubt about, not any dogma. If materialism is correct, god is the material universe If mechanism is correct, god is the arithmetical truth (and actually a bit less) I recall the definition of God that I use: whatever is responsible for us being here and now. With mechanism, we need first the whole arithmetical truth, but after some study, we see that we can take much less, but that very fact will not be among what we can prove. Bruno > > John K Clark > > > > -- > 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 everything-list@googlegroups.com > <mailto:everything-list@googlegroups.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 everything-list@googlegroups.com. Visit this group at https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.