搜索结果: 1-1 共查到“数理逻辑与数学基础 solvability”相关记录1条 . 查询时间(0.109 秒)
A subset of {1,2,3,...}^n whose non-computability leads to the existence of a Diophantine equation whose solvability is logically undecidable
Hilbert’s Tenth Problem logically undecidable Diophantine equation Logic
2011/9/22
Abstract: Let B(n)={(x_1,...,x_n) \in {1,2,3,...}^n: for each positive integers y_1,...,y_n the conjunction
(\forall i,j,k \in {1,...,n} (x_i+x_j=x_k ==> y_i+y_j=y_k)) AND
\forall i,j,k \in {1,......