Джулия Робинсон , американский математик и теоретик (ум. 1985 г.)

Джулия Холл Боуман Робинсон (8 декабря 1919 г. - 30 июля 1985 г.) была американским математиком, известным своим вкладом в области теории вычислимости и теории сложности вычислений, прежде всего в задачах принятия решений. Ее работа над десятой проблемой Гильберта (теперь известной как теорема Матиясевича или теорема MRDP) сыграла решающую роль в ее окончательном разрешении. Робинсон был научным сотрудником Макартура 1983 года.