オレンジが数学に限らず学校の授業が苦手で独学偏重なのも、こういう風に「こうです」で済まされるの耐えられなくて、時間がかかっても自分で納得いくまで深堀しないと気が済まないのがあれかも><
隙間が無いの隙間ってそのままこれの話かも><
アルキメデスの性質 - Wikipedia https://ja.wikipedia.org/wiki/%E3%82%A2%E3%83%AB%E3%82%AD%E3%83%A1%E3%83%87%E3%82%B9%E3%81%AE%E6%80%A7%E8%B3%AA
私の立場としては「値を計算可能、あるいは計算方法を発明可能であることは必ずしも “理解” を測るバロメータとして適切でない」という立場なので。
「理解しなくていい」という https://mstdn.nere9.help/@orange_in_space/107643031774379456 こんな話はしてない
具体的に「計算可能な値の場合は計算可能であること」とだけ言われても、それに納得するかを別として「じゃあ計算可能でない概念の場合は?」となるわけですよ。最初から generic な話をしてほしい