Re: The seven step series

From: Bruno Marchal <marchal.domain.name.hidden>
Date: Thu, 16 Jul 2009 10:48:45 +0200

On 15 Jul 2009, at 09:09, Kim Jones wrote:

>
>
> On 14/07/2009, at 6:40 PM, Bruno Marchal wrote:
>
>> The intersection of the two sets S1 = {1, 2, 3} and S2 = {2, 3, 7,
>> 8} will be written (S1 \inter S2), and is equal to the set of
>> elements which belongs to both S1 and S2. We have
>>
>> (S1 \inter S2) = {2, 3}
>>
>> We can define (S1 \inter S2) = {x such-that ((x belongs-to S1) and
>> (x belongs-to S2))}
>>
>> 02 belongs to (S1 \inter S2) because ((2 belongs-to S1) and (2
>> belongs-to S2))
>> 08 does not belongs to (S1 \inter S2) because it is false that ((2
>> belongs-to S1) and (2 belongs-to S2)). Indeed 8 does not belong to
>> S1.
>>
>
>
>
> Quick (silly) questions:
>
> 1.
>
> why do you have to write "\inter" ? Why not just write "inter" ?
>
> Typing "\" causes me to make use of a key on my keyboard I have never
> used before which is scary ;-)

For the intersection of two sets S1 and S1, I have used

1) S1 ∩ S2

But the math symbol "∩" did not go through all emailing system, so,
I have used

2) S1 INTERSECTION S2

But then I recall that in mails, capital letters seems aggressive,
loudly ..., so I have used

3) S1 intersection S2

But then the difference between what is supposed to be represent a
mathematical symbols, and a word in english, disappears, so I have used

4) S1 \intersection S2

But this, on the last post, seems to me to be a little too long, and
so I am using now

5) S1 \inter S2

Only God knows what I will use tomorrow. You should learn that there
is no standard of mathematical notations, and no two mathematicians
use the same symbols, and not one mathematician use the same symbols
in two different texts. What is nice, is that, usually, mathematicians
quickly redefine what they mean by any symbols at the beginning of
their books and papers.
Of course doing math on mails aggravates apparently this search for
the symbols which could satisfy everyone.

Sorry to scare you,

>
> 2.
>
> "such-that" is surely "such that" but the hyphen might just mean
> something
> (this is mathematics; there are dots and dashes and slashes all over
> the place so you have to know what they all mean)
>
> likewise
>
> "belongs-to" would still mean the same thing if we wrote "belongs to"
> would it not?

Same remark. I should have use \such-that, and \belongs-to.

Note that at this stage it is really not important to be aware of the
difference between a symbol and what the symbols refer too, but in
logic such differences acquire some importance at some point, and I
just try to prepare you for such nuances, having the sequel of this
introduction in my mind.

You question are not silly and makes sense, as you see,

Bruno


http://iridia.ulb.ac.be/~marchal/




--~--~---------~--~----~------------~-------~--~----~
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 Jul 16 2009 - 10:48:45 PDT

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