On Thu, Aug 30, 2012 at 12:27 AM, Kerim Aydin wrote:
> Encasing one of your ISIDs in an ISIDefine does not prevent it from being
> ISID. Also, CFJ 2737.
I'm not attempting to do anything that even *resembles* infinite
descent. Why do you think I am? CFJ 2737 is irrelevant here, because I
am not
On Wed, 29 Aug 2012, Tanner Swett wrote:
> On Wed, Aug 29, 2012 at 8:24 PM, Sean Hunt
> wrote:
> > On Wed, Aug 29, 2012 at 8:20 PM, Tanner Swett wrote:
> >> Define the word "ooF" as meaning {I call a CFJ on the statement "I
> >> have already called a CFJ in this message. (Foo)".}, and defin
On Wed, Aug 29, 2012 at 8:24 PM, Sean Hunt wrote:
> On Wed, Aug 29, 2012 at 8:20 PM, Tanner Swett wrote:
>> Define the word "ooF" as meaning {I call a CFJ on the statement "I
>> have already called a CFJ in this message. (Foo)".}, and define the
>> word "raB" as meaning {I call a CFJ on the s
On Wed, Aug 29, 2012 at 8:20 PM, Tanner Swett wrote:
> Define the word "ooF" as meaning {I call a CFJ on the statement "I
> have already called a CFJ in this message. (Foo)".}, and define the
> word "raB" as meaning {I call a CFJ on the statement "I have already
> called a CFJ in this message.
4 matches
Mail list logo
