报告人：      孙智伟 (南京大学)

时间地点：    2017.04.18  11:00  N202

摘要：            Hilbert's Tenth Problem (HTP) asks for an effective algorithm to test whether an arbitrary polynomial equation P(x_1, ... ,x_n)=0 (with integer coefficients) has solutions over the ring Z of the integers.This was finally solved by Matiyasevich in 1970 negatively.

                        In this talk we introduce the speaker's further results on HTP.In particular, we present a sketch of the proof of the speaker's main result that there is no effective algorithm to determine whether an arbitrary polynomial equation P(x_1, ... ,x_{11})=0 (with integer coefficients) in 11 unknowns has integral solutions or not.