最終更新日：2026/06/21

LEM

アメリカ英語

(US, space science) Originally Lunar Excursion Module, latterly Lunar Module. / (logic) Law of excluded middle.

日本語の意味

月着陸船（アメリカ宇宙科学において、Lunar Excursion ModuleまたはLunar Moduleを指す） / 排中律（論理学において、任意の命題が真または偽のいずれかであるとする法則、Law of Excluded Middle）

このボタンはなに？

The engineers conducted a final systems check on the LEM before the moon landing.

翻訳する

エンジニアたちは月面着陸の前に月着陸船の最終システム点検を行った。

詳細

意味（1）

(US, space science) Originally Lunar Excursion Module, latterly Lunar Module.

意味（2）

(logic) 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 mathematicians (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 abandoned 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?

翻訳する