25:
319:
in Nice. The problem involved eliminating transfinite induction in the proof of Rabin's theorem on the solvability of the monadic theory of infinite trees. Later on, Muchnik applied his approach to prove a generalization of Rabin's theorem, which had been announced by Shelah and Stupp. Using the
531:
46:
39:
354:, 2006) for his work in the field of mathematics and for the series of works "On the Refinement of A.N. Kolmogorov, Related to the Theory of Chance.”
277:, a Soviet mathematician. Muchnik's father, Albert Muchnik, solved Post's problem regarding the existence of a non-trivial enumerable degree of
492:
431:
377:
Mathematical
Foundations of Computer Science, Praha, Czechoslovakia, September 3–7, 1984. Proceedings. Lecture Notes in Computer Science
327:
Subsequently, he worked at the
Institute of New Technologies and the Scientific Council of the USSR Academy of Sciences in the field of
307:
Starting in his third year, he specialized in definability theory at the
Department of Mathematical Logic, under the supervision of
316:
297:
324:, he introduced in the notion of self-definability to derive a proof of the Cobham-Semenov theorem. He earned his Ph.D. in 2001.
526:
213:
396:
89:
61:
68:
108:
493:"С. И. Адян, А. Л. Семёнов, В. А. Успенский, «Андрей Альбертович Мучник (некролог)», УМН, 62:4(376) (2007), 140–144"
432:"Андрей Альбертович Мучник (некролог), УМН, 62:4(376) (2007), 140–144; Russian Math. Surveys, 62:4 (2007), 775–779"
516:
351:
227:
75:
521:
339:
308:
485:
57:
480:
413:
332:
285:
175:
35:
301:
273:
and
Nadezhda Mitrofanovna Ermolaeva. Both of his parents were mathematicians and students of
82:
541:
536:
476:
8:
455:
372:
254:
203:
392:
269:
Andrey
Muchnik was born on February 24, 1958, in the Soviet Union. His parents were
384:
293:
258:
222:
185:
289:
270:
510:
321:
312:
274:
250:
243:
311:. In 1981, he completed his diploma on the solution to a problem posed by
342:. Many of his results and collaborations were published after his death.
328:
298:
Faculty of
Mechanics and Mathematics of Lomonosov Moscow State University
278:
388:
331:. He eventually became one of the leaders of the Kolmogorov seminar at
24:
350:
Andrey
Muchnik was awarded the A.N. Kolmogorov Prize (along with
247:
288:. Muchnik began working as a mathematician at the seminar of
214:
Scientific
Council of the Academy of Sciences of the USSR
300:. In his second year, he published his first work on
338:Muchnik also contributed results to the field of
508:
429:
430:Адян, С. И.; Семёнов, А. Л.; Успенский, В. А.
284:Andrey Muchnik began his academic journey at
242:(February 24, 1958 - March 18, 2007) was a
532:Academic staff of Moscow State University
383:. Berlin, Heidelberg: Springer: 162–175.
109:Learn how and when to remove this message
317:International Congress of Mathematicians
370:
509:
45:Please improve this article by adding
411:
379:. Lecture Notes in Computer Science.
18:
486:Persons: Muchnik Andrey Albertovich
13:
488:. mathnet.ru. Retrieved 2016-3-15.
373:"Decidability of Monadic Theories"
304:under the guidance of Ilyashenko.
14:
553:
470:
23:
479:on the official website of the
296:for third year students of the
527:Moscow State University alumni
448:
423:
405:
364:
340:algorithmic information theory
1:
357:
217:Institute of New Technologies
47:secondary or tertiary sources
264:
7:
481:Russian Academy of Sciences
477:Muchnik, Andrei Albertovich
456:"Nominal awards and medals"
10:
558:
240:Andrey Albertovich Muchnik
345:
271:Albert Abramovich Muchnik
233:
221:
209:
199:
192:
181:
171:
161:
145:
130:
123:
371:Semenov, A. L. (1984).
333:Moscow State University
286:Moscow State University
176:Moscow State University
517:Russian mathematicians
414:"Sept 2008 Newsletter"
302:differential equations
259:A. N. Kolmogorov Prize
34:relies excessively on
522:Soviet mathematicians
257:. He was awarded the
16:Russian mathematician
412:Steinhorn, Charles.
389:10.1007/BFb0030296
255:mathematical logic
204:Mathematical logic
398:978-3-540-38929-3
320:original idea of
237:
236:
194:Scientific career
141:February 24, 1958
119:
118:
111:
93:
549:
503:
501:
500:
464:
463:
452:
446:
445:
443:
442:
427:
421:
420:
418:
409:
403:
402:
368:
294:Yulij Ilyashenko
223:Doctoral advisor
186:Kolmogorov Prize
156:
154:
140:
138:
121:
120:
114:
107:
103:
100:
94:
92:
58:"Andrey Muchnik"
51:
27:
19:
557:
556:
552:
551:
550:
548:
547:
546:
507:
506:
498:
496:
491:
473:
468:
467:
454:
453:
449:
440:
438:
428:
424:
416:
410:
406:
399:
369:
365:
360:
348:
267:
228:Alexei Semyonov
216:
172:Alma mater
166:
152:
150:
136:
134:
126:
115:
104:
98:
95:
52:
50:
44:
40:primary sources
28:
17:
12:
11:
5:
555:
545:
544:
539:
534:
529:
524:
519:
505:
504:
489:
483:
472:
471:External links
469:
466:
465:
447:
436:www.mathnet.ru
422:
404:
397:
362:
361:
359:
356:
352:Alexei Semenov
347:
344:
309:Alexei Semenov
290:Evgenii Landis
281:reducibility.
266:
263:
253:who practiced
235:
234:
231:
230:
225:
219:
218:
211:
207:
206:
201:
197:
196:
190:
189:
183:
179:
178:
173:
169:
168:
163:
159:
158:
157:(aged 49)
149:March 18, 2007
147:
143:
142:
132:
128:
127:
125:Andrey Muchnik
124:
117:
116:
31:
29:
22:
15:
9:
6:
4:
3:
2:
554:
543:
540:
538:
535:
533:
530:
528:
525:
523:
520:
518:
515:
514:
512:
494:
490:
487:
484:
482:
478:
475:
474:
461:
457:
451:
437:
433:
426:
415:
408:
400:
394:
390:
386:
382:
378:
374:
367:
363:
355:
353:
343:
341:
336:
334:
330:
325:
323:
322:Alfred Tarski
318:
314:
313:Michael Rabin
310:
305:
303:
299:
295:
291:
287:
282:
280:
276:
275:P. S. Novikov
272:
262:
260:
256:
252:
251:mathematician
249:
245:
241:
232:
229:
226:
224:
220:
215:
212:
208:
205:
202:
198:
195:
191:
187:
184:
180:
177:
174:
170:
164:
160:
148:
144:
133:
129:
122:
113:
110:
102:
91:
88:
84:
81:
77:
74:
70:
67:
63:
60: –
59:
55:
54:Find sources:
48:
42:
41:
37:
32:This article
30:
26:
21:
20:
497:. Retrieved
495:. mathnet.ru
459:
450:
439:. Retrieved
435:
425:
407:
380:
376:
366:
349:
337:
326:
306:
283:
268:
239:
238:
210:Institutions
193:
105:
99:January 2023
96:
86:
79:
72:
65:
53:
33:
542:2007 deaths
537:1958 births
329:cybernetics
162:Citizenship
511:Categories
499:2016-03-15
460:www.ras.ru
441:2023-01-02
358:References
153:2007-03-19
137:1958-02-24
69:newspapers
36:references
265:Biography
261:in 2006.
315:at the
248:Russian
151: (
83:scholar
395:
346:Awards
279:Turing
244:Soviet
200:Fields
188:(2006)
182:Awards
167:Russia
85:
78:
71:
64:
56:
417:(PDF)
90:JSTOR
76:books
393:ISBN
292:and
246:and
165:USSR
146:Died
131:Born
62:news
385:doi
381:176
38:to
513::
458:.
434:.
391:.
375:.
335:.
49:.
502:.
462:.
444:.
419:.
401:.
387::
155:)
139:)
135:(
112:)
106:(
101:)
97:(
87:·
80:·
73:·
66:·
43:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.