On 01 May 2014, at 21:04, meekerdb wrote:
On 5/1/2014 2:18 AM, Alberto G. Corona wrote:
Someone said:
"So what does "existence" mean besides stable patterns of
information, e.g. perception of the Moon, landing on the Moon,
tidal effects of the Moon,.."
So electrons did not exist until Rutherford. And even so, in a
primitive form. Electrons had to wait in the limb of partial
existent things until Millican said: Let´s give mass to the
Electron. And the electrons existed happily since then.. Only for
the people aware of the pattern creation.
Existence is relative to theory.
Theoretical existence might. But the idea is that some theory can be
correct, and in that case, even if *we* cannot be sure, such an
existence will be independent of you and the theories.
So electrons existed before Millican
That contradicts above.
and protons existed after Gell-Mann showed they were made of
quarks. Just as the Moon exists after we discovered atoms.
? Are you serious?
The far away, and thus very old, galaxies exist since Hubble (the
telescope) detected them?
This contradicts your post to me where you told me that the moon is
defined by ostentation. Humans refer to that light spot in the sky
before they knew about atoms.
You lost me. (Typo error?)
I think there are many sort of existence, and I prove that all
machines can discover them by instrospection: they are ExP(x), [] Ex
[] P(x), for each of the many arithmetical modalities. In arithmetic,
those modal existences "emerge" logically from the ontic existence:
ExP(x).
Bruno
Brent
Who knows how many things are waiting to become into the
"existence" this way. That is not a good definition of existence
for me.
--
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 everything-
[email protected].
Visit this group at http://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 [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
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 [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
