Consciousness is IDENTITY like a fingerprint or voice print. Every consciousness is unique but each needs something to be conscious OF like a human body or perhaps a larger (virtual?) program (hologram?) It can be stored on a database. That's as far as I've got.
On Tue, Oct 23, 2018 at 9:22 PM Brent Meeker <meeke...@verizon.net> wrote: > > > On 10/23/2018 9:23 AM, Bruno Marchal wrote: > >> On 23 Oct 2018, at 04:30, Brent Meeker <meeke...@verizon.net> wrote: > >> > >> > >> > >> On 10/22/2018 6:54 AM, Bruno Marchal wrote: > >>> The mathematical reality has noting to do with languages, except that > languages are needed if machine/people want to share the results of their > exploration. > >> So how do you prove theorems without a language? > > Of course, proving a theorem requires a theory, and a language. I was > saying (see the quote) that the *arithmetical reality* does not require a > language. > > > > The arithmetical reality does not require a language more than dinosaurs > needed the word “dinosaur” to exist. The prime character of 17 does not > need a mathematician to assert it, or to think about. > > > > To prove a theorem requires a theory, which requires a language. We can > only ope that our theory is in relation with truth, but the truth of 17 is > prime, assuming it true, does not need a proof to be true. A proof is > neither necessary, nor sufficient. The arithmetical reality is independent > of the big-bang. It is more plausible than an event like the big-bang > requires some part of the arithmetical reality. > > But you are basing our shared reality in what is provable, which is > therefore dependent on having language. Right? > > 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 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. > -- 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.
