20:
283:
95:
Muchnik also made significant contributions to
Medvedev's theory of mass problems, introducing a generalisation of Turing degrees, called "Muchnik degrees", in 1963. Muchnik also elaborated
19:
359:
320:
92:, opened study of the Turing degrees of the recursively enumerable sets which turned out to possess a very complicated and non-trivial structure.
168:
192:
265:
313:
364:
114:, who died in 2007, was also a mathematician working in foundations of mathematics. Albert Muchnik died in February 2019.
306:
50:
203:
179:
354:
349:
242:
220:
195:
155:
89:
169:
Recursively
Enumberable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets.
131:
74:
62:
344:
339:
66:
8:
294:
151:
38:
199:
175:
70:
258:
171:
69:
independently introduced the priority method which gave an affirmative answer to
290:
125:
On the unsolvability of the problem of reducibility in the theory of algorithms
111:
110:
Muchnik was married to the
Russian mathematician Nadezhda Ermolaeva. Their son
77:
31:
333:
54:
34:
103:
as "calculus of problems" and proved that the lattice of
Muchnik degrees is
104:
100:
233:
96:
282:
61:
Muchnik's most significant contribution was on the subject of
217:
On strong and weak reducibility of algorithmic problems
331:
289:This article about a Russian mathematician is a
134:(N.S.), vol. 108 (1956), pp. 194–197
57:. From there, he wrote his dissertation titled
314:
232:S. I. Adian, A. L. Semenov, V. A. Uspenskii,
37:who worked in the field of foundations and
360:Moscow State Pedagogical University alumni
321:
307:
245:, vol. 62 (2007), no. 4, pp. 140–144
59:Solution to the Post Reducibility Problem.
30:(2 January 1934 – 14 February 2019) was a
266:Keldysh Institute of Applied Mathematics
117:
18:
191:Nikolai Vereshchagin, Alexander Shen,
332:
277:
223:, vol. 4 (1963), pp. 1328–1341
13:
51:Moscow State Pedagogical Institute
14:
376:
259:Albert Mucknik's personal webpage
252:
53:in 1959 under the advisorship of
16:Russian mathematician (1934–2019)
281:
88:. This result, now known as the
226:
209:
185:
161:
145:
1:
243:Uspekhi Matematicheskikh Nauk
221:Siberian Mathematical Journal
196:American Mathematical Society
156:Mathematics Genealogy Project
138:
293:. You can help Knowledge by
44:
7:
365:Russian mathematician stubs
158:. Accessed January 26, 2010
73:regarding the existence of
49:He received his Ph.D. from
10:
381:
276:
235:Andrei Albertovich Muchnik
132:Doklady Akademii Nauk SSSR
152:Albert Abramovich Muchnik
90:Friedberg–Muchnik theorem
28:Albert Abramovich Muchnik
99:'s proposal of viewing
355:Russian mathematicians
350:Mathematical logicians
75:recursively enumerable
63:relative computability
24:
193:Computable functions.
118:Selected publications
22:
39:mathematical logic
25:
302:
301:
167:Robert I. Soare,
67:Richard Friedberg
372:
323:
316:
309:
285:
278:
264:
246:
241:
230:
224:
213:
207:
189:
183:
165:
159:
149:
130:
380:
379:
375:
374:
373:
371:
370:
369:
330:
329:
328:
327:
274:
271:
262:
255:
250:
249:
239:
231:
227:
215:A. A. Muchnik,
214:
210:
190:
186:
172:Springer-Verlag
166:
162:
150:
146:
141:
128:
123:A. A. Muchnik,
120:
47:
17:
12:
11:
5:
378:
368:
367:
362:
357:
352:
347:
342:
326:
325:
318:
311:
303:
300:
299:
286:
269:
268:
254:
253:External links
251:
248:
247:
225:
208:
184:
160:
143:
142:
140:
137:
136:
135:
119:
116:
112:Andrey Muchnik
78:Turing degrees
71:Post's problem
46:
43:
23:Albert Muchnik
15:
9:
6:
4:
3:
2:
377:
366:
363:
361:
358:
356:
353:
351:
348:
346:
343:
341:
338:
337:
335:
324:
319:
317:
312:
310:
305:
304:
298:
296:
292:
287:
284:
280:
279:
275:
272:
267:
260:
257:
256:
244:
237:
236:
229:
222:
219:. (Russian)
218:
212:
205:
204:0-8218-2732-4
201:
197:
194:
188:
181:
180:3-540-15299-7
177:
173:
170:
164:
157:
153:
148:
144:
133:
126:
122:
121:
115:
113:
108:
106:
102:
98:
93:
91:
87:
83:
79:
76:
72:
68:
64:
60:
56:
55:Pyotr Novikov
52:
42:
40:
36:
35:mathematician
33:
29:
21:
295:expanding it
288:
273:
270:
263:(in Russian)
240:(in Russian)
234:
228:
216:
211:
187:
163:
147:
129:(in Russian)
124:
109:
101:intuitionism
94:
85:
81:
58:
48:
27:
26:
345:2019 deaths
340:1934 births
334:Categories
139:References
105:Brouwerian
97:Kolmogorov
65:. He and
45:Biography
198:, 2003,
182:; p. 118
174:, 1999,
80:between
206:; p. 85
32:Russian
202:
178:
291:stub
200:ISBN
176:ISBN
84:and
86:0'
336::
154:,
127:.
107:.
82:0
41:.
322:e
315:t
308:v
297:.
261:,
238:,
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.