Dear Jason, Bent and LizR, This conversation is getting interesting!

On Sat, Jan 18, 2014 at 1:23 AM, Jason Resch <jasonre...@gmail.com> wrote: > > > > On Sat, Jan 18, 2014 at 12:12 AM, meekerdb <meeke...@verizon.net> wrote: > >> On 1/17/2014 8:28 PM, Jason Resch wrote: >> >> On Fri, Jan 17, 2014 at 10:16 PM, meekerdb <meeke...@verizon.net> wrote: >> >>> On 1/17/2014 5:40 PM, LizR wrote: >>> >>> But apparently the brain has a lot to do with those computations in >>>> Platonia, c.f. anesthetic. Notice that I'm not a disciple of Platonia. >>>> >>> >>> Me neither, I am agnostic - but within comp it is assumed, so while >>> discussing comp we have to assume it (unless we're rejecting comp on that >>> basis). But I can see that Platonia makes sense in that 17 does seem to be >>> prime idependently of you and me and everyone else, which is (I'm told) >>> enough for the whole shebang to come into some sort of existence. >>> >>> >>> I don't think you have to buy the equivalence between (17 is prime) is >>> true and (17 is prime) exists. >>> >> >> No, but all statements about programs can be translated into truth >> statements about the natural numbers. So you could say "Program X is >> conscious of the information Y" is a true statement, and that truth implies >> that the conscious thought of X exists. (Just as the primeness of 17 >> implies two factors of 17 exist). >> >> >> But where does it exist? >> > > Are you asking for spatial coordinates? I don't know what kind of answer > would satisfy that question. It exists as a member in the collection of > mathematical truth; it has no spatial or physical coordinates. > > >> X has to be conscious of a location, a physics, etc. >> > > All that is necessary for it to be conscious of a location or a physics, > (assuming that is necessary), can exist in the mind of X. Or maybe X is > part of a still larger program, which provides the information of Y. > > >> If all this is the same as where I exist, then it is just a translation >> of this world into arithmetic. It's the flip side of "A perfect >> description of X is the same as X", i.e. "X is the perfect description of >> X". If every perfect description is realized somewhere in arithmetic (and >> I think it probably is) nothing is gained by saying we may be in arithmetic. >> > > This is about more than descriptions or what is describable. If > mathematical statements are true independent of anything else then > mathematical truth can serve as the basis of all that we consider to be > real. > > Jason > > -- > You received this message because you are subscribed to a topic in the > Google Groups "Everything List" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/everything-list/TBc_y2MZV5c/unsubscribe. > To unsubscribe from this group and all its topics, 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. > -- Kindest Regards, Stephen Paul King Senior Researcher Mobile: (864) 567-3099 stephe...@provensecure.com http://www.provensecure.us/ “This message (including any attachments) is intended only for the use of the individual or entity to which it is addressed, and may contain information that is non-public, proprietary, privileged, confidential and exempt from disclosure under applicable law or may be constituted as attorney work product. If you are not the intended recipient, you are hereby notified that any use, dissemination, distribution, or copying of this communication is strictly prohibited. If you have received this message in error, notify sender immediately and delete this message immediately.” -- 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.