Talk:Choice sequence: Difference between revisions

Content deleted Content added

Inline

Revision as of 22:49, 28 May 2009

I'll flesh this article out soon, I swears it. ILikeThings (talk) 07:58, 22 June 2008 (UTC)[reply]

"Let \alpha\in n denote the relation "the sequence α begins with the initial sequence n"" Is this notation really correct? \in is used in two different ways in the same formula. Twanvl (talk) 23:03, 13 May 2009 (UTC)[reply]

It's totally silly notation, I know. This is what I've seen in the literature, though. And I think it's used consistently throughout the article (as far as I can tell, the axiom of open data is the only place where the \in predicate is used twice, and it means the same thing in both cases). ILikeThings (talk) 22:49, 28 May 2009 (UTC)[reply]

@@ Line 5: / Line 5: @@
 Is this notation really correct? \in is used in two different ways in the same formula.
 [[User:Twanvl|Twanvl]] ([[User talk:Twanvl|talk]]) 23:03, 13 May 2009 (UTC)
+:It's totally silly notation, I know. This is what I've seen in the literature, though. And I think it's used consistently throughout the article (as far as I can tell, the axiom of open data is the only place where the \in predicate is used twice, and it means the same thing in both cases). [[User:ILikeThings|ILikeThings]] ([[User talk:ILikeThings|talk]]) 22:49, 28 May 2009 (UTC)