私の立場としては「値を計算可能、あるいは計算方法を発明可能であることは必ずしも “理解” を測るバロメータとして適切でない」という立場なので。
「理解しなくていい」という https://mstdn.nere9.help/@orange_in_space/107643031774379456 こんな話はしてない
具体的に「計算可能な値の場合は計算可能であること」とだけ言われても、それに納得するかを別として「じゃあ計算可能でない概念の場合は?」となるわけですよ。最初から generic な話をしてほしい
それって「どういう必要性があってそのような定義を捻出したのか」というある意味メタなレイヤーの話であって (たとえばそうでない定義もできるかもしれない)、具体的な定義対象のことそのものについての理解に直結しているとは限らないと思うんですが