Кіріспе

Ағылшын математигі және есептеу теоретигі С. Барри Купер (9 қазан 1943 - 26 қазан 2015) - ағылшын математигі және есептеу теоретигі. Ол Лидс университетінде таза математика профессоры болды.

Ерте өмір және білім

Купер Богнор-Регисте өсіп, Чичестердегі ұлдар орта мектебінде оқыды. Ол осы уақыт ішінде Англияның 15 жасқа дейінгі регби командасында ойнады. Купер 1966 жылы Оксфордтың Джесус колледжін бітірді, ал 1970 жылы Лестер университетінен Рубен Гудштейн мен С.Е.М. Яйтс жетекшілігімен "Солтсыздық дәрежесі" атты диссертациямен докторлық диссертациясын алды.

Академиялық мансап

Купер 1969 жылы Лидс университетінің математика мектебінің оқытушысы болып тағайындалды, ол сол жерде қалған өмірін өткізді. 1991 жылы математикалық логикадан оқырман, ал 1996 жылы таза математика профессоры болды. 2011 жылы София "Святой Климент Охридский" университетінің құрметті докторлық дәрежесіне ие болды. Оның "Компьютерлік теория" атты кітабы техникалық зерттеу саласын жаңа буын студенттерге қолжетімді етті. Ол Алан Тьюринг қарастырған негізгі сұрақтарға қайта оралудың және есептеу қабілетіне байланысты пәнаралық дамудың жетекші қозғаушысы болды. Ол Еуропадағы есептеуді есептеу қауымдастығының президенті және Алан Тьюринг жылын үйлестірген Тьюрингтің жүз жылдық кеңес беру комитетінің (TCAC) төрағасы болды. Купер мен Ян ван Лиувен редакциялаған "Алан Тьюринг: оның жұмысы мен әсері" кітабы Америка баспагерлері қауымдастығының Р. Р. Хокинс сыйлығын жеңіп алды. Купер The Rutherford Journal редакциялық кеңесінің мүшесі болды.

Мүдделер

Купер ұзақ қашықтыққа жүгіруші еді, сонымен қатар джаз және импровизациялық музыкаға қызығушылық танытты, Лидс джазды құрды және Термит клубына қатысты. 1970 жылдары ол Чилидің Лидске келген босқындарды қарсы алған Чилидің ынтымақтастық науқанының жетекші тұлғасы болды.

Өлім

Купер 2015 жылы 26 қазанда қысқа сырқаттан кейін қайтыс болды.

Таңдалған жарияланымдар

С. Б. Купер, 2004 жыл. Есептеу теориясы, Чэпман және Холл/CRC. С. Б. Купер; Дж. ван Леувен (оқушылар). ), 2013 ж. Алан Тьюринг Оның жұмысы мен әсері, Нью-Йорк: Elsevier, S. B. Cooper, B. Löwe, A. Sorbi (ed. ), 2008 ж. Жаңа есептеу парадигмалары Есептеуге болатын нәрселердің өзгеріп отыратын тұжырымдамалары, Спрингер.