Джулия Робинсон и десятая проблема Гильберта

talk given by Yuri Matiyasevich on February 25, 2020
at   meeting
of    St.Petersburg Mathematical Society, Russia

     
Abstract.  The name of Julia Robinson is inseparable from Hilbert's tenth problem. This was one of the 23 mathematical problems selected by David Hilbert in 1900, which the pending XX century was to inherit from the passing XIX century.

In my talk I'll briefly outline the history of proving the undecidability of the tenth problem, the role played by Julia Robinson, and my collaboration with her and Martin Davis.

After the talk a documentary film ''Julia Robinson and Hilbert's tenth problem'' by George Sciscery will be shown.

Original slides    2.2MB

Slides for printing    2.1MB

Voice recording    mp3 39 MB    ogg 29 MB

Related    link1    link2