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

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

Topic: Matheology § 295
Replies: 24   Last Post: Jun 30, 2013 3:32 PM

Advanced Search

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

Posts: 18,076
Registered: 1/29/05
Re: Matheology § 295
Posted: Jun 27, 2013 8:57 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On Thursday, 27 June 2013 13:47:42 UTC+2, Peter Percival wrote:
> wrote:

>> Let X > 100 ==> 1/X < 1.

> Why the 'Let'?

If I let it not, then X < 1 is possible.

>> aleph_0 > 100 is defined.

> aleph_0 > 100 is true. Why say it's defined?

In matheology nothing is true unless it is an axiom or can be derived from an axiom by logic or is defined. aleph_0 is not an axiom and cannot be derived from an axiom by logic. Therefore is is defined.

Regards, WM

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-2018. All Rights Reserved.