Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Matheology § 223: AC and AMS
Replies: 102   Last Post: Apr 18, 2013 12:26 AM

 Messages: [ Previous | Next ]
 Virgil Posts: 8,833 Registered: 1/6/11
Re: Matheology � 223: AC and AMS
Posted: Mar 17, 2013 2:33 AM

In article <-sCdnQ-xFajE_NjMnZ2dnUVZ_qidnZ2d@giganews.com>,
fom <fomJUNK@nyms.net> wrote:

> On 3/16/2013 1:00 PM, WM wrote:
> > On 16 Mrz., 18:17, fom <fomJ...@nyms.net> wrote:
> >

> >>
> >>> 2) Do you agree that choosing a number from a set with more than 1
> >>> element means writing or speaking or at least thinking the name of the
> >>> number?

> >>
> >> No. The use of logic and axioms is justifiable as
> >> representations that formalize mathematical practice.

> >
> > The practice must not become unpracticable by logic.

>
> There is nothing unpracticeable about it. You simply
> misunderstand the requirements of using singular terms
> and the difficulties presented by the logic that
> preceded the late nineteenth century.
>
> Frege's paper introducing a new deductive calculus
> is extremely sophisticated.
>

> >
> >> They are normative ideals against which mathematical
> >> practice is measured.

> >
> > Logic and formalization *describe* practice, they cannot change it.
> >

>
> No. The represent practice. That is different.
>
> What makes it different are metamathematical results
> such as the completeness and soundness theorems.
>
> A description of practice is the educational abuse
> of Euclidean geometry in the secondary education
> of young adults in the United States. It has become
> a proxy for teaching logic at the expense of teaching
> mathematics.
>
>

> >> Your question applies to the faithfulness of those
> >> representations. What is "nameable in principle" may
> >> not be materially nameable.

> >
> > Here is the question whether something can be chosen, not whether it
> > can be "in priciple" chosen.

> >>
>
> And, once again you show your ignorance of science.
> Your failure to grasp its sense with regard to mathematics
> as a demonstrative science is one thing. But, a comment
> such as that indicates a contempt for empirical science
> as well.
>

> >>> 5) Zermelo's AC requires that uncountably many names can be written,
> >>> said or thought.

> >>
> >> No. Zermelo's AC requires that one name can be written
> >> with certainty.
> >>
> >> "the cartesian product of non-empty sets is non-empty"

> >
>
> As you seemed to have ignored today's science
> lesson, the remainder is snipped.
>
> <snip>

WM regards himself as being so knowledgeable about mathematics that he
has nothing left to learn about it.
--

Date Subject Author
3/14/13 Alan Smaill
3/14/13 mueckenh@rz.fh-augsburg.de
3/14/13 Virgil
3/14/13 fom
3/14/13 mueckenh@rz.fh-augsburg.de
3/14/13 fom
3/14/13 mueckenh@rz.fh-augsburg.de
3/14/13 fom
3/15/13 mueckenh@rz.fh-augsburg.de
3/15/13 fom
3/15/13 mueckenh@rz.fh-augsburg.de
3/15/13 Virgil
3/15/13 fom
3/16/13 mueckenh@rz.fh-augsburg.de
3/16/13 fom
3/16/13 mueckenh@rz.fh-augsburg.de
3/16/13 fom
3/16/13 mueckenh@rz.fh-augsburg.de
3/16/13 Virgil
3/17/13 fom
3/17/13 Virgil
3/16/13 mueckenh@rz.fh-augsburg.de
3/16/13 Virgil
3/17/13 fom
3/17/13 mueckenh@rz.fh-augsburg.de
3/17/13 Virgil
3/17/13 mueckenh@rz.fh-augsburg.de
3/17/13 Virgil
3/18/13 fom
3/18/13 mueckenh@rz.fh-augsburg.de
3/18/13 fom
3/18/13 mueckenh@rz.fh-augsburg.de
3/18/13 fom
3/18/13 Virgil
3/18/13 mueckenh@rz.fh-augsburg.de
3/18/13 fom
3/18/13 mueckenh@rz.fh-augsburg.de
3/18/13 fom
3/19/13 mueckenh@rz.fh-augsburg.de
3/19/13 fom
3/19/13 fom
3/19/13 mueckenh@rz.fh-augsburg.de
3/19/13 fom
3/19/13 Virgil
3/19/13 fom
3/19/13 Virgil
3/19/13 Virgil
4/17/13 Virgil
3/18/13 Virgil
3/18/13 Virgil
3/18/13 fom
3/18/13 fom
3/18/13 mueckenh@rz.fh-augsburg.de
3/18/13 fom
3/18/13 Virgil
3/19/13 fom
3/18/13 Virgil
3/18/13 fom
3/18/13 fom
3/18/13 mueckenh@rz.fh-augsburg.de
3/18/13 fom
3/18/13 mueckenh@rz.fh-augsburg.de
3/18/13 Virgil
3/18/13 fom
3/18/13 fom
3/18/13 mueckenh@rz.fh-augsburg.de
3/18/13 Virgil
3/19/13 mueckenh@rz.fh-augsburg.de
3/19/13 Virgil
3/19/13 mueckenh@rz.fh-augsburg.de
3/19/13 Virgil
3/18/13 fom
3/19/13 mueckenh@rz.fh-augsburg.de
3/19/13 Virgil
3/19/13 fom
4/17/13 Virgil
4/18/13 fom
3/18/13 Virgil
3/18/13 mueckenh@rz.fh-augsburg.de
3/18/13 Virgil
3/18/13 Virgil
3/18/13 Virgil
3/16/13 Virgil
3/16/13 Virgil
3/17/13 fom
3/15/13 fom
3/16/13 mueckenh@rz.fh-augsburg.de
3/16/13 Virgil
3/15/13 Virgil
3/15/13 mueckenh@rz.fh-augsburg.de
3/15/13 Virgil
3/15/13 fom
3/15/13 fom
3/15/13 Virgil
3/15/13 fom
3/16/13 Virgil
3/14/13 Virgil
3/14/13 Virgil
3/16/13 mueckenh@rz.fh-augsburg.de
3/16/13 Virgil
3/17/13 fom