Ці можаце вы? Вучоны профілю: Дэвід Бейлі
 | |
 | Д. і Г. В. Чудновский, якія разлічаны пі да васьмі мільярдаў лічбаў, пабудаваныя першы мільён, як выпадковае блуканне ў 3-D выгляд, паказаны тут. |
Пачатак 3,14159 ..., ніколі не язда на ровары, і будзе вечна, лічбы PI, вядома, выглядаюць выпадковымі. Сапраўды, усе "ведае", яны ёсць, але ніхто не даказаў гэта ці разумее, чаму.
Дэвід Бейлі можа быць набліжаецца. Бейлі з'яўляецца галоўны тэхнолаг для нацыянальнай энергетычнай даследчы навукова-вылічальны цэнтр (NERSC) і наватарам у галіне эксперыментальнай матэматыкі - пераследу, якая прынесла яму і яго калегам пакутліва наблізіцца да вырашэння адной з таямніц "пі".
Бейлі нарадзіўся ў горадзе провада, штат Юта, дзе яго суседзямі, матэматыкі на факультэце Brigham Young University, стаў яго прыкладам для пераймання. "Я памятаю, навучанне ў пятым класе, што існуюць формулы можна выкарыстоўваць для вылічэння паверхняў і аб'ёмаў" - напрыклад, што плошча паверхні сферы роўная пі раз яго дыяметр у квадраце - "Я думаў, што гэта было выдатна!"
Узброеныя з цікаўнасцю і кнігі з публічных бібліятэк, Бэйлі навучыўся досыць матэматыцы, каб выйграць прызы школы: адна спасылка ён па-ранейшаму выкарыстоўвае CRC стандартныя матэматычныя табліцы. Як студэнт у Brigham Young, яго хуткаспелымі прывяло яго працу аказання дапамогі яго прафесарам фізікі ў праграмаванні кампутараў займацца навукай. "Я скараціў свае зубы на кампутары на BYU".
Калі ён атрымаў доктарскую ступень у Стэнфардскім ў 1976 годзе, рынак для матэматыкаў было настолькі дрэнна, што дактароў ехалі кабін і дастаўкі пошты. кампутарам Бейлі выратавалі становішча. Ён працаваў для такіх устаноў, як TRW Inc і SRI International да 1984 года, калі ён пераехаў у NASA Ames Research Center.
Там Бейлі узначальваў "выбіваннем" першы Cray НАСА-2 суперкамп'ютэра, каб праверыць яго здольнасці падтрымліваць доўга разліку, ён меў два з чатырох працэсараў вылічыць першыя 29000000 лічбаў ліку "пі". "На вялікі жаху Seymour Cray, яны прыдумалі два розных адказу. Спатрэбілася дзевяць месяцаў, каб атрымаць з памылак."?
У 1998 годзе Бейлі ўступіў NERSC, спаганяецца з ацэнкай суперкампутар прадукцыйнасцю і паляпшэння лікавыя алгарытмы для выканання навуковых разлікаў. Ён з'яўляецца суаўтарам шырокая бібліятэка праграмнага забеспячэння высокай дакладнасці і кіраўніка Ацэнка эфектыўнасці навукова-даследчы цэнтр, які фінансуецца групай Міністэрства энергетыкі Упраўлення навукі для паляпшэння высокапрадукцыйных вылічэнняў.
супрацоўніцтва Бейлі з матэматыкамі, як Джонатан і Піцер Borwein, Рычард Crandall, і Геламан Фергюсон далі важныя вынікі. Сярод яго прызы прэміі Сідні FERNBACH для высокапрадукцыйных вылічэнняў і матэматычнага Асацыяцыі Шовенэ прэміі Амерыкі і Merten Хасэ прэмія, прысуджаецца адораным тлумачальнікі.
На працягу ўсёй сваёй кар'еры, ён ніколі не губляў любові да чыстай матэматыцы.
"Да гэтага часу я жыву ў двух мірах, тэарэтычная матэматыка і навуковых вылічэнняў", кажа Бейлі. "Я спрабую выйсці замуж за гэтыя два з ужываннем перадавых вылічальных праблем у чыстай матэматыцы. Эксперыментальная матэматыка выніку."