Matiyasevici, Yuri Vladimirovici

Yuri Vladimirovici Matiyasevich (n . 2 martie 1947 , Leningrad ) este un matematician sovietic și rus , cercetător la Departamentul din Sankt Petersburg al Institutului de Matematică. V. A. Steklov RAS , membru al comisiei de experți a RSOS în matematică, academician al Academiei Ruse de Științe , doctor în științe fizice și matematice . El a adus o contribuție semnificativă la teoria computabilității , completând soluția celei de-a zecea probleme a lui Hilbert .

Biografie

În 1962-1963 a studiat la Școala de Fizică și Matematică nr. 239 din Leningrad, în 1963-1964 - la Internatul de Fizică și Matematică nr. 18 din Moscova la Universitatea de Stat din Moscova (acum A. N. Kolmogorov SUNC ).

Din 1964 până în 1969 - student al Facultății de Matematică și Mecanică a Universității din Leningrad , în calitate de câștigător al Olimpiadei Internaționale , a fost înscris la universitate după penultima clasă, ocolind-o pe ultima. A promovat examenele de bacalaureat (la învățământul secundar) ca student în anul I, unde a intrat ca câștigător al unei olimpiade de matematică [1] .

În 1966, în al doilea an la universitate, a finalizat două lucrări despre logica matematică , publicate ulterior în „ Rapoartele Academiei de Științe a URSS ” și a făcut un raport despre acestea la Congresul Internațional de Matematică , desfășurat la Moscova.

După absolvirea universității, a intrat la școala postuniversitară a filialei Leningrad a Institutului Steklov , în 1970, sub îndrumarea lui Serghei Yuryevich Maslov , și-a susținut disertația pentru gradul de candidat la științe fizice și matematice. Ca student absolvent, a rezolvat a zecea problemă a lui Hilbert. De la finalizarea studiilor postuniversitare, el a lucrat în posturi științifice în filiala Leningrad a Institutului Steklov.

În 1972, la 25 de ani, și-a susținut teza de doctorat.

Din 1995 - profesor la Universitatea din Sankt Petersburg la Departamentul de Software de calculator, mai târziu - la Departamentul de Algebră.

În 1997 a fost ales membru corespondent al Academiei Ruse de Științe.

Din 1998 - Vicepreședinte al Societății de Matematică din Sankt Petersburg [2] .

Din 2002 - președinte al juriului olimpiadei de matematică a orașului Sankt Petersburg . Din 2003 - co-director al școlii anuale de elevi ruso-germane JASS [3] .

În 2008 a fost ales membru cu drepturi depline al Academiei Ruse de Științe [4] . În același an a fost ales președinte al Societății de Matematică din Sankt Petersburg .

Fiica - Daria Rusakova (născută în 1979), matematician, profesor, jucător de sport „Ce? Unde? Când?".

Rezultate principale

Ca student absolvent, la începutul anului 1970, la vârsta de 22 de ani, a făcut ultimul pas în demonstrarea insolubilității algoritmice a problemei existenței soluțiilor pentru o ecuație diofantină arbitrară , cunoscută și sub denumirea de a zecea problemă a lui Hilbert , completând astfel un program de cercetare, a cărui parte principală fusese până atunci realizată de Martin Davis , Hilary Putnam și Julia Robinson . Contribuția lui Matiyasevich la rezolvarea problemei constă în faptul că a prezentat 10 ecuații diofantine de gradul I și II, care stabilesc condiția , unde este notat cu --lea număr Fibonacci .

În teoria numerelor, a primit răspuns la o întrebare pusă în 1927 de György Poyi , referitoare la un sistem infinit de inegalități care leagă coeficienții Taylor - funcțiile Riemann: el a arătat că toate aceste inegalități sunt o consecință a unei inegalități funcționale care leagă transformata Fourier a lui. funcția - și derivatele sale.

În teoria grafurilor, el a propus mai multe criterii pentru colorarea grafurilor, a stabilit o legătură neașteptată între problema celor patru culori și divizibilitatea coeficienților binomi și a dat o interpretare probabilistică a teoremei celor patru culori.

Comunități

Membru al Societății Americane de Matematică și al Asociației de Logică Simbolică.

Membru în comitetele editoriale ale revistelor „Matematică discretă” și „Instrumente informatice în educație”.

Premii și premii

