[tied] Re: Numerals query again

From: Richard Wordingham
Message: 26957
Date: 2003-11-08

--- In cybalist@yahoogroups.com, Piotr Gasiorowski
<piotr.gasiorowski@...> wrote:
> 07-11-03 21:26, gvogar wrote:
>
> > Rusian 40 is quite diferent that other numerals.
> > Are the numbers 4, 7 and 17 somehow special?
> >
> > How the 17 get special status? It wasn't after Gaus 17-gon
> > construction.
>
> Why "17"? Did anyone menton "17"?
>
> Anyway, every natural number is special, including 87492335017.
The
> proof is by reductio ad absurdum:

<Snip>
> Being the smallest nonspecial number makes N special.

Does it?

Actually I suspect there may be a fault in the schema. Is being
special decidable?

Richard.