From: Virgil on
In article <45005258(a)news2.lightlink.com>,
Tony Orlow <tony(a)lightlink.com> wrote:

> x=0;
> while(finite(x))
> { add_to_list(x);
> x++;
> }
>
> That's a loop generating the naturals.

Not without a machine on which to run it.

I know of no machine on which that program will produce the indicated
list.

Does TO?
From: Virgil on
In article <4500552f(a)news2.lightlink.com>,
Tony Orlow <tony(a)lightlink.com> wrote:

> I really have a hard time imagining anything fruitful coming out of
> mathematics without some form of inductively defined sets or inductive
> proof. Your point is well taken in general though, that the theory one
> creates depends entirely on the statements assumed true (axioms). The
> parallel postulate is a wonderful example, and LEM is another. Each rule
> included in the theory tends to restrict it in terms of the conclusions
> it can reach, which is necessary to some extent to ensure consistency.
> As long as no two axioms contradict each other, directly or indirectly,
> the theory is consistent.
>
> Tony

This principle as applied to TO's attempts to bi=uild his own system
seems more honoured in the breech.
From: Jesse F. Hughes on
John Schutkeker <jschutkeker(a)sbcglobal.net.nospam> writes:

> Unfortunately, if it is true that Arxiv only accepts the work of the
> academically affiliated[...]

Learn to read. No one said arXiv only accepts the work of the
academically affiliated.

--
"People make mistakes. Better to live today and learn the truth, than
to be one of those poor saps who died deluded, thinking they knew
certain things that they just didn't. Thinking they had proofs that
they didn't." --James S. Harris, almost too sad for a .sig
From: Lester Zick on
On Thu, 07 Sep 2006 13:26:12 -0600, Virgil <virgil(a)comcast.net> wrote:

>In article <mah0g29jhf7u65h4um3k1jebid22us331o(a)4ax.com>,
> Lester Zick <dontbother(a)nowhere.net> wrote:
>
>> On Wed, 06 Sep 2006 17:13:32 -0600, Virgil <virgil(a)comcast.net> wrote:
>
>> >Zick is the one whose trivia is founded in the trivium. Math is a part
>> >of the quadrivium.
>>
>> And modern math is founded, whatever that means, in the trivium and
>> not in the quadrivium.
>
>And how does someone so self-decaredly ignorant of mathematics know this?

Because you self declaredly proclaim assumptions of truth in lieu of
demonstrations.

~v~~
From: G.E. Ivey on
A general rule: If you are capable of considering the possiblility that you are a crank, then you are NOT!