Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

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


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

Topic: Matheology § 288
Replies: 160   Last Post: Jun 21, 2013 8:42 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
mueckenh@rz.fh-augsburg.de

Posts: 16,233
Registered: 1/29/05
Re: Matheology § 288
Posted: Jun 16, 2013 6:47 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On Sunday, 16 June 2013 11:25:27 UTC+2, fom wrote:
> But, you respect neither mathematics based upon axioms nor logic based upon

contradictions. Like the undefinability of elements and extensionality:

"Eventually, most mathematicians came to accept that definability should not be required, partly because the axiom of choice leads to nice results, but mostly because of the difficulties that arise when one tries to make notion of definability precise." (Andreas Blass)

That is a real surprise to me. Which mathematicians accepted that and when? Was there a public meeting with voting like in meta or like in the astronomy scene when Pluto has been degraded?

Wouldn't a set with undefined elements contradict the Axiom of Extensionality:

If every element of X is an element of Y and every element of Y is an element of X, then X = Y.

How could that be decided for undefined elements?

But my actual question is this: I have heard (but don't remember where) that there is another solution: The set of finite definitions is countable. That cannot be explained away, can it? But not every finite definition has a meaning. In fact, if we refrain from using common sense, we cannot even define definability, let alone the set of meaningful definitions. Therefore this set is not countable but subcountable - and if we identify subcountability with uncountability, we have won and can continue to enjoy the nice results of the axiom of choice.

Obviously to vague formulated as that matheologians could understand it - with their precisely defined definitions. Therefore deleted in MO after an hour.

Regards, WM



Date Subject Author
6/14/13
Read Matheology § 288
mueckenh@rz.fh-augsburg.de
6/14/13
Read Re: Matheology § 288
LudovicoVan
6/14/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/14/13
Read Re: Matheology § 288
LudovicoVan
6/14/13
Read Re: Matheology § 288
Tucsondrew@me.com
6/14/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/14/13
Read Re: Matheology § 288
Tucsondrew@me.com
6/14/13
Read Re: Matheology � 288
Virgil
6/14/13
Read Re: Matheology § 288
Tucsondrew@me.com
6/15/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/15/13
Read Re: Matheology § 288
Tucsondrew@me.com
6/15/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/15/13
Read Re: Matheology � 288
Virgil
6/15/13
Read Re: Matheology � 288
Virgil
6/16/13
Read Re: Matheology § 288
apoorv
6/16/13
Read Re: Matheology � 288
Virgil
6/16/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/16/13
Read Re: Matheology � 288
Virgil
6/16/13
Read Re: Matheology § 288
apoorv
6/16/13
Read Re: Matheology � 288
Virgil
6/16/13
Read Re: Matheology § 288
apoorv
6/17/13
Read Re: Matheology � 288
Virgil
6/17/13
Read Re: Matheology § 288
apoorv
6/17/13
Read Re: Matheology � 288
Virgil
6/17/13
Read Re: Matheology � 288
Tanu R.
6/17/13
Read Re: Matheology � 288
Virgil
6/17/13
Read Re: Matheology § 288
fom
6/16/13
Read Re: Matheology § 288
FredJeffries@gmail.com
6/16/13
Read Re: Matheology § 288
apoorv
6/16/13
Read Re: Matheology § 288
apoorv
6/17/13
Read Re: Matheology § 288
FredJeffries@gmail.com
6/17/13
Read Re: Matheology � 288
Virgil
6/17/13
Read Re: Matheology § 288
FredJeffries@gmail.com
6/18/13
Read Re: Matheology § 288
LudovicoVan
6/18/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/18/13
Read Re: WMytheology � 288
Virgil
6/18/13
Read Re: Matheology § 288
LudovicoVan
6/18/13
Read Re: Matheology § 288
Tucsondrew@me.com
6/18/13
Read Re: Matheology § 288
LudovicoVan
6/18/13
Read Re: Matheology § 288
Tucsondrew@me.com
6/18/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/18/13
Read Re: Matheology § 288
Tucsondrew@me.com
6/19/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/19/13
Read Re: Matheology § 288
Tucsondrew@me.com
6/19/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/19/13
Read Re: Matheology § 288
Tucsondrew@me.com
6/20/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/20/13
Read Re: Matheology § 288
LudovicoVan
6/20/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/20/13
Read Re: Matheology § 288
LudovicoVan
6/20/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/20/13
Read Re: Matheology § 288
LudovicoVan
6/20/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/20/13
Read Re: Matheology § 288
LudovicoVan
6/20/13
Read Re: WMytheology � 288
Virgil
6/20/13
Read Re: Matheology � 288
Virgil
6/20/13
Read Re: Matheology � 288
Virgil
6/20/13
Read Re: Matheology � 288
Virgil
6/20/13
Read Re: Matheology � 288
Virgil
6/19/13
Read Re: Matheology � 288
Virgil
6/19/13
Read Re: WMytheology � 288
Virgil
6/18/13
Read Re: Matheology � 288
Virgil
6/18/13
Read Re: Matheology § 288
fom
6/18/13
Read Re: Matheology § 288
fom
6/18/13
Read Re: Matheology § 288
LudovicoVan
6/18/13
Read Re: Matheology § 288
fom
6/19/13
Read Re: Matheology § 288
LudovicoVan
6/19/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/19/13
Read Re: WMytheology � 288
Virgil
6/19/13
Read Re: Matheology § 288
LudovicoVan
6/19/13
Read Re: Matheology § 288
fom
6/20/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/20/13
Read Re: Matheology § 288
LudovicoVan
6/20/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/20/13
Read Re: Matheology § 288
LudovicoVan
6/20/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/20/13
Read Re: Matheology § 288
LudovicoVan
6/20/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/20/13
Read Re: Matheology § 288
LudovicoVan
6/20/13
Read Re: Matheology � 288
Virgil
6/20/13
Read Re: Matheology � 288
Virgil
6/20/13
Read Re: Matheology § 288
FredJeffries@gmail.com
6/20/13
Read Re: Matheology § 288
LudovicoVan
6/20/13
Read Re: Matheology § 288
Ralf Bader
6/21/13
Read Re: Matheology § 288
LudovicoVan
6/21/13
Read Re: Matheology § 288
LudovicoVan
6/20/13
Read Re: Matheology § 288
FredJeffries@gmail.com
6/20/13
Read Re: Matheology � 288
Virgil
6/20/13
Read Re: Matheology � 288
Virgil
6/15/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/15/13
Read Re: Matheology � 288
Virgil
6/14/13
Read Re: Matheology � 288
Virgil
6/14/13
Read Re: Matheology � 288
Virgil
6/14/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/14/13
Read Re: Matheology � 288
Virgil
6/14/13
Read Re: Matheology § 288
Tucsondrew@me.com
6/14/13
Read Re: Matheology � 288
Virgil
6/14/13
Read Re: Matheology § 288
Tucsondrew@me.com
6/14/13
Read Re: Matheology � 288
Virgil
6/14/13
Read Re: Matheology § 288
Tucsondrew@me.com
6/15/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/15/13
Read Re: Matheology § 288
Tucsondrew@me.com
6/15/13
Read Re: Matheology � 288
Virgil
6/15/13
Read Re: Matheology � 288
Tanu R.
6/14/13
Read Re: Matheology § 288
Tucsondrew@me.com
6/14/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/14/13
Read Re: Matheology § 288
LudovicoVan
6/14/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/14/13
Read Re: Matheology § 288
LudovicoVan
6/14/13
Read Re: Matheology § 288
Tucsondrew@me.com
6/14/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/14/13
Read Re: Matheology � 288
Virgil
6/14/13
Read Re: Matheology § 288
Tucsondrew@me.com
6/14/13
Read Re: Matheology � 288
Virgil
6/15/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/15/13
Read Re: Matheology � 288
Virgil
6/15/13
Read Re: Matheology � 288
Tanu R.
6/14/13
Read Re: Matheology � 288
Virgil
6/14/13
Read Re: Matheology � 288
Virgil
6/14/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/14/13
Read Re: Matheology � 288
Bergholt Stuttley Johnson
6/14/13
Read Re: Matheology � 288
Virgil
6/14/13
Read Re: Matheology § 288
Tucsondrew@me.com
6/14/13
Read Re: Matheology � 288
Virgil
6/15/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/15/13
Read Re: Matheology � 288
Virgil
6/15/13
Read Re: Matheology � 288
Tanu R.
6/15/13
Read Re: Matheology � 288
Bergholt Stuttley Johnson
6/14/13
Read Re: Matheology � 288
Virgil
6/14/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/14/13
Read Re: Matheology � 288
Virgil
6/15/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/15/13
Read Re: Matheology � 288
Virgil
6/15/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/15/13
Read Re: Matheology � 288
Virgil
6/16/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/16/13
Read Re: Matheology � 288
Virgil
6/16/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/16/13
Read Re: Matheology § 288
fom
6/16/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/16/13
Read Re: Matheology § 288
fom
6/16/13
Read Re: Matheology � 288
Virgil
6/17/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/17/13
Read Re: Matheology � 288
Virgil
6/17/13
Read Re: Matheology § 288
fom
6/16/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/16/13
Read Re: Matheology § 288
fom
6/16/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/16/13
Read Re: Matheology � 288
Virgil
6/16/13
Read Re: Matheology § 288
fom
6/16/13
Read Re: Matheology � 288
Virgil
6/16/13
Read Re: Matheology § 288
fom
6/16/13
Read Re: Matheology � 288
Virgil
6/16/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/16/13
Read Re: Matheology � 288
Virgil
6/17/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/17/13
Read Re: Matheology � 288
Virgil
6/16/13
Read Re: Matheology � 288
Virgil
6/16/13
Read Re: Matheology § 288
mueckenh@rz.fh-augsburg.de
6/16/13
Read Re: Matheology � 288
Virgil
6/15/13
Read Re: Matheology � 288
Tanu R.

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

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.