首页| English| 中国科学院

Further Results on Heilbert's Tenth Problem

副标题:

时间:2017-04-10  来源:数学机械化重点实验室

题目:            Further Results on Heilbert's Tenth Problem

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

时间地点:    2017.04.18  11:00am  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.

相关附件
相关文档