尤里·马季亚谢维奇




尤里·马季亚谢维奇


尤里·弗拉基米罗维奇·马季亚谢维奇(俄语：Юрий Владимирович Матиясевич，1947年3月2日－），俄罗斯数学家，生於列宁格勒。1964年他在莫斯科举办的第6届国际数学奥林匹克赢了第一。1969年他在列宁格勒国立大学数学和力学系毕业。


他的最有名成果是在博士论文中对希尔伯特第十问题给了否定答案，于斯捷克洛夫数学研究所列宁格勒分所发表。


1997年他获选为俄罗斯科学院院士。他现在俄罗斯科学院斯捷克洛夫数学研究所圣彼得堡分所（即以前的斯捷克洛夫数学研究所列宁格勒分所）领导数理逻辑实验室。



外部链接





维基共享资源中相关的多媒体资源：尤里·马季亚谢维奇

  • Yuri Matiyasevich's home page.


  • Yuri Matiyasevich at DBLP.


  • Hilbert's Tenth Problem: a History of Mathematical Discovery.


  • 尤里·马季亚谢维奇 在国际奥林匹克数学竞赛中的成绩


  • Matiyasevich theorem on Scholarpedia.


  • Vita and collaboration with France （法文）.


  • O'Connor, John J.; Robertson, Edmund F., Matiyasevich, MacTutor History of Mathematics archive （英语） 

  • Supercomputing for a Superproblem: A Computational Journey Into Pure Mathematics



规范控制

  • WorldCat Identities

  • BIBSYS: 90775890

  • BNF: cb13482897t (data)

  • DBLP: 59/1284

  • GND: 141156538

  • ISNI: 0000 0001 1609 2497

  • LCCN: n93057388

  • MGP: 41873

  • ORCID: 0000-0001-7046-3746

  • ResearcherID: K-7768-2012

  • SUDOC: 034478809

  • VIAF: 24753185


-

Popular posts from this blog

【情報】本週珍珠商品重點：煉金時裝 + 艾港勞工宿舍！！

Image
(function(w,d,s,l,i))(window,document,'script','dataLayer','GTM-KDKMGT'); (function(d, s, id) var js, fjs = d.getElementsByTagName(s)[0]; if (d.getElementById(id)) return; js = d.createElement(s); js.id = id; js.src = "//connect.facebook.net/zh_TW/all.js#xfbml=1&appId=668497826514848"; fjs.parentNode.insertBefore(js, fjs); (document, 'script', 'facebook-jssdk')); var hotKeywords = ["u4e16u754cu738b","u4ebau53c3","u4ebau8518","u99ac","u65b0u624b","u8cbfu6613","u885du88dd","u8077u696d","u91e3u9b5a","u5de1u6797u8005","u6c34u6676","u5de1u6797","u758au5c64","u5361u666e","u6d77u602a"]; var useOldSearch = 0; var googlecseLoad = function() var cx = '001994533065495648396:c3salsx3fty'; var gcse = document.createElement('script'); gcse.type = 'text/javascript'; gcse.asyn
Read more

京昆高速公路

Image
坐标： 35°01′30″N 109°57′59″E  /  35.0249599°N 109.9665°E  / 35.0249599; 109.9665 国家高速G5 北京－昆明高速公路 路線簡稱 京昆高速 起點 北京 終點 云南昆明 建设规划 規劃總里程 2716公里 参见 中华人民共和国高速公路 中国国家高速公路网 北京－昆明高速公路 ，简称 京昆高速 （中国国家高速公路网编号 G5 ），北起北京，南抵云南昆明，途经北京、河北、山西、陕西、四川、云南6省市区，贯穿南北东西，全长约2716公里。 [1] 途经主要地区有北京－保定－石家庄－阳泉－太原－晋中－临汾－运城－渭南－西安－汉中－广元－绵阳－德阳－成都－雅安－凉山州－攀枝花－楚雄州－昆明。 目录 1 路段 2 各省过境节点与过境里程 3 沿线出入口及服务区 4 来源 5 参见 路段 中华人民共和国交通运输部已启动全国高速公路统一命名和编号工作，纳入国道主干线的高速公路将逐步使用新名称替换旧名称，下面列出其具体走向的旧名，以资参考。 北京段：全通。 河北段：京界—石家庄曲阳桥段已通，曲阳桥—山西段石太二通道已通。 山西段：全通。 陕西段：全通。 四川段：全通。 云南段：全通。 各省过境节点与过境里程 京昆高速公路过境里程 （公里） [2] 省级行政区 过境里程数 起点 起点里程数 终点（省界点） 终点里程数 北京 60 北京 0 京冀界 60 河北 274.766 冀京界 60 井陉（冀晋界） 334.766 山西 503.458 旧关（晋冀界） 335 禹门口（晋陕界） 838.458 陕西 624.451 禹门口（陕晋界） 839 棋盘关（陕川界） 1463.451 四川 1038.205 棋盘关（川陕界） 1464 永仁方山（川滇界） 2502.205 云南 213 四川田房（滇川界） 2503 昆明 2716 途径省份 里程 起点地名 终点地名 北京 40.000 北京 京冀界 河北 30.000 冀京界 涞水 135.566 涞水 保定石家庄交界 61.200 保定石家庄交界 鹿泉 48.000 鹿泉 井陉(冀晋界) 山西 141.460 旧关(晋冀界) 武宿(东山枢纽) 16.000 武宿(东山枢纽) 罗城(枢纽) 33.165 罗城(枢纽) 夏家营(义望枢纽) 23
Read more

【攻略】陳戈-謝勒汗智慧的古書 (完成)

Image
(function(w,d,s,l,i);w[l].push('gtm.start': new Date().getTime(),event:'gtm.js');var f=d.getElementsByTagName(s)[0], j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src= '//www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f); )(window,document,'script','dataLayer','GTM-KDKMGT'); (function(d, s, id) var js, fjs = d.getElementsByTagName(s)[0]; if (d.getElementById(id)) return; js = d.createElement(s); js.id = id; js.src = "//connect.facebook.net/zh_TW/all.js#xfbml=1&appId=668497826514848"; fjs.parentNode.insertBefore(js, fjs); (document, 'script', 'facebook-jssdk')); var hotKeywords = ["u4e16u754cu738b","u4ebau53c3","u99ac","u4ebau8518","u65b0u624b","u885du88dd","u8cbfu6613","u5de1u6797u8005","u8077u696d","u5de1u6797","u91e3u9b5a","
Read more