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

24-я проблема была вновь открыта немецким историком Рюдигером Тиле в 2000 году. Он отметил, что Гильберт не включил 24-ю проблему ни в лекцию, представляющую проблемы Гильберта, ни в какие-либо опубликованные тексты. Друзья Гильберта и его коллеги-математики Адольф Гурвиц и Герман Минковский были тесно вовлечены в проект, но не знали об этой проблеме.
Q273167
проблемы Гильберта
Concept
Q11538
математических доказательствах
Concept
Q852732
теории доказательств
Concept
Q1553363
Рюдигером Тиле
PER
Q58809
Адольф Гурвиц
PER
Q57246
Герман Минковский
PER
Q1618154
Двадцать четвёртая проблема Гильберта
Concept
2000-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
в 2000
DATE
+23^^http://www.w3.org/2001/XMLSchema#decimal
23
NUMBER
+24^^http://www.w3.org/2001/XMLSchema#decimal
24
NUMBER
+24^^http://www.w3.org/2001/XMLSchema#decimal
24
NUMBER
part of
studies