• În 1964, în cadrul unei echipe de școlari sovietici, a obținut o diplomă de gradul I la Olimpiada Internațională de Matematică , desfășurată la Moscova [5] .
• În 1970 a fost distins cu premiul „Tânăr matematician” al Societății de Matematică din Leningrad [6] .
• În 1980 a primit Premiul A. A. Markov al Academiei de Științe a URSS .
• În 1996 a primit un doctorat onorific de la Universitatea din Auvergne .
• În 1998 a câștigat Premiul Humboldt .
• În 2003 a primit un doctorat onorific de la Universitatea Paris VI .

Bibliografie

Autor al unei cărți despre a zecea problemă a lui Hilbert și a unui număr mare de articole în reviste științifice, inclusiv cu Julia Robinson , Richard Gee (mulțumită celui din urmă, numărul personal al lui Erdős  este 2).

Carte

• Yu. V. Matiyasevich , a zecea problemă a lui Hilbert - M., Nauka, 1993.

Articole

• Iu. V. Matiyasevici. Recunoașterea în timp real a relației de apariție  // Note ale seminariilor filialei Leningrad a Institutului de Matematică. Academia de Științe V. A. Steklov a URSS. - 1971. - T. 20 . - S. 104-114 .
• Yuri Matiyasevich și Julia Robinson, Reducerea unei ecuații diofantine arbitrare la una din 13 necunoscute , Acta Arithmetica, XXVII (1975), 521-549.
• Yuri Matiyasevich și Géraud Senizerguez, Decision Problems for Semi-Thue Systems with a Few Rules , LICS'96.
• Yuri Matiyasevich, Proceduri de demonstrare ca baze pentru dovezi metamatematice în matematică discretă , Jurnalul personal al lui Yury Matiyasevich.
• Yuri Matiyasevich, Eliminarea cuantificatorilor universali mărginiți în fața unei formule aritmetice fără cuantificatori , Jurnalul personal al lui Yuri Matiyasevich.
• Yuri Matiyasevich, Un echivalent probabilistic al conjecturei celor patru culori , Teoria probabilității și aplicațiile sale, 48 ​​(2003), 411-416.
• Articole de Yu. V. Matiyasevich în revista Kvant (1971-1978)

Note

1. ↑ Din cronologia Facultății de Matematică și Mecanică. . Preluat la 12 ianuarie 2019. Arhivat din original la 4 august 2020. (nedefinit)
2. ↑ Trecere la o nouă locație a paginii . Data accesului: 2 martie 2007. Arhivat din original la 5 februarie 2007. (nedefinit)
3. ↑ Joint Advanced Student School 2007 . Preluat la 2 martie 2007. Arhivat din original la 11 iunie 2007. (nedefinit)
4. ↑ Lista membrilor aleși ai RAS . Preluat la 17 august 2013. Arhivat din original la 17 august 2013. (nedefinit)
5. ↑ Rezultatele echipei naționale URSS la al 6-lea MMO . Preluat la 19 august 2018. Arhivat din original la 3 octombrie 2016. (nedefinit)
6. ↑ SPb. Matematică. Societate: Premiile . Consultat la 11 ianuarie 2010. Arhivat din original la 12 mai 2013. (nedefinit)

Link -uri

• Pagina de pornire a lui Yuri Matiyasevich .
• Profilul lui Yu. V. Matiyasevich pe site-ul oficial al Academiei Ruse de Științe
• Varpakhovsky F., Kolmogorov A. Despre rezolvarea celei de-a zecea probleme Hilbert  // Kvant . - 1970. - Nr 7 . - S. 38-44 .
• Istoria soluției celei de-a zecea probleme a lui Hilbert (link indisponibil) . Consultat la 5 martie 2007. Arhivat din original la 16 decembrie 2010. (nedefinit) 
• Teorema Matiyasevich pe Scholarpedia   (engleză) .
• Yuri Matiyasevich la DBLP  (engleză) .
• Biografie și colaborare cu Franța  (fr.) . Preluat la 17 august 2013. Arhivat din original la 17 august 2013.
• Academicianul Matiyasevich Yuri Vladimirovici are 70 de ani! Publicare pe site-ul oficial al Academiei Ruse de Științe.

Site-uri tematice	Genealogie matematică ORCID ID cercetător Scopus zbMATH Deschide Portal de matematică integral rusesc Arhiva pentru Istoria Matematicii MacTutor
Dicționare și enciclopedii	Rusă mare
În cataloagele bibliografice BIBSYS: 90775890 BNF : 13482897t GND : 141156538 ICCU : UFIV088040 ISNI : 0000 0001 1609 2497 J9U : 987007447885605171 LCCN : n93057388 NTA : 123555531 NUKAT : n97028488 SUDOC : 034478809 VIAF : 24753185 WorldCat VIAF : 24753185