Две проблемы Гильберта и модели вычислительных устройств
Речь пойдёт про восьмую и десятую из двадцати трёх проблем,
поставленных Давидом Гильбертом в 1900 году. Будет кратко рассказано,
как было доказано, что десятая проблема неразрешима. Восьмая проблема
включает в себя знаменитую гипотезу Римана, которая стала одной
из семи "проблем тысячелетия". Будет рассказано, в частности,
про неожиданную связь этих двух казалось бы далёких друг от друга проблем,
причём эта связь была установлено с помощью общей теории вычислимости.
