The Math Forum



Search All of the Math Forum:

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


Math Forum » Discussions » sci.math.* » sci.math

Topic: ZFC is inconsistent
Replies: 54   Last Post: Mar 23, 2013 9:02 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
fom

Posts: 1,968
Registered: 12/4/12
Re: ZFC is inconsistent
Posted: Mar 18, 2013 2:02 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On 3/17/2013 11:49 AM, WM wrote:
> On 17 Mrz., 13:09, fom <fomJ...@nyms.net> wrote:
>

>> Playing with crayons does nothing to
>> account for the apparent successes of
>> mathematics with respect to its
>> applications.

>
> Please try to find only 1 (one) single application of set theory -
> appart from the jokes mentioned in Kalenderblatt 1053 - 1060 (texts
> there are mainly in English).
> http://www.hs-augsburg.de/~mueckenh/KB/KB%201001-1111.pdf
>
> Don't confuse matheology with mathematics!



I understand that you want to
argue about beliefs.

As to confusions, why do you think
Brouwer's ideal mathematician is
pre-linguistic?

At first, I had been willing to
defend your statements somewhat
because I am aware of Robinson's
writings.

Nope. Except for his statements
supporting your beliefs concerning
infinity there is little in Robinson
to support what you are doing.

Although I have spent little time
trying to understand constructive
mathematics, I owned Sanin's book
on Constructive Real Analysis. It
had the wrong starting point, so I
bought the AMS translation with his
referenced paper on constructive
logic. This paper had been relying
on Markov's "Theory of Algorithms".
I purchased that and have finished
most of the section up to what I need
for Sanin's papers.

In there, Markov explains an
appropriate way to implement
quantifiers for *given* constructive
objects where a prior definition
of constructive object had been
given.

Nope. Except for his statements
expressing interest in potentially
*feasible* mathematics there is little
in Markov to support what you are
doing.

Now I will start looking at Brouwer.

Just the introduction of the text
that I chose has me laughing.

We proceed to mathematics according
to Nietzchean "will".

So, I ask again...

Why do you think Brouwer's ideal mathematician
is pre-linguistic?

And, if I am to relate this in any
way to what you are doing, how
could any example of text not containing
reference to transfinite arithmetic
prove anything?








Date Subject Author
3/13/13
Read ZFC is inconsistent
byron
3/13/13
Read Re: ZFC is inconsistent
Inverse 18 Mathematics
3/13/13
Read Re: ZFC is inconsistent
byron
3/13/13
Read Re: ZFC is inconsistent
YBM
3/23/13
Read Re: ZFC is inconsistent
Jesse F. Hughes
3/13/13
Read Re: ZFC is inconsistent
Frederick Williams
3/14/13
Read Re: ZFC is inconsistent
byron
3/15/13
Read Re: ZFC is inconsistent
mueckenh@rz.fh-augsburg.de
3/15/13
Read Re: ZFC is inconsistent
YBM
3/15/13
Read Re: ZFC is inconsistent
Virgil
3/15/13
Read Re: ZFC is inconsistent
fom
3/16/13
Read Re: ZFC is inconsistent
mueckenh@rz.fh-augsburg.de
3/16/13
Read Re: ZFC is inconsistent
fom
3/16/13
Read Re: ZFC is inconsistent
mueckenh@rz.fh-augsburg.de
3/16/13
Read Re: ZFC is inconsistent
Virgil
3/17/13
Read Re: ZFC is inconsistent
mueckenh@rz.fh-augsburg.de
3/17/13
Read Re: ZFC is inconsistent
Virgil
3/18/13
Read Re: ZFC is inconsistent
fom
3/18/13
Read Re: ZFC is inconsistent
fom
3/17/13
Read Re: ZFC is inconsistent
fom
3/17/13
Read Re: ZFC is inconsistent
mueckenh@rz.fh-augsburg.de
3/17/13
Read Re: ZFC is inconsistent
Virgil
3/17/13
Read Re: ZFC is inconsistent
fom
3/18/13
Read Re: ZFC is inconsistent
mueckenh@rz.fh-augsburg.de
3/18/13
Read Re: ZFC is inconsistent
Virgil
3/17/13
Read Re: ZFC is inconsistent
Virgil
3/18/13
Read Re: ZFC is inconsistent
fom
3/16/13
Read Re: ZFC is inconsistent
Virgil
3/16/13
Read Re: ZFC is inconsistent
mueckenh@rz.fh-augsburg.de
3/16/13
Read Re: ZFC is inconsistent
fom
3/16/13
Read Re: ZFC is inconsistent
mueckenh@rz.fh-augsburg.de
3/16/13
Read Re: ZFC is inconsistent
Virgil
3/17/13
Read Re: ZFC is inconsistent
mueckenh@rz.fh-augsburg.de
3/17/13
Read Re: ZFC is inconsistent
Virgil
3/17/13
Read Re: ZFC is inconsistent
mueckenh@rz.fh-augsburg.de
3/17/13
Read Re: ZFC is inconsistent
Virgil
3/17/13
Read Re: ZFC is inconsistent
fom
3/17/13
Read Re: ZFC is inconsistent
fom
3/17/13
Read Re: ZFC is inconsistent
mueckenh@rz.fh-augsburg.de
3/17/13
Read Re: ZFC is inconsistent
fom
3/17/13
Read Re: ZFC is inconsistent
mueckenh@rz.fh-augsburg.de
3/17/13
Read Re: ZFC is inconsistent
Virgil
3/18/13
Read Re: ZFC is inconsistent
fom
3/18/13
Read Re: ZFC is inconsistent
mueckenh@rz.fh-augsburg.de
3/18/13
Read Re: ZFC is inconsistent
Virgil
3/18/13
Read Re: ZFC is inconsistent
mueckenh@rz.fh-augsburg.de
3/18/13
Read Re: ZFC is inconsistent
fom
3/18/13
Read Re: ZFC is inconsistent
Virgil
3/18/13
Read Re: ZFC is inconsistent
Virgil
3/18/13
Read Re: ZFC is inconsistent
fom
3/18/13
Read Re: ZFC is inconsistent
Virgil
3/18/13
Read Re: ZFC is inconsistent
fom
3/18/13
Read Re: ZFC is inconsistent
fom
3/17/13
Read Re: ZFC is inconsistent
Virgil
3/16/13
Read Re: WM is inconsistent
Virgil

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2017. All Rights Reserved.