中文
Sign in
AI tools
聊天
热门问题
时间线
Loading AI tools
全部
文章
字典
引用
地图
Matiyasevich's theorem
来自维基百科,自由的百科全书
Found in articles
尤里·马季亚谢维奇
维基共享资源上的相关多媒体资源:尤里·马季亚谢维奇 Yuri
Matiyasevich's
home page (页面存档备份,存于互联网档案馆). Yuri
Matiyasevich
at DBLP. Hilbert'
s
Tenth Problem: a History of Mathematical
丟番圖方程
1900年,希爾伯特提出丟番圖問題的可解答性為他的23個問題中的第10題。1970年,一個數理邏輯的結果馬蒂雅謝維奇定理(英语:
Matiyasevich's
theorem
)說明:一般來說,丟番圖問題都是不可解的。更精確的說法是,不可能存在一個演算法能夠判定任何丟番圖方程是否有解,甚至,在任何相容於
數論主題列表
默比乌斯函数 默比乌斯倒置算法 除數函數 因数函数 刘维尔函数 整數分拆 貝爾數 兰道函数 五邊形數定理 Erdő
s
–Kac
theorem
(英语:Erdő
s
–Kac
theorem
) 孪生素数 孪生素数猜想(哈代-李特尔伍德第一猜想) Brun 常数 表兄弟素数 四胞胎素数 六質數 三胞胎素数 索菲熱爾曼素數
质数
Springer-Verlag, 1976, ISBN 978-0-387-90163-3 , Section 1.6,
Theorem
1.13 Apostol 1976, Section 4.8,
Theorem
4.12 (Lehmer 1909). Record 12-Million-Digit Prime Number