On 04 Feb 2014, at 19:48, John Clark wrote:
On Tue, Feb 4, 2014 at 12:57 PM, meekerdb <[email protected]>
wrote:
> The question was, "How do you define finite."
Something is finite if there is no proper subset of it that can be
put into a one to one correspondence with the entire thing.
OK. Note that this is a second-order logic statement, or a set
theoretical one.
It can be shown that "finite" cannot be characterized in first order
logic.
It can be shown that second-order logic assumes the sense of finite,
like set theory does to.
So, we can conclude that we are unable to define properly what we mean
by finite (or by natural numbers).
That's part of why I say that natural numbers are necessarily
mysterious.
Another question is "How do you define God?"
I would define the word "God" as meaning the supreme being who is
responsible for the existence of the universe. Actually the first
part of that might actually exist, if there are only a finite number
of beings in the universe then in some sense you might be able to
say that one of them is supreme above the others, but saying that
being is responsible for there being something rather than nothing
strikes me as just dumb. And the most important thing about God is
that He is a BEING, that is to say He is intelligent and conscious.
However I have never denied the existence of of a Amorphous Vague
Fog Of Bafflegab (AVFOB), so if you insist on defining "God" as
AVFOB then I believe in God.
Good!
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].
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/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 [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/groups/opt_out.
