Bruno: We need only a good dreamer, and the discovery of the relative universal numbers
Richard: Who other than humans can do that? Bruno: The UD generates the human before evolution. Do you claim that humans change the past? Richard: So humans do not evolve. Sounds like creationism. So far you have not dismissed my inference that comp needs humans to work. IMO if true, that in itself dismisses comp as contrary to established science. On Sat, Oct 12, 2013 at 1:29 PM, Bruno Marchal <marc...@ulb.ac.be> wrote: > > On 12 Oct 2013, at 15:24, Richard Ruquist wrote: > > Human intelligence seems to be required for comp to work. > > > ? > > We need only Löbian-Turing intelligence which exists as a consequence of > elementary arithmetic. > > The theory is: > > identity logic + > ((K, x), y) = x > (((S, x), y), z) = ((x, z), (y, z)) > > Where do you see an assumption about humans? > > Well, a best know but equivalent (with respecto the Everything goal) > theory is: > > classical logic + > 0 ≠ s(x) > s(x) = s(y) -> x = y > x+0 = x > x+s(y) = s(x+y) > x*0=0 > x*s(y)=(x*y)+x > > Again, where do you see an assumption about human. > > Human are used in UDA, of course, to explain comp to humans, but the > result is that the theories above, although quite incomplete with respect > to the arithmetical truth, are complete for the ontology needed to explain > physics and consciousness. > We need only a good dreamer, and the discovery of the relative universal > numbers (in the sense of Post, Turing, Church, etc.) provides an excellent > candidate, especially with comp, of course. > > > > > So how did evolution happen before humans existed? > > > The UD generates the human before evolution, but their statistical weight > is probably not relevant. Eventually the UD has to emulate some very long > histories and the humans get a deeper and deeper past. > > Bruno > > > > > > On Sat, Oct 12, 2013 at 3:39 AM, freqflyer07281972 < > thismindisbud...@gmail.com> wrote: > >> Dear Russell, >> >> Back in 2012, you made the following claims regarding my general attack >> on Bruno's >> "mathematical reductionism": >> >> 1) Self-awareness is a requirement for consciousness >> >> 2) We expect to find ourselves in an environment sufficiently rich and >> complex to support self-aware structures (by Anthropic Principle), but >> not more complex than necessary (Occams Razor). Sort of like >> Einstein's principle "As simple as possible, and no simpler." >> >> 3) The simplest environment generating a given level of complexity is >> one that has arisen as a result of evolution from a much simpler >> initial state. This is the evolution in the multiverse observation, >> that evolution is the only creative (or information generating) >> process. >> >> 4) Evolutionary processes work with populations, so automatically, >> you must have other self-aware entities in your world, and >> consequently inter-subjectivity. >> >> >> My question to you, as basic as it might seem, is... have you changed >> your >> mind about any of these presuppositions? >> >> Yours forever in the multiverse, >> Dan >> >> -- >> 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 http://groups.google.com/group/everything-list. >> For more options, visit https://groups.google.com/groups/opt_out. >> > > > -- > 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 http://groups.google.com/group/everything-list. > For more options, visit https://groups.google.com/groups/opt_out. > > > http://iridia.ulb.ac.be/~marchal/ > > > > -- > 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 http://groups.google.com/group/everything-list. > For more options, visit https://groups.google.com/groups/opt_out. > -- 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 http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/groups/opt_out.
