Mathematics
miscellaneous propositions relating to injective system
英語は本当に使わないと忘れるなぁ。 40度はコンパスと定規で作図できない!ことの証明など。 Proposition; of inductive or direct system, each factor of the s … 続きを読む
covering map
論証を既に終え、正当性が認められた数学的形式的手続きを「計算」と呼ぶことにしよう。 その計算手続きが極めて煩雑になり、記法・表現が重複していたり多様であったりすると、計算上の間違いは回避が難しいだろう。 それを回避するた … 続きを読む