Мартин Дейвис и 10-я проблема Гильберта

В 10-й из своих 23-х проблем Гильберт просил найти алгоритм, который позволял бы по любому диофантову уравнению узнавать, имеет ли оно решение в целых числах. Решение этой проблемы стало возможным только после того, как было выработано математически строгое общее понятие алгоритма. В выступлении я расскажу о некоторых понятиях и результатах, полученных в теории вычислимости, и о роли американского математика Мартина Дейвиса (1928–2023) в (отрицательном) решении 10-й проблемы Гильберта.
*) Код доступа указан в рассылке. Просим Вас при входе в Zoom указывать своё имя и фамилию.