> On 25 Mar 2018, at 18:02, John Clark <[email protected]> wrote: > > > > On Sun, Mar 25, 2018 at 5:01 AM, Bruno Marchal <[email protected] > <mailto:[email protected]>> wrote: > > >> if it was all based on the observation of behavior then what you'd end > up with is a scientific theory about intelligence not consciousness. > > > That is right. But if you agree that consciousness is a form of > non-provable but also non-doubtable knowledge, and if you agree with the > standard definition of knowledge in philosophy of mind, then it is a theorem > that Peano Arithmetic is conscious. > Perhaps rocks are intelligent and they just choose not to display it, if so > then rocks are conscious too. Perhaps Peano Arithmetic is intelligent and it > just chooses not to display it, >
No, Peano arithmetic (PA) displays intelligence, if you listen carefully about what PA says about PA’s ability to choose between saying something or string mute. > if so then Peano Arithmetic is conscious too. > I have few doubt about that. > Or perhaps neither rocks nor Peano Arithmetic nor you is conscious and only I > am. Perhaps, but I doubt it. > > I have no evidence that a rock can think in any genuine way relatively to me, but the question "can a rock think” is ambiguous because a rock is only a map of our most future self-localisation in the multi dream which is emulated by very elementary arithmetic. There is no rocks per se, only invariant and changing pattern in numbers involved in long/deep computations. 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 [email protected] > <mailto:[email protected]>. > To post to this group, send email to [email protected] > <mailto:[email protected]>. > 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 [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.
