Литмир - Электронная Библиотека
ЛитМир: бестселлеры месяца
Содержание  
A
A

В комментариях Лавлейс были приведены три первые в мире вычислительные программы, составленные ею для машины Бэбиджа. Самая простая из них и наиболее подробно описанная – программа решения системы двух линейных алгебраических уравнений с двумя неизвестными. При разборе этой программы было впервые введено понятие рабочих ячеек (рабочих переменных) и использована идея последовательного изменения их содержания. От этой идеи остается один шаг до оператора присвоения – одной из основополагающих конструкций всех языков программирования. Вторая программа была составлена для вычисления значений тригонометрической функции с многократным повторением заданной последовательности вычислительных операций; для этой процедуры Лавлейс ввела понятие цикла – одной из базовых конструкций структурного программирования. В третьей программе, предназначенной для вычисления чисел Бернулли, были использованы вполне современные расчетные методы. В своих комментариях Лавлейс высказала также великолепную догадку о том, что вычислительные операции могут выполняться не только с числами, но и с другими объектами, без чего вычислительные машины так бы и остались всего лишь мошными быстродействующими калькуляторами.

После завершения работы над переводом и комментариями Ада предложила Бэбиджу, что она будет консультировать лиц, заинтересованных в использовании вычислительных машин, то есть, пользуясь сегодняшней терминологией, возьмет на себя функции customer support, дабы Бэбидж не отвлекался от основной работы по доведению своей аналитической машины.

Но время для вычислительных машин еще не пришло, толпы пользователей не спешили получить консультацию у леди Лавлейс, более того – в 1842 году правительство Британии отказало Бэбиджу в финансовой поддержке его разработок. Бэбидж был готов на все, чтобы раздобыть необходимые деньги.

В частности, вместе с супругами Лавлейс он увлекся идеей создания «подлинно научной, математической» системы ставок на бегах, которая давала бы верный выигрыш. Как и следовало ожидать, «система» не сработала и принесла не только разочарование, но и большие финансовые потери. Самым стойким ее приверженцем оказалась графиня Лавлейс – она продолжала упорно играть, часто даже втайне от мужа и Бэбиджа, пытаясь усовершенствовать систему. На этом она потеряла почти все свои личные средства. К тому же в начале 50-х голов ее здоровье неожиданно и резко ухудшилось, и в 1852 году Ада Лавлейс скончалась в роковом для многих гениев возрасте 37 лет, как и ее отец, и была похоронена рядом с ним в фамильном склепе Байронов.

Имя Ады Лавлейс воскресло из небытия в середине 1930-х годов в связи с работами английского математика Алана Тьюринга, введшего понятие логической алгоритмической структуры, получившей название «машины Тьюринга», а также последующим созданием первых электронных вычислительных машин.

К концу 1970-х годов исследования, проведенные в министерстве обороны США, выявили отсутствие языка программирования высокого уровня, который бы поддерживал все основные этапы создания программного обеспечения. Применение же различных языков программирования в разных приложениях приводило к несовместимости разрабатываемых программ, дублированию разработок и другим нежелательным явлениям, включая рост стоимости программного обеспечения, многократно превышающей стоимость самой вычислительной техники.

Выход из кризиса виделся в разработке единых языка программирования, среды его поддержки и методологии применения. Все три составляющие этого проекта разрабатывались очень тщательно с привлечением наиболее квалифицированных специалистов разных стран. В мае 1979 года победителем в конкурсе разработки языков был признан язык «Ада», названный в честь Ады Августы Лавлейс и предложенный группой под руководством француза Жана Ишбиа. Прототипом этого языка явился язык программирования «Pascal», названный в честь Блеза Паскаля, который еще в возрасте девятнадцати лет, в 1624 году, разработал проект «Паскалины», или, по-другому, «Паскалева колеса» – первой механической вычислительной машины.

С появлением и широким распространением персональных компьютеров язык «Ада» во многом утратил свою значимость, однако до сих пор используется как язык высокого уровня для разработки программ, работающих в реальном масштабе времени.

Любопытно, что в честь Ады Лавлейс названы в Америке также два небольших города – в штатах Алабама и Оклахома. В Оклахоме существует и колледж ее имени. Вроде бы немного, но вместе с тем есть люди, искренне полагающие, что слава Ады Лавлейс затмила славу ее знаменитого отца и что ее вклад в мировую цивилизацию, по крайней мере, соизмерим с вкладом великого поэта.

Размышления у книжной полки

Сергей Смирнов

Евангелие от Гротендика

Знание-сила, 2002 № 12 (906) - pic_64.jpg

Это заглавие знакомо каждому математику -хотя бы понаслышке. еще в 1960-е годы алгебраисты с шутливым или искренним ужасом прозвали так огромную книгу: «Элементы Алгебраической Геометрии», изданную во Франции от имени Александра Гротендика. Эффект книги в научном сообществе был потрясающий – вроде того, какой вызвали в 1800-е годы «Арифметические Исследования» Карла Гаусса. Опять никому не известный автор дерзает переосмыслить, перевернув с ног на голову (или наоборот – с головы на ноги ?) лучшую половину математической науки – священную Геометрию, заменив ВСЕ ее привычные понятия и конструкции новой зубодробительной алгеброй! Ради чего весь этот труд?

У Гаусса было простое оправдание. Соединив классическую Алгебру с древней Теорией Чисел, он свел привычные построения циркулем и линейкой к решению квадратных уравнений в странном мире комплексных чисел. Таким путем молодой немец сначала сумел построить правильный 17-угольник, а потом доказал, что правильный 7- или 9-угольник построить НЕВОЗМОЖНО. Результат поразительный и вечный; имя автора сразу вошло в золотой фонд мировой науки, великая книга Гаусса встала на полках библиотек рядом с великой книгой Ньютона… Ждет ли сходная судьба молодого француза Гротендика? Какими открытиями он оправдает свою претензию на бессмертие?

Даже сейчас – сорок лет спустя многие математики считают, что Гротендик не оправдал великих надежд своего ученого профсоюза. Ведь у него мало трудных теорем! Может быть, всего одна – получившая длинное имя в честь всех своих открывателей: Риман, Рох, Гротендик, Атья, Хирцебрух… В 1966 году Международный союз математиков пожаловал Александру Гротендику свою высшую награду: Премию Филдса. Но гордый затворник не приехал тогда на Московский математический конгресс: ведь СССР – не свободное государство! Зато годом позже вольнодумец охотно поехал в коммунистический Вьетнам, чтобы читать лекции в эвакуированном Ханойском университете, рискуя попасть под американскую бомбу. В США Гротендик так и не побывал: ведь американский народ, гордясь своей свободой, смеет подавлять свободу (или несвободу) других народов!

Но в 1970-е годы имя Гротендика вдруг исчезло с математического горизонта. Говорили, что он уехал из Парижа в провинциальный Монпелье; что его ученики (и прежде немногочисленные) совсем измельчали и не способны защитить даже кандидатскую диссертацию; что сам Гротендик прекратил математические исследования, воспылав презрением к роду людскому… Да полно: существовал ли этот математик как личность – или это был псевдоним какого-то научного сообщества, вроде семинара Бурбаки? Гипотеза о существовании и единственности Александра Гротендика оставалась не доказанной и внушала коллегам все большие сомнения. Не такой ли участи опасался в 1830-е годы стареющий Гаусс, продолжая читать надоевшие ему спецкурсы все новым скудоумным студентам в набившем оскомину Геттингене?

Эта неясность продлилась до 1986 года. Тогда, вернувшись из добровольного небытия, помудревший Гротендик начал писать Оправдание своей жизни: книгу Воспоминаний и Размышлений под заголовком «Урожаи и Посевы». В широкую печать на Западе она так и не попала; в России ее публикация началась только что – в странном московско-ижевском издательстве «Регулярная и Хаотическая Динамика». Для этого любопытным москвичам пришлось проникнуть в частные архивы своих заокеанских коллег – включая Барри Мазура, славного тренера молодых доказателей Большой Теоремы Ферма. Что нового узнаем мы из этих пыльных хартий? На кого похож душою секретный ученый Гротендик?

31
{"b":"279241","o":1}
ЛитМир: бестселлеры месяца