З В?к?педы?, свабоднай энцыклапеды?
Уладз?м?р Аляксандрав?ч Ваяводск?
(
4 чэрвеня
1966
,
Масква
?
30 верасня
2017
, Прынстан, Нью-Джэрс?) ? савецк?, рас?йск? ? амерыканск?
матэматык
, як? ?нёс значны ?клад у
алгебра?чную геаметрыю
? асновы матэматык?. Ла?рэат
Ф?лдса?скай прэм??
(2002), пастаянны прафесар ?нстытута перспекты?ных даследавання?.
Сярод асно?ных вын?ка? на стыку алгебра?чнай геаметры? ? алгебра?чнай тапалог?? ? пабудова тэоры? маты?ных камалог?й ? доказ яе сродкам? г?потэзы М?лнара ? г?потэзы Блоха ? Като, як?я складал? ?стотную праблемную частку алгебра?чнай K-тэоры?. У гал?не асно? матэматык? ?н?цыява? ? ?нёс вырашальны ?клад у праграму стварэння ?н?валентных асно? матэматык? ? фармальнай мовы для абстрактных раздзела? матэматык?, якая забяспечвае а?таматычную праверку доказа? на камп’ютары.
Зноск?
| |
---|
Тэматычныя сайты
| |
---|
Сло?н?к? ? энцыклапеды?
| |
---|
|