Cm vs Lem - What's the difference?
cm | lem | Related terms |
(US, space science) originally Lunar Excursion Module, latterly Lunar Module
(logic) law of excluded middle
* 2005 , Andrej Bauer, Mathematics and Computation:
Lem is a related term of cm.
As a noun cM
is abbreviation of lang=en.As an initialism LEM is
law of excluded middle.cm
Translingual
Alternative forms
* (roman numeral) cm, DCCCC, dccccSee also
* Previous: DCCCXCIX (eight hundred and ninety-nine, ) * Next: CMI (nine hundred and one, ) Roman numerals ISO 3166-1 ----lem
English
(wikipedia LEM) ===(en)=== (en noun)Synonyms
* (Lunar Module) LMSee also
* (Lunar Module) (Lunar Excursion Module)Initialism
(Initialism) (head)The Law of Excluded Middle
- What constructive mathematicians know is that there are mathematical universes in which sets are like topological spaces and properties are like open sets. In fact, these universes are well-known to classical mathematicans (they are called toposes''), but they look at them from “the outside”. When we consider what mathematicians who live in such a universe see, we discover many fascinating kinds of mathematics, which tend to be constructive. The universe of classical mathematics is special because in it all sets are like discrete topological spaces. In fact, one way of understanding LEM''' is “all spaces/sets are discrete”. Is this really such a smart thing to assume? If for no other reason, ' LEM should be abandonded because it is quite customary to consider “continuous” and “discrete” domains in applications in computer science and physics. So what gives mathematicians the idea that all domains are discrete?