Virgil
Posts:
4,482
Registered:
1/6/11
|
|
Re: Mathelogy S 011
Posted:
May 20, 2012 7:43 PM
|
|
In article
<90b6b290-2eea-4d57-a630-0fcf912d8f33@eh4g2000vbb.googlegroups.com>,
WM <mueckenh@rz.fh-augsburg.de> wrote:
> On 20 Mai, 06:32, Graham Cooper <grahamcoop...@gmail.com> wrote:
> > On May 20, 8:27 am, Jürgen R. <jurg...@arcor.de> wrote:
> >
> > > > The "proof" ends with p. 516. And
> > > > obviously Zermelo takes for granted that every element can be
> > > > addressed, i.e., is defined.
> >
> > > No. "Addressing", whatever that might mean, has nothing to do
> > > with the argument. Nor is "addressing" of "elements" a notion
> > > that has a meaning outside of M ckenhausen.
> >
> > There are Specification Languages but you end up programming the
> > function in a 4GL like Prolog anyway.
> >
> > Here is a bnf grammar that could enumerate Prolog Horne Clauses.
>
> It is useless to try to teach Rennenkampf mathematics.
>
> Regards, WM
It may be useless for someone who "knows" so much about mathematics
that is actually not true of mathematics as WM does.
--
|
|
