20/07/27 23:02:30 slbIBvLt.net
>>42
例えば
”We are trying to make the point that the involvement of filters and/or non-standard numbers leads to a reduction in the number of quantifiers and hence, simplification, compared to the more traditional ε, δ-definition of limits in real analysis.”
ってあるよね
つまり、
”traditional ε, δ-definition of limits in real analysis”
に対して、Frechet Filter とか、 Ultrafiltersとかを使って、
”Non-Standard Characterization of Limits in R”（いわゆる超準解析）
を展開することを論じている
「同値関係を別の方法で再定義するってだけ」？
あほらし
おへそが茶を沸かすだなｗ