Георгий Борисович Шабат

Границы разрешимости в арифметической геометрии

Г. Б. Шабат планирует провести 4 занятия.

Доступны 4 видеозаписи курса.

Между двумя разделами математики, хорошо известными школьникам — арифметикой и геометрией — есть важное различие: геометрия разрешима, а арифметика неразрешима. Несколько упрощённое толкование этих утверждений заключается в том, что компьютерную программу, способную решить «все» геометрические задачи, написать можно, а для арифметических задач такой программы не существует. Точнее, не существует даже алгоритма, который по системе полиномиальных уравнений с целыми коэффициентами определял бы, имеет ли система хотя бы одно целочисленное решение; в этом заключается отрицательное решение десятой проблемы Гильберта, полученное в прошлом веке Ю. В. Матиясевичем.

Арифметика и геометрия сходятся в одной из самых трудных областей взрослой математики — в арифметической геометрии. Здесь сосуществуют и изощрённые алгоритмы, решающие некоторые классы задач, и результаты об алгоритмической неразрешимости; во многих случаях ответы на вопросы об алгоритмической разрешимости неизвестны. Границы между разрешимым и неразрешимым часто неясны, и