On 28 Jun 2012, at 22:18, Brian Tenneson wrote:
What I meant is an omnipotent being being able to manipulate what is
actually, absolutely true (so in a parallel 2+2 might actually be
17). Not manipulate the perception of truth.
You can just define a new addition "+" by the rule x + y = the usual
sum of x and y added to 15 with 15 being the usual
(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(0))))))))))))))))))).
But again, this does not make 1+1=2 relative. It is just a change of
the definition. It means we are not talking about 1, + and 17.
If you believe that a God can change the truth value of 1+1=2, with
their standard meaning, then such a God is inconsistent with
elementary arithmetic, meaning that it does not exist. I am not sure
what that someone would even mean when saying that 1+1=17, with their
standard meaning.
1+1 ≠ 17 in *all* interpretations of the elementary axioms of
arithmetic.
Bruno
On Thu, Jun 28, 2012 at 1:11 PM, meekerdb <meeke...@verizon.net>
wrote:
On 6/28/2012 1:06 PM, Brian Tenneson wrote:
What I was wondering, and I know this is ill-formed, is if in
different parallels, different things are absolutely true. Things
like 2+2=17. It may be completely impractical to imagine such
parallels since there is presumably zero overlap and no means of
"travel" to there. The basic premise is that an omnipotent being
has the ability to fool computers into thinking various things are
true.
It doesn't take an omnipotent being to do that - unless you think
Rush Limbaugh is omnipotent.
Brent
--
You received this message because you are subscribed to the Google
Groups "Everything List" group.
To post to this group, send email to everything-list@googlegroups.com.
To unsubscribe from this group, send email to everything-list+unsubscr...@googlegroups.com
.
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en
.
--
You received this message because you are subscribed to the Google
Groups "Everything List" group.
To post to this group, send email to everything-list@googlegroups.com.
To unsubscribe from this group, send email to everything-list+unsubscr...@googlegroups.com
.
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en
.
http://iridia.ulb.ac.be/~marchal/
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com.
To unsubscribe from this group, send email to
everything-list+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en.