XML.orgXML.org
FOCUS AREAS |XML-DEV |XML.org DAILY NEWSLINK |REGISTRY |RESOURCES |ABOUT
OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.

 


Help: OASIS Mailing Lists Help | MarkMail Help

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index]
RE: [xml-dev] ANN: the first million prime numbers in XML format

Michael,

I am thinking that the next prime number must be special, because it is not guessable.

But going back to square "one",  isn't that the first number "invented", or recognized?
ie self, not-self?

Peter 

> -----Original Message-----
> From: Michael Kay [mailto:mike@saxonica.com] 
> Sent: July 6, 2012 11:59
> To: xml-dev@lists.xml.org
> Subject: Re: [xml-dev] ANN: the first million prime numbers 
> in XML format
> 
> 
> >>> Er, pardon me for asking, but what's so special about 
> prime numbers?
> >>>
> >>>
> 
> All numbers are equally special.
> 
> Proof: suppose that some numbers are more special than 
> others. Then there must be a set of numbers that are the 
> least special of all; and one of these must be the lowest 
> such number. This number would be rather special. Contradiction.
> 
> Michael Kay
> Saxonica
> 
> 
> 
> ______________________________________________________________
> _________
> 
> XML-DEV is a publicly archived, unmoderated list hosted by 
> OASIS to support XML implementation and development. To 
> minimize spam in the archives, you must subscribe before posting.
> 
> [Un]Subscribe/change address: http://www.oasis-open.org/mlmanage/
> Or unsubscribe: xml-dev-unsubscribe@lists.xml.org
> subscribe: xml-dev-subscribe@lists.xml.org List archive: 
> http://lists.xml.org/archives/xml-dev/
> List Guidelines: http://www.oasis-open.org/maillists/guidelines.php
> 
> 


[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index]


News | XML in Industry | Calendar | XML Registry
Marketplace | Resources | MyXML.org | Sponsors | Privacy Statement

Copyright 1993-2007 XML.org. This site is hosted by OASIS