ヒルベルトの第24問題（ヒルベルトのだい24もんだい、、）は、ダフィット・ヒルベルトが1900年の国際数学者会議（パリ会議）に関連して構想していたが、公刊された「ヒルベルトの23の問題」には含まれなかった未公表の問題である。後年、ヒルベルトの数学ノートの調査からその存在が確認され、主題はおおむね証明の単純性の基準、およびある証明が最も単純であることを示す理論にあったと理解されている。
概要 ヒルベルトの問題群は、公刊形においては23題として定着した。1900年のパリ会議では時間の制約から10題のみが口頭発表され、23題の全体像は同年の『ゲッティンゲン・ナハリヒテン』掲載版を通じて示され、その後メアリー・ウィンストン・ニューソンによる英訳が『』に掲載された。
これに対し、第24問題はヒルベルトが講演にも印刷版にも含めなかった問題であり、はこれを「取り消された問題」（canceled problem）として紹介している。
問題の中心は、ある定理についてどの証明が最も単純か、また二つの証明の差がどの条件や補助手段に由来するかを明らかにすることにあった。
発見と史料 第24問題の存在は、ティーレによるヒルベルト遺稿の調査を通じて明らかにされた。
ティーレとは2002年に発表した論文においても、長く知られていなかったこの問題について言及している。
また、ヒルベルトはこの問題を、ゲッティンゲン・ナハリヒテン掲載版の校正に関わったアドルフ・フルヴィッツやヘルマン・ミンコフスキーにも伝えていなかったとされる。
内容 ティーレの紹介するヒルベルトの記述では、第24問題は「証明の単純性の基準」、あるいは「ある証明が最大限に単純であることの証明」を問題とし、数学一般における証明方法の理論を発展させるべきだとされる。さらに、与えられた条件のもとでは「最も単純な証明」は一つしかありえず、二つの証明があるならば、それらを相互に導出するか、そうでなければ両者で用いられている条件や補助手段の差異を明らかにすべきだと記されている。
ティーレは、このノートには判読困難な箇所や文法的に整わない箇所があり、ヒルベルトが急いで書き留めた可能性があると注記している。また、単純性の具体例として、不変式論におけるsyzygy（スィジジー、シジジー）と初等幾何学の定理群が念頭に置かれていたことを論じている。
ヒルベルトの23の問題との関係 第24問題は、通常いう「ヒルベルトの23の問題」には含まれない。公刊版として流布した問題群は23題であり、第24問題はヒルベルトが構想しながら公表しなかった問題である。
ヒルベルトがなぜこの問題を最終的に外したのかについて、ティーレは決定的な史料はないとしている。そのうえで、主因を単なる時間的制約ではなく、当時の証明論がなお形成途上にあったことに求める見方を示している。
受容と研究史 第24問題は、再発見後、単なる「失われた追加問題」としてだけでなく、証明とは何か、二つの証明はいつ同じとみなせるか、証明の単純性をどう測るかといった問題群と関連づけて論じられるようになった。ティーレとウォスは、これを自動定理証明における証明探索や証明簡約の問題とも関係づけている。
2019年には、『』 において、ヒルベルトの第24問題における「単純な証明」の概念を扱う特集が組まれた。導入論文では、第24問題が論理学・証明論・数学実践研究を横断する論点を提供するものであると位置づけている。また、ルッツ・シュトラスブルガーは、証明の同一性の問題、すなわち複数の証明をいつ同じものとみなすことができるかという問題と第24問題の関係を論じている。
脚注
参考文献
関連項目 ヒルベルトの23の問題 ダフィット・ヒルベルト 証明論 自動定理証明