ЕРШО́В ЮРИЙ ЛЕОНИДОВИЧ

ЕРШО́В Юрий Ле­о­ни­до­вич (р. 1.5.1940, Но­во­си­бирск), рос. ма­те­ма­тик, акад. РАН (1991). По окон­ча­нии Но­во­си­бир­ско­го ун-та (1963) ра­бо­тал там же (1964–2002, проф. с 1967, рек­тор в 1986–94). С 1963 в Ин-те ма­те­ма­ти­ки им. С. Л. Со­бо­ле­ва (ди­рек­тор с 2002). Осн. тру­ды от­но­сят­ся к ал­геб­ре, тео­рии чи­сел и ма­те­ма­тич. ло­ги­ке, в ча­ст­но­сти к тео­рии ал­го­рит­мов. Ре­шил клас­сич. про­бле­му о раз­ре­ши­мо­сти эле­мен­тар­ной тео­рии для по­ля р-адич. чи­сел. Соз­да­тель об­щей тео­рии ну­ме­ра­ций, ко­то­рая на­хо­дит при­ме­не­ние для по­строе­ния совр. тео­рии вы­чис­ле­ний и в тео­ре­тич. во­про­сах про­грам­ми­ро­ва­ния. Ра­бо­ты Е. яви­лись ос­но­вой для раз­ра­бот­ки но­вой кон­цеп­ции про­грам­ми­ро­ва­ния – се­ман­тич. про­грам­ми­ро­ва­ния. Гос. пр. РФ (2003).