38:
226:
Yuri
Matiyasevich was born in Leningrad on March 2, 1947. The first few classes he studied at school No. 255 with Sofia G. Generson, thanks to whom he became interested in mathematics. In 1961 he began to participate in all-Russian olympiads. From 1962 to 1963 he studied at Leningrad
271:
280:
295:
From 1974 Matiyasevich worked in scientific positions at LOMI, first as a senior researcher, in 1980 he headed the
Laboratory of Mathematical Logic. In 1995, Matiyasevich became a professor at POMI, initially at the chair of
1185:
1180:
1145:
1135:
576:
534:
508:
1150:
1053:
1130:
1125:
259:
917:
231:. Also from 7th to 9th grade he was involved in the mathematical circle of the Leningrad Palace of Pioneers. In 1963-1964 he completed 10th grade at the
264:
1094:
1155:
1170:
1063:
435:
396:
316:
243:
856:
607:
472:
210:
158:
414:
247:
115:
349:
1175:
407:
345:
921:
341:
595:
442:
144:
1190:
334:
312:
228:
421:
1160:
456:
275:
194:
101:
86:
1016:
357:
292:
In 1972, at the age of 25, he defended his doctoral dissertation on the unsolvability of
Hilbert's tenth problem.
1165:
773:
460:
198:
105:
945:
1099:
379:
689:
738:
428:
232:
1140:
716:
Elimination of bounded universal quantifiers standing in front of a quantifier-free arithmetical formula
550:
512:. He proved that all these inequalities are a consequence of a single functional inequality linking the
489:
488:'s question of 1927 regarding an infinite system of inequalities linking the Taylor coefficients of the
286:
1089:
1120:
297:
97:
37:
1085:
714:
670:
622:
1105:
1029:
755:
653:
546:
254:
190:
733:
723:
645:
603:
513:
272:
St. Petersburg
Department of Steklov Mathematical Institute of the Russian Academy of Sciences
236:
747:
675:
637:
561:
519:
493:
301:
174:
1068:
860:
693:
326:
Since 2003, Matiyasevich has been a co-director of an annual German–Russian student school
1059:
820:
464:
202:
485:
666:
383:
122:
705:
589:
1114:
657:
599:
481:
305:
186:
759:
859:[Chronology of the Department of Mathematics and Mechanics]. Archived from
542:
65:
1106:
Supercomputing for a
Superproblem: A Computational Journey Into Pure Mathematics
558:
He discovered a number of new interesting qualities of the zeros of the
Riemann
140:
20:
1074:
375:
250:
without exams. He took his high school diploma exams as a first-year student.
707:
Proof
Procedures as Bases for Metamathematical Proofs in Discrete Mathematics
649:
182:
61:
966:
641:
751:
671:"Reduction of an arbitrary Diophantine equation to one in 13 unknowns"
400:
553:, and gave a probabilistic interpretation of the four color theorem.
365:
361:
1047:
384:
The
Matiyasevich polynomial, four colour theorem and weight systems
327:
369:
353:
320:
468:
246:
and was enrolled in the
Mathematics and Mechanics Department of
206:
154:
734:"Some Probabilistic Restatements of the Four Color Conjecture"
725:
A Polynomial related to
Colourings of Triangulation of Sphere
315:. Since 1998, Yuri Matiyasevich has been a vice-president of
235:
physics and mathematics boarding school No. 18 named after
994:
992:
694:"Decision Problems for Semi-Thue Systems with a Few Rules"
803:
801:
1017:"To the anniversary of Yuri Vladimirovich Matiyasevich"
253:
Being a second-year student, he released two papers in
843:
792:
455:
At the age of 22, he came with a negative solution of
564:
522:
496:
311:
In 1997, he was elected as a corresponding member of
19:"Matiyasevich" redirects here. For other people, see
946:"Академику Матиясевичу Юрию Владимировичу - 70 лет!"
348:; and also of the editorial boards for the journals
270:
After graduation, he enrolled in graduate school at
1186:
Academic staff of Saint Petersburg State University
857:"Из хронологии математико-механического факультета"
150:
136:
111:
92:
82:
72:
44:
28:
948:(in Russian). Российская Академия наук. 2017-03-02
920:[List of RAS full members]. Archived from
570:
528:
502:
623:"Real-time recognition of the inclusion relation"
1181:International Mathematical Olympiad participants
545:, he found an unexpected connection between the
193:. He is best known for his negative solution of
1146:Full Members of the Russian Academy of Sciences
382:of a sphere was named after Matiyasevich; see
8:
333:In 2008, he was elected as a full member of
16:Russian mathematician and computer scientist
285:, he defended his thesis for the degree of
260:Proceedings of the USSR Academy of Sciences
406:1970: "Young mathematician prize" of the
36:
25:
1028:Varpahovsky, F.; Varpahovsky, A. (1970).
998:
983:
904:
892:
880:
807:
563:
521:
495:
1136:Saint Petersburg State University alumni
728:, Personal Journal of Yuri Matiyasevich.
719:, Personal Journal of Yuri Matiyasevich.
710:, Personal Journal of Yury Matiyasevich.
321:St.Petersburg City Mathematical Olympiad
265:International Congress of Mathematicians
229:physical and mathematical school No. 239
1095:MacTutor History of Mathematics Archive
785:
274:(POMI). In 1970, under the guidance of
940:
938:
821:"International Mathematical Olympiad"
350:Discrete Mathematics and Applications
7:
1151:Mathematicians from Saint Petersburg
1030:"On solving Hilbert's tenth problem"
319:. Since 2002, he has been a head of
1131:21st-century Russian mathematicians
1126:20th-century Russian mathematicians
1064:International Mathematical Olympiad
397:International Mathematical Olympiad
317:St. Petersburg Mathematical Society
244:International Mathematical Olympiad
1075:Vita and collaboration with France
844:Varpahovsky & Varpahovsky 1970
793:Varpahovsky & Varpahovsky 1970
263:. He presented these works at the
14:
471:(the Leningrad Department of the
354:Computer Instruments in Education
242:In 1964, he won a gold medal the
209:(the Leningrad Department of the
473:Steklov Institute of Mathematics
436:Université Pierre et Marie Curie
211:Steklov Institute of Mathematics
159:Steklov Institute of Mathematics
415:Academy of Sciences of the USSR
248:St. Petersburg State University
179:Ю́рий Влади́мирович Матиясе́вич
171:Yuri Vladimirovich Matiyasevich
116:Petersburg Mathematical Society
536:-function and its derivatives.
463:), which was presented in his
408:Leningrad Mathematical Society
378:related to the colorings of a
346:Association for Symbolic Logic
201:), which was presented in his
1:
1048:Yuri Matiyasevich's home page
918:"Список избранных членов РАН"
630:Journal of Soviet Mathematics
342:American Mathematical Society
443:Bavarian Academy of Sciences
356:. As a teacher, he mentored
289:in Physics and Mathematics.
145:Theoretical computer science
1156:Russian computer scientists
1060:Yuri Matiyasevich's results
1021:Computer Tools in Education
335:Russian Academy of Sciences
313:Russian Academy of Sciences
257:that were published in the
1207:
1171:Soviet computer scientists
732:Yuri Matiyasevich (2004).
621:Yuri Matiyasevich (1973).
87:Leningrad State University
18:
1054:Yuri Matiyasevich at DBLP
1015:Beltyukov, A. P. (2017).
222:Early years and education
178:
164:
129:
35:
1100:University of St Andrews
967:"SPb. Math. Soc. Prizes"
395:1964: Gold medal at the
300:, later at the chair of
739:Journal of Graph Theory
602:, The MIT Press, 1993.
457:Hilbert's tenth problem
434:2003: Honorary Degree,
429:Humboldt Research Award
420:1996: Honorary Degree,
340:He was a member of the
233:Moscow State University
195:Hilbert's tenth problem
181:; born 2 March 1947 in
102:Hilbert's tenth problem
774:Matiyasevich's theorem
591:Hilbert's 10th Problem
572:
571:{\displaystyle \zeta }
530:
529:{\displaystyle \zeta }
504:
503:{\displaystyle \zeta }
461:Matiyasevich's theorem
413:1980: Markov Prize of
199:Matiyasevich's theorem
106:Matiyasevich's theorem
100:, especially solving
1176:Soviet mathematicians
573:
551:binomial coefficients
531:
505:
422:Université d'Auvergne
287:Candidate of Sciences
155:Petersburg Department
1086:Robertson, Edmund F.
1069:Matiyasevich theorem
825:www.imo-official.org
562:
549:and divisibility of
520:
494:
441:2007: Member of the
298:software engineering
120:Markov Prize (1980),
98:computability theory
96:his contribution to
1090:"Yuri Matiyasevich"
1084:O'Connor, John J.;
722:Yuri Matiyasevich,
713:Yuri Matiyasevich,
704:Yuri Matiyasevich,
688:Yuri Matiyasevich,
665:Yuri Matiyasevich,
1191:Russian scientists
971:www.mathsoc.spb.ru
690:Géraud Sénizergues
642:10.1007/bf01117471
588:Yuri Matiyasevich
568:
547:four color theorem
526:
500:
427:1998: He received
255:mathematical logic
191:computer scientist
1161:Russian logicians
752:10.1002/jgt.10178
514:Fourier transform
390:Awards and honors
168:
167:
131:Scientific career
30:Yuri Matiyasevich
1198:
1166:Soviet logicians
1102:
1079:
1071:on Scholarpedia.
1037:
1034:Kvant (Magazine)
1024:
1002:
996:
987:
981:
975:
974:
963:
957:
956:
954:
953:
942:
933:
932:
930:
929:
914:
908:
902:
896:
890:
884:
878:
872:
871:
869:
868:
853:
847:
841:
835:
834:
832:
831:
817:
811:
805:
796:
790:
763:
701:
684:
676:Acta Arithmetica
661:
627:
577:
575:
574:
569:
535:
533:
532:
527:
509:
507:
506:
501:
284:
237:A. N. Kolmogorov
180:
58:
54:
52:
40:
26:
1206:
1205:
1201:
1200:
1199:
1197:
1196:
1195:
1111:
1110:
1083:
1077:
1044:
1027:
1014:
1011:
1006:
1005:
997:
990:
982:
978:
965:
964:
960:
951:
949:
944:
943:
936:
927:
925:
916:
915:
911:
903:
899:
891:
887:
879:
875:
866:
864:
855:
854:
850:
842:
838:
829:
827:
819:
818:
814:
806:
799:
791:
787:
782:
770:
731:
687:
664:
625:
620:
617:
585:
560:
559:
518:
517:
492:
491:
465:doctoral thesis
452:
392:
362:Maxim Vsemirnov
278:
224:
219:
203:doctoral thesis
185:) is a Russian
121:
119:
83:Alma mater
77:
68:
59:
56:
50:
48:
31:
24:
17:
12:
11:
5:
1204:
1202:
1194:
1193:
1188:
1183:
1178:
1173:
1168:
1163:
1158:
1153:
1148:
1143:
1138:
1133:
1128:
1123:
1113:
1112:
1109:
1108:
1103:
1081:
1072:
1066:
1057:
1051:
1043:
1042:External links
1040:
1039:
1038:
1025:
1010:
1007:
1004:
1003:
999:Beltyukov 2017
988:
984:Beltyukov 2017
976:
958:
934:
909:
905:Beltyukov 2017
897:
893:Beltyukov 2017
885:
881:Beltyukov 2017
873:
848:
836:
812:
808:Beltyukov 2017
797:
784:
783:
781:
778:
777:
776:
769:
766:
765:
764:
746:(3): 167–179.
729:
720:
711:
702:
685:
667:Julia Robinson
662:
616:
613:
612:
611:
594:, Foreword by
584:
581:
580:
579:
567:
555:
554:
538:
537:
525:
499:
484:, he answered
477:
476:
451:
450:Selected works
448:
447:
446:
439:
432:
425:
418:
411:
404:
391:
388:
223:
220:
218:
215:
166:
165:
162:
161:
152:
148:
147:
138:
134:
133:
127:
126:
123:Humboldt Award
113:
109:
108:
94:
93:Known for
90:
89:
84:
80:
79:
74:
70:
69:
60:
46:
42:
41:
33:
32:
29:
15:
13:
10:
9:
6:
4:
3:
2:
1203:
1192:
1189:
1187:
1184:
1182:
1179:
1177:
1174:
1172:
1169:
1167:
1164:
1162:
1159:
1157:
1154:
1152:
1149:
1147:
1144:
1142:
1141:Living people
1139:
1137:
1134:
1132:
1129:
1127:
1124:
1122:
1119:
1118:
1116:
1107:
1104:
1101:
1097:
1096:
1091:
1087:
1082:
1076:
1073:
1070:
1067:
1065:
1061:
1058:
1055:
1052:
1049:
1046:
1045:
1041:
1035:
1031:
1026:
1022:
1018:
1013:
1012:
1008:
1001:, p. 10.
1000:
995:
993:
989:
985:
980:
977:
972:
968:
962:
959:
947:
941:
939:
935:
924:on 2022-06-10
923:
919:
913:
910:
906:
901:
898:
894:
889:
886:
882:
877:
874:
863:on 2020-08-04
862:
858:
852:
849:
846:, p. 38.
845:
840:
837:
826:
822:
816:
813:
809:
804:
802:
798:
794:
789:
786:
779:
775:
772:
771:
767:
761:
757:
753:
749:
745:
741:
740:
735:
730:
727:
726:
721:
718:
717:
712:
709:
708:
703:
699:
695:
691:
686:
682:
678:
677:
672:
668:
663:
659:
655:
651:
647:
643:
639:
635:
631:
624:
619:
618:
614:
609:
608:0-262-13295-8
605:
601:
600:Hilary Putnam
597:
593:
592:
587:
586:
582:
565:
557:
556:
552:
548:
544:
540:
539:
523:
515:
511:
497:
487:
483:
482:number theory
479:
478:
474:
470:
466:
462:
458:
454:
453:
449:
444:
440:
437:
433:
430:
426:
423:
419:
416:
412:
409:
405:
402:
398:
394:
393:
389:
387:
385:
381:
380:triangulation
377:
372:
371:
370:Dmitri Karpov
367:
366:Alexei Pastor
363:
359:
358:Eldar Musayev
355:
351:
347:
343:
338:
336:
331:
329:
324:
322:
318:
314:
309:
307:
306:number theory
303:
299:
293:
290:
288:
282:
277:
276:Sergei Maslov
273:
268:
266:
262:
261:
256:
251:
249:
245:
240:
238:
234:
230:
221:
216:
214:
212:
208:
204:
200:
196:
192:
188:
187:mathematician
184:
176:
172:
163:
160:
156:
153:
149:
146:
142:
139:
135:
132:
128:
124:
118:Prize (1970),
117:
114:
110:
107:
103:
99:
95:
91:
88:
85:
81:
75:
71:
67:
63:
57:(age 77)
47:
43:
39:
34:
27:
22:
1093:
1033:
1020:
986:, p. 8.
979:
970:
961:
950:. Retrieved
926:. Retrieved
922:the original
912:
907:, p. 9.
900:
895:, p. 7.
888:
883:, p. 5.
876:
865:. Retrieved
861:the original
851:
839:
828:. Retrieved
824:
815:
810:, p. 6.
795:, p. 6.
788:
743:
737:
724:
715:
706:
697:
680:
674:
636:(1): 64–70.
633:
629:
596:Martin Davis
590:
543:graph theory
486:George Pólya
373:
339:
332:
325:
310:
294:
291:
269:
258:
252:
241:
225:
170:
169:
151:Institutions
130:
66:Soviet Union
55:2 March 1947
1121:1947 births
1078:(in French)
1036:(7): 38–44.
279: [
141:Mathematics
73:Nationality
21:Matijasevic
1115:Categories
1023:(6): 5–11.
952:2023-03-16
928:2013-08-17
867:2019-01-12
830:2023-05-20
780:References
683:: 521–549.
578:-function.
376:polynomial
104:, through
51:1947-03-02
658:121919479
650:0090-4104
566:ζ
524:ζ
510:-function
498:ζ
267:in 1966.
217:Biography
183:Leningrad
62:Leningrad
768:See also
760:30591818
692:(1996).
669:(1975).
490:Riemann
399:held in
344:and the
1009:Sources
438:(UPMC).
302:algebra
175:Russian
78:Russian
758:
656:
648:
615:Papers
606:
401:Moscow
137:Fields
125:(1998)
112:Awards
76:Soviet
756:S2CID
681:XXVII
654:S2CID
626:(PDF)
516:of a
283:]
698:LICS
646:ISSN
604:ISBN
598:and
583:Book
469:LOMI
352:and
328:JASS
304:and
207:LOMI
189:and
143:and
45:Born
1062:at
748:doi
638:doi
541:In
480:In
467:at
213:).
205:at
173:, (
157:of
1117::
1098:,
1092:,
1088:,
1032:.
1019:.
991:^
969:.
937:^
823:.
800:^
754:.
744:46
742:.
736:.
696:.
679:.
673:.
652:.
644:.
632:.
628:.
475:).
386:.
374:A
368:,
364:,
360:,
337:.
330:.
323:.
308:.
281:ru
239:.
177::
64:,
53:)
1080:.
1056:.
1050:.
973:.
955:.
931:.
870:.
833:.
762:.
750::
700:.
660:.
640::
634:1
610:.
459:(
445:.
431:.
424:.
417:.
410:.
403:.
197:(
49:(
23:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.