On Wed, Jul 25, 2012 at 1:30 PM, Sean Hunt scsh...@csclub.uwaterloo.ca wrote:
Amend the rule 'Win by Paradox' by replacing
actual or hypothetical, but not arising
from that case itself, and not occurring after the initiation of
that case
with
actual or hypothetical,
Machiavelli wrote:
Anyway, if self-reference is not the point, then what is? It seems
like the only thing that could result in a turtle would be a single
clause within a rule that contradicts itself.
Which has happened. Here's a rundown from my Hall of Fame list:
* CFJ 3087
On Wed, 25 Jul 2012, Sean Hunt wrote:
Proposal: No Klein Turtles (AI=1)
{{{
Amend the rule 'Win by Paradox' by replacing
actual or hypothetical, but not arising
from that case itself, and not occurring after the initiation of
that case
with
actual or
On Wed, Jul 25, 2012 at 1:43 PM, Kerim Aydin ke...@u.washington.edu wrote:
1. Doesn't everything paradoxical include some degree of self-reference?
Even the first one (was due to retroactivity, but was a retroactive
cancellation of itself)?
Perhaps explicit self-reference should be needed,
On Wed, 2012-07-25 at 10:43 -0700, Kerim Aydin wrote:
3. I think instead we should get rid of hypothetical win conditions.
Basically, if you can set it up for real you should get it, but just
saying If ABC were true, then it would be undecided shouldn't be enough.
I don't see what this gains.
On 07/25/2012 12:30 PM, Sean Hunt wrote:
and not involving self-reference or mutually recursive
references.
Doesn't rule out loops of length 3 and up.
6 matches
Mail list logo