証明論に関連する記事が入ります。巨大数研究のうち計算可能巨大数と呼ばれる範疇では計算可能関数が多用されますが、その停止性や大きさの評価の議論においては「数学の証明」そのものに関する理論が活躍しています。また超越整数のようにそういった「数学の証明」そのものを直接厳密に用いた巨大数も知られています。
総ページ数 (19)
