Двадцать четвёртая проблема Гильберта

Двадцать четвёртая проблема Гильберта — это математическая проблема, которая не была опубликована как часть списка из 23 проблем, известных как проблемы Гильберта, но была включена в оригинальные заметки Давида Гильберта. Задача ставит вопрос о критерии простоты в математических доказательствах и разработке теории доказательств с возможностью доказать, что данное доказательство является самым простым[1].

24-я проблема была вновь открыта немецким историком Рюдигером Тиле в 2000 году. Он отметил, что Гильберт не включил 24-ю проблему ни в лекцию, представляющую проблемы Гильберта, ни в какие-либо опубликованные тексты. Друзья Гильберта и его коллеги-математики Адольф Гурвиц и Герман Минковский были тесно вовлечены в проект, но не знали об этой проблеме.

Примечания
  1. Rüdiger Thiele. Hilbert's Twenty-Fourth Problem // The American Mathematical Monthly. — 2003. — P. 1–24. — doi:10.2307/3072340.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.