markovproperty.hatenadiary.com 構成に関して２次表示＝｛表示，｛表示｝｝をなんとかうまく説明できないかと思って、ε-δ論法にしても、対角線論法にしても、独立な二次対象（要は、ｘに拠る定義域とyによる値域、自然数と無限小数）を扱っているから自己言…

markovproperty.hatenadiary.com カントールの定理の証明と対角線論法|高校数学の美しい物語 ε-δ論法もそうだったけれど、カント―ルの定理の説明も直観的すぎて、よくわからない。 偉い疲れた。 この無限とあの無限を比較したい 数が量であるとき、「最大数…

markovproperty.hatenadiary.com markovproperty.hatenadiary.com 結局、何に帰着するのが目標だったかと言えば、意味論的には「偶有」の理解であり、構文論的には「偶有」を用いる際の文法（数え方など）であったようだ。暗中模索なため、何を「目標」とし…