Hilbert's Tenth Problem and Paradigms of Computation

机译：希尔伯特的第十个问题和计算范式

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

This is a survey of a century long history of interplay between Hilbert's tenth problem (about solvability of Diophantine equations) and different notions and ideas from the Computability Theory.

机译：这是对希尔伯特第十个问题（关于Diophantine方程的可解性）与可计算性理论的不同观念和思想之间相互作用长达一个世纪的历史的调查。

著录项

来源
《Conference on Computability in Europe(CiE 2005); 20050608-12; Amsterdam(NL)》|2005年|P.310-321|共12页
会议地点 Amsterdam(NL)
作者
Yuri Matiyasevich;
展开▼
作者单位

Steklov Institute of Mathematics Laboratory of Mathematical Logic 27, Fontanka St.Petersburg, Russia 191023;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Towards Hilbert's tenth problem for rings of integers through Iwasawa theory and Heegner points [J] . Garcia-Fritz Natalia, Pasten Hector Mathematische Annalen . 2020,第3a4期

机译：通过iwasawa理论和heegner点对整数的戒指的第十个问题
2. Hilbert's Tenth Problem in Coq [J] . Dominique Larchey-Wendling, Yannick Forster LIPIcs : Leibniz International Proceedings in Informatics . 2019,第1期

机译：希尔伯特在Coq中的第十个问题
3. The Hilbert's-Tenth-Problem Operator [J] . Kramer Kenneth, Miller Russell Israel Journal of Mathematics . 2019,第Pta2期

机译：希尔伯特 - 第十个问题运营商
4. Hilbert's Tenth Problem and Paradigms of Computation [C] . Yuri Matiyasevich Conference on Computability in Europe . 2005

机译：希尔伯特的第十个问题和计算范式
5. Hilbert's tenth problem and arithmetic geometry. [D] . Eisentraeger, Anne Kirsten. 2003

机译：希尔伯特的第十个问题和算术几何。
6. Hilbert-Huang versus Morlet wavelet transformation on mismatch negativity of children in uninterrupted sound paradigm [O] . Fengyu Cong, Tuomo Sipola, Tiina Huttunen-Scott, 2009

机译：Hilbert-Huang与Morlet小波变换对不间断声音范式中儿童失配负性的影响
7. Ranks of twists of elliptic curves and Hilberts tenth problem [O] . B. Mazur, K. Rubin 2016

机译：椭圆曲线和Hilberts第十个问题的曲折等级

Hilbert's Tenth Problem and Paradigms of Computation

摘要

著录项

相似文献

相关主题

期刊订阅