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