ユーリ・マチャセビッチ

ユーリ・マチャセビッチ
生誕 (1947-03-02) 1947年3月2日（77歳）
ソビエト連邦の旗 ソビエト連邦
ロシア・ソビエト連邦社会主義共和国の国旗 ロシア・ソビエト連邦社会主義共和国、レニングラード
居住 ソビエト連邦の旗 ソビエト連邦、ロシアの旗 ロシア
国籍 ロシアの旗 ロシア
研究分野 数学と理論計算機科学
研究機関 ステクロフ数学研究所のペテルブルク部門
出身校 レニングラード大学
主な業績 計算可能性理論。特にヒルベルトの第10問題を解決した。
主な受賞歴

Markov Prize （1980年）、

フンボルト賞 （1998年）
プロジェクト:人物伝
テンプレートを表示

ユーリ・マチャセビッチ（露: Юрий Владимирович Матиясевич, 英: Yuri Matiyasevich, 1947年3月2日 - ）は、ロシアの数学者、計算機科学者。サンクトペテルブルク生まれ（当時はレニングラード）。ヒルベルトの23の問題の中の第10問題（英語版）を否定的に解いたことで知られている。

経歴

受賞歴

主な業績

著書

論文

  • Yuri Matiyasevich, Real-time recognition of the inclusion relation （オンライン版）, Journal of Sovjet Mathematics, vol. 1, No.1, pp. 64-70, (1973), ISSN 0090-4104.
  • Yuri Matiyasevich and Julia Robinson, Reduction of an arbitrary Diophantine equation to one in 13 unknowns （オンライン版）, Acta Arithmetica, XXVII (1975), 521-549.
  • Yuri Matiyasevich and Géraud Senizergues, Decision Problems for Semi-Thue Systems with a Few Rules （オンライン版）, LICS'96.
  • Yuri Matiyasevich, Proof Procedures as Bases for Metamathematical Proofs in Discrete Mathematics （オンライン版）, Personal Journal of Yury Matiyasevich.
  • Yuri Matiyasevich, Elimination of bounded universal quantifiers standing in front of a quantifier-free arithmetical formula, （オンライン版）, Personal Journal of Yuri Matiyasevich.
  • Yuri Matiyasevich, A Polynomial related to Colourings of Triangulation of Sphere, （オンライン版）, Personal Journal of Yuri Matiyasevich.
  • Yuri Matiyasevich, Some Probabilistic Restatements of the Four Color Conjecture （オンライン版）, Journal of Graph Theory, 2003.

参考文献

  • 中村滋『フィボナッチ数の小宇宙　フィボナッチ数，リュカ数，黄金分割』（改訂版）日本評論社、2008年1月。ISBN 978-4-535-78492-5。  - ヒルベルトの第10問題の解決に関連したフィボナッチ数の解説がある。

外部リンク

ウィキメディア・コモンズには、ユーリ・マチャセビッチに関連するカテゴリがあります。

Read other articles:

Robbie Keane

Robbie Keane Informasi pribadiNama lengkap Robert David KeaneTanggal lahir 8 Juli 1980 (umur 43)Tempat lahir Dublin, IrlandiaTinggi 1,75 m (5 ft 9 in)[1]Posisi bermain PenyerangInformasi klubKlub saat ini Aston Villa(dipinjam dari Los Angeles Galaxy)Nomor 20Karier junior Crumlin United1995–1997 Wolverhampton WanderersKarier senior*Tahun Tim Tampil (Gol)1997–1999 Wolverhampton Wanderers 73 (24)1999–2000 Coventry City 31 (12)2000–2001 Internazionale 6 (0)200...

 

Anang Rosadi

Anang Rosadi Anggota DPRD Kalimantan SelatanMasa jabatan2004–2009 Informasi pribadiLahir19 September 1962 (umur 61) BanjarmasinPartai politikPartai Kebangkitan BangsaAnakRevlita Rosadi, S.KG & Anang Ferdinan rosadi S.H & Rassia Nurani Rosadi S.HOrang tuaAnang Adenansi (ayah)Sunting kotak info • L • B Anang Rosadi (lahir 19 September 1962) adalah anggota DPRD Provinsi Kalimantan Selatan dari fraksi Partai Kebangkitan Bangsa pada masa bakti 2004-2009.[1] Ref...

 

Othello (film 1951)

OthelloPoster bioskop Belgia (1952)SutradaraOrson WellesProduserOrson WellesSkenarioOrson WellesBerdasarkanOthellooleh William ShakespearePemeran Orson Welles Micheál MacLiammóir Suzanne Cloutier Robert Coote Penata musik Angelo Francesco Lavagnino Alberto Barberis Sinematografer Anchise Brizzi G.R. Aldo George Fanto Penyunting Jenö Csepreghy Jean Sacha Renzo Lucidi William Morton DistributorMarceau Films/United ArtistsTanggal rilis 29 November 1951 (1951-11-29) Durasi91 menitNe...

Babajimi Adegoke Benson

Nigerian Politician HonourableBabajimi Adegoke BensonMember of the House of Representatives of Nigeria for Ikorodu constituencyIncumbentAssumed office June 2023 Personal detailsBorn (1972-03-30) March 30, 1972 (age 51)Ikorodu, Lagos StateNationalityNigerianPolitical partyAll Progressives Congress (Nigeria) (APC)OccupationPoliticianWebsitehttps://jimibenson.com/ Babajimi Adegoke Benson[1] is a Nigerian politician and member of the House of Representatives of Nigeria representi...

 

India at the 2010 Asian Beach Games

Sporting event delegationIndia at the2010 Asian Beach GamesIOC codeINDNOCIndian Olympic Associationin MuscatCompetitors102 in 10 sportsMedalsRanked 6th Gold 3 Silver 0 Bronze 1 Total 4 Asian Beach Games appearances20082010201220142016 India participated in the 2010 Asian Beach Games in Muscat, Oman from 8 to 16 December 2010. Medalists Medal[1] Name Sport Event Date  Gold Hc. Jaswinder Singh Tent pegging Individual Sword 10 December  Gold India Beach kabaddi Women 16 Decemb...

 

Британский израилизм

«Израиль в Британии», книга 1890 года, пропагандирующая британский израилизм. Согласно книге, Десять потерянных колен Израиля нашли путь в Западную Европу и Британию, став предками британцев, англичан и родственных им народов Британский израилизм, англо-израилизм (англ....

US Ben Guerdane

Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini.Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala.Tag ini diberikan pada Februari 2023. US Ben GuerdaneBerkas:US Ben Guerdane logo.pngNama lengkapUnion sportive de Ben GuerdaneBerdiriMarch 1, 1936StadionStade du 7 MarsBen Gardane, Tunisia(Kapasitas: 10,000)Ketua Jlidi El OrfManajer Hakim AounLigaCLP-12022/23ke-5 Kostum kandang Kostum tan...

 

Post-presidency of Gerald Ford

This article is part of a series aboutGerald Ford Early life Electoral history Pre-vice presidency Military service U.S. Representative for Michigan's 5th Warren Commission 40th Vice President of the United States Confirmation Tenure Resignation of Richard Nixon 38th President of the United States Presidency Timeline Inauguration Policies Environmental Foreign International trips Pardons Appointments Cabinet Judiciary Tenure Pardon of Richard Nixon Federal-Aid Highway Amendments of 1974 Educ...

 

Kharagpur

This article is about the city in West Bengal, India. For other uses, see Kharagpur (disambiguation). City in West Bengal, IndiaKharagpurCityIIT KharagpurInside Vidyasagar Industrial Park at KharagpurVinod Gupta School of ManagementKeshiary Road Railway over bridgeTata Hitachi KharagpurKharagpur Junction railway station, fourth longest platform in the world, divisional headquarters of South-eastern zone of Indian railwaysKharagpurLocation in West BengalShow map of West BengalKharagpurLocation...

Elys Guzmán

Questa voce sull'argomento cestisti dominicani è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento. Elys Guzmán Nazionalità  Rep. Dominicana Altezza 204 cm Peso 105 kg Pallacanestro Ruolo Ala grande Squadra  Soles S. Domingo Carriera Squadre di club 2011-2012 Toros de Aragua2012 Leones S. Domingo2013 Pant. de Miranda2013Mavort Quito2014 Huracanes Tampico2014Mavort Quito2015Je...

 

Lindenstraße (soap opera)

Questa voce sull'argomento fiction televisive tedesche è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. LindenstraßeIl logo della fiction utilizzato dal 1985 al 2015Titolo originaleLindenstraße PaeseGermania Anno1985-2020 Formatoserial TV Generesoap opera Stagioni1 Puntate1.758[1][2][3][4] Durata29 min. (ep.) Lingua originaleTedesco CreditiIdeatoreHans W. Geißendörfer RegiaHerwig FischerDominikus Probst George Moorse...

 

Новоусманский район

муниципальный районНовоусманский район Флаг Герб 51°38′ с. ш. 39°24′ в. д.HGЯO Страна  Россия Входит в Воронежскую область Включает 14 муниципальных образований Адм. центр село Новая Усмань Глава Маслов Дмитрий Николаевич История и география Дата образован�...

大字 (数字)

この項目には、一部のコンピュータや閲覧ソフトで表示できない文字が含まれています（詳細）。 数字の大字（だいじ）は、漢数字の一種。通常用いる単純な字形の漢数字（小字）の代わりに同じ音の別の漢字を用いるものである。 概要 壱万円日本銀行券（「壱」が大字） 弐千円日本銀行券（「弐」が大字） 漢数字には「一」「二」「三」と続く小字と、「壱」「�...

 

Unjuk rasa 1968

Unjuk rasa 1968Bagian dari Kontrabudaya pada 1960-an dan Perang DinginUnjuk rasa Helsinki Agustus 1968 menentang invasi CekoslowakiaTanggal1968Sebab Anti-semitisme Otoritarianisme Kapitalisme Kematian Che Guevara Imperialisme Rasisme Revisionisme Seksisme Tujuan Anti-kapitalisme Anti-imperialisme Anti-rasisme Hak sipil dan politik Environmentalisme Feminisme Liberalisasi HasilRevolusi-revolusi sosial Unjuk rasa 1968 terdiri dari memuncaknya konflik sosial di seluruh dunia, yang umumnya diciri...

 

SMK Negeri 2 Banyuwangi

SMK Negeri 1 GlagahInformasiDidirikan30 Juli 1980JenisNegeriAkreditasiANomor Pokok Sekolah Nasional20525627Kepala SekolahH. Paidi, STJurusan atau peminatanlihat disiniKurikulumKurikulum Tingkat Satuan PendidikanKurikulum 2013StatusSekolah Standar NasionalAlamatLokasiJalan Kuntulan 1 Banjarsari, Glagah, Banyuwangi, Jawa Timur, IndonesiaTel./Faks.(0333) 421222Situs webwww.smkn1glagah.sch.idMoto SMK Negeri 1 Glagah adalah Sekolah menengah kejuruan yang terletak di Kelurahan Banjarsari,...

Tour de Francia 2003

Tour de Francia 2003 Jan Ullrich en la etapa 12.ªDetallesCarrera90. Tour de FranciaEtapas21Fechas5 – 27 de julio de 2003Distancia total3426 kmPaíses Francia EspañaLugar de inicioParísLugar de llegadaParísEquipos22Ciclistas participantes198Ciclistas finalizados147Velocidad media40,938 km/hClasificación finalGanadorno otorgadoSegundo Jan Ullrich (Team Bianchi)Tercero Alekszandr Vinokurov (Telekom)Puntos Baden Cooke (Fdjeux.com)Montaña Richard Virenque (Quick Step-Davitamon)Jóvenes Den...

 

Lagash

Ancient Mesopotamian city state For the Argentine comic books character, see Nippur de Lagash. For the fictional planet in the Asimov story also known as Kalgash, see Lagash (Nightfall). Lagash{{{1}}}LagashShown within IraqAlternative nameAl-HibaLocationAl-Shatrah, Dhi Qar Governorate, IraqRegionMesopotamiaCoordinates31°24′41″N 46°24′26″E / 31.41139°N 46.40722°E / 31.41139; 46.40722TypeSettlementArea400 to 600 haHistoryFounded3rd millennium BCPeriodsEa...

 

Specimen (film)

SpecimenPoster filmSutradaraJohn BradshawProduserDamian Lee, Richard BabcockDitulis olehSheldon Inkol, Lauren McLaughlinCeritaJohn Bradshaw, Damian LeePemeranMark Paul GosselaarPenata musikElectronic Dream FactorySinematograferGerald R. GoozeePenyuntingPaul G. DayPerusahaanproduksiCombustion Film ProductionsDistributorCFP DistributionTanggal rilis 1996 (1996) Durasi85 menit[1]NegaraKanada[1]BahasaInggris Specimen adalah film televisi cerita seru fiksi ilmiah Kanada ...

هشام مهدوفي

هشام مهدوفي معلومات شخصية الميلاد 5 أغسطس 1983 (العمر 40 سنة)خريبكة الطول 1.80 م (5 قدم 11 بوصة) مركز اللعب وسط الجنسية المغرب  معلومات النادي النادي الحالي الدفاع الجديدي مسيرة الشباب سنوات فريق 1999–2001 أولمبيك خريبكة المسيرة الاحترافية1 سنوات فريق م. (هـ.) 2001–2010 أولمبيك ...

 

قائمة مرشحي المستعرات العظمى

هذه القائمة غير مكتملة. فضلاً ساهم في تطويرها بإضافة مزيد من المعلومات ولا تنسَ الاستشهاد بمصادر موثوق بها. هذه قائمة لمرشحي المستعرات العظمى، أو النجوم التي يُعتقد أنها ستصبح قريبًا مستعرات عظمى. قائمة مرشحي المستعرات العظمى التسمية الحقبة حقبة (فلك) الكوكبة البعد(سنة ضو�...