# Re: truth

```
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