Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S265291AbUAETKg (ORCPT ); Mon, 5 Jan 2004 14:10:36 -0500 Received: (majordomo@vger.kernel.org) by vger.kernel.org id S265315AbUAETKe (ORCPT ); Mon, 5 Jan 2004 14:10:34 -0500 Received: from tag.witbe.net ([81.88.96.48]:8709 "EHLO tag.witbe.net") by vger.kernel.org with ESMTP id S265291AbUAETKT (ORCPT ); Mon, 5 Jan 2004 14:10:19 -0500 Message-Id: <200401051910.i05JA6D28995@tag.witbe.net> From: "Paul Rolland" To: "'Davide Libenzi'" , "'Vojtech Pavlik'" Cc: "'Linus Torvalds'" , "'Andries Brouwer'" , "'Daniel Jacobowitz'" , "'Rob Love'" , , "'Pascal Schmidt'" , "'Linux Kernel Mailing List'" , "'Greg KH'" Subject: Re: udev and devfs - The final word Date: Mon, 5 Jan 2004 20:10:06 +0100 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Mailer: Microsoft Office Outlook, Build 11.0.5510 In-Reply-To: X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1165 Thread-Index: AcPTtmiqWhhdHh9XQ/q4SWfFyIwdlwAByIlQ Sender: linux-kernel-owner@vger.kernel.org X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 1127 Lines: 34 Hello, > > Two dimensional discrete space (*) is enumerable. Just > start at [0,0] > > and assign numbers going around the center in a growing spiral (**). > > That way you assign a number to every point in that space. > This is very > > similar to the trick used to demonstrate fractions are enumerable. > > Vojtech, a spiral (in the math sense) won't work because whatever > continuos function you choose for the radius, you are going to skip > integers when the radius grows (and duplicate them when it's > small). Also, > IIRC, fractions are enumerable because they're a mapping from two > enumerable spaces (integers): F = F(I1, I2) = I1 / I2. > No, I think Vojtech was meaning this kind of spiral and enumeration : ...16 15 14 13 5 4 3 12 6 1 2 11 7 8 9 10 and so on... The spiral in not to be taken in the math sense... Regards, Paul - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/