Десятая проблема Гильберта: что можно и что нельзя делать с диофантовыми уравнениями

В 1900 году Давид Гильберт сформулировал 23 математические проблемы. Десятая из них была про диофантовы уравнения. 70 лет спустя было строго доказано, что эта проблема не имеет решения. Техника, развитая для этого доказательства, нашла многочисленные приложения как для доказательства неразрешимости других проблем, так и для получения «положительных» результатов.