Мир математики полон сложных задач, но теперь стало известно о новой проблеме. В 1900 году математик Давид Гильберт предложил список из 23 задач, которые должны были указать направление развития математики. Одной из ключевых идей было условие, что математика должна быть полной - все утверждения должны быть доказуемы или опровержимы. В 1930-х годах математик Курт Гёдель показал,…