orange @[email protected]

定義のわからない言葉でラベリングされても困るんですが

だからその「暗記」とは何なのかを説明してほしいんですが……

三つ目の論点として、円周率が正しいことを (その性質を利用して) 検証するのと、円周率そのものを導出するのは、問題としての難度が全然違いますよね。

たとえば 7194667284607936697938603328569 の最小の素因数を求めるのと、 7194667284607936697938603328569 の最小の素因数が 2031443 であることを検証できることは全然違う。

二つ目の論点として、 “たとえば” 円周率は実際のところ具体的な値よりもその性質の方こそが利用されているのであって (具体的な値は計算の過程で発生する定数にすぎない)、その値を求める計算自体に本質的な重要性や価値があるとは限らないですよね。

まず一つ目の論点として、「円周率を求めるひとつの方法を再発明できたとして、そこに基礎としてどれだけの価値があるか？」という話がある。
その方法が円周率の値を求めること以外に応用できないのであれば、可能な知的行動の範囲は円周率の値を最初から知っている場合と大差なくないですか？

これは問題の非対称性を無視してますよね

ほんまか？

基礎の部分を暗記するうえで「応用」が利くかというのは割と重要な基準で (というか応用できてこその基礎なので)、じゃあ例えばそこで想定される「円周率を求めるアルゴリズム」は円周率以外のさまざまな値を求めるために応用可能なんですか？ という基準が抜けている。

それは例としておかしいと思います

それを暗記と言うのであれば、その informal な納得の領域というのは言語をはじめあらゆる領域の根底なのであって (人間の知能の bootstrap はそのように行われるので)、そもそも人が「理解」していることがひとつでもあるんですか？ と問いたい。

誰も達成しえない空想上の目標を全員に達成させる手段を問うほど虚無なこともないので。

a+1 = b+1 のとき a=b であることを人々は “証明” できないけど、それは informal な形で十分に「納得」できることですよね。

あなたは、人々は、自然数について何を「暗記」しているんですか？ と。

そもそもルールをわかってもいないのに「暗記」って何ですか？ という話をしています

まあ実数についていうなら、高校程度では実数の特殊な性質のエッジケースを突かない範囲でしか実数を使ってないと思うので