Re: Numerals query again

--- In cybalist@yahoogroups.com, "Richard Wordingham"
<richard.wordingham@...> wrote:

> --- In cybalist@yahoogroups.com, Piotr Gasiorowski
> <piotr.gasiorowski@...> wrote:


> > 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?

I tacitly assumed (without justifying my assuption) that any number
can only be 100% special or 100% nonspecial, and that the property is
decidable. Otherwise the set of all nonspecial numbers can't be
properly defined and the whole argument is flawed -- which I know it
is, hence the added smiley ;-)

Piotr