- Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]

From: Torgny Tholerus <torgny.domain.name.hidden>

Date: Thu, 29 Nov 2007 19:28:05 +0100

Quentin Anciaux skrev:

*> Le Thursday 29 November 2007 18:52:36 Torgny Tholerus, vous avez écrit :
*

*>
*

*>> Quentin Anciaux skrev:
*

*>>
*

*>>
*

*>>> What is the production rules of the "no"set R ?
*

*>>>
*

*>> How do you define "the set R"?
*

*>>
*

*>
*

*> http://en.wikipedia.org/wiki/Construction_of_real_numbers
*

*>
*

*> Choose your method...
*

*>
*

The most important part of that definition is:

4. The order ? is /complete/ in the following sense: every non-empty

subset of *R* bounded above <http://en.wikipedia.org/wiki/Upper_bound>

has a least upper bound <http://en.wikipedia.org/wiki/Least_upper_bound>.

This definition can be translated to:

"If you have a production rule that produces rational numbers that are

bounded above, then this production rule is producing a real number."

This is the production rule for real numbers.

Date: Thu, 29 Nov 2007 19:28:05 +0100

Quentin Anciaux skrev:

The most important part of that definition is:

4. The order ? is /complete/ in the following sense: every non-empty

subset of *R* bounded above <http://en.wikipedia.org/wiki/Upper_bound>

has a least upper bound <http://en.wikipedia.org/wiki/Least_upper_bound>.

This definition can be translated to:

"If you have a production rule that produces rational numbers that are

bounded above, then this production rule is producing a real number."

This is the production rule for real numbers.

-- Torgny --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Everything List" group. To post to this group, send email to everything-list.domain.name.hidden To unsubscribe from this group, send email to everything-list-unsubscribe.domain.name.hidden For more options, visit this group at http://groups.google.com/group/everything-list?hl=en -~----------~----~----~----~------~----~------~--~---Received on Thu Nov 29 2007 - 13:29:13 PST

*
This archive was generated by hypermail 2.3.0
: Fri Feb 16 2018 - 13:20:14 PST
*