このノートは、論文26「一般自己参照計算」の数学的および科学的な重要性を説明します。この論文は、ゲーデルの対角レemma、クレーネの再帰定理、ローブの定理、NEMS対角バリアを単一の表現可能性原理の例として統一するLeanによって検証された普遍的自己参照計算を確立し、対応する不動点および決定不能性メカニズムを鋭い境界を持つ再利用可能な定理として証明します。このノートは、論文自体の技術的詳細を通じて理解することなく、その貢献の範囲と深さを理解したい読者を対象としています。
ノヴァ・スピヴァック（Sun、）はこの質問を研究しました。