Подпишитесь на наши новости
Вернуться к началу с статьи up
 

ЕРШО́В

  • рубрика

    Рубрика: Математика

  • родственные статьи
  • image description

    В книжной версии

    Том 9. Москва, 2007, стр. 702

  • image description

    Скопировать библиографическую ссылку:




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

Соч.: Тео­рия ну­ме­ра­ций. М., 1977; Про­бле­мы раз­ре­ши­мо­сти и кон­ст­рук­тив­ные мо­де­ли. М., 1980; Крат­но нор­ми­ро­ван­ные по­ля. 2-е изд. Но­во­сиб., 2000; Ма­те­ма­ти­че­ская ло­ги­ка. 5-е изд. СПб., 2005 (совм. с Е. А. Па­лю­ти­ным).

Вернуться к началу