WikiDer > Одри Бейтс (программист)

Audrey Bates (programmer)
Одри Бейтс
Родился
Марджори Одри Бейтс

1928
Умер2014 г. (85–86 лет)
Альма-матерМанчестерский университет

Марджори Одри Бейтс (Клейтон Уоллис) (1928-2014) был британско-американским программистом, который в 1948 году написал самую раннюю программу для лямбда-исчисление расчеты по Манчестер Марк I компьютер.[1]

Карьера

Бейтс окончила факультет математики Манчестерский университет летом 1949 г.[2] Ее взяли на исследование в Алан Тьюринг, и делил с ним офис и Сисели Попплуэлл.[3] В 1950 году Бейтс защитил кандидатскую диссертацию на тему «Механическое решение проблемы исчисления лямбда Чёрча».[4] Этот тезис документирует успешную попытку провести логические рассуждения более высокого порядка на чрезвычайно примитивном электронном компьютере Manchester Mark I.[3][2]

Когда Manchester Mark I был коммерциализирован местной электронной фирмой ФеррантиБейтс переехал работать с ними программистом. Находясь в Ферранти, она сочинила несколько разделов (некоторые не указаны в титрах) из Вивиан Боудон Быстрее, чем мы думали, популярное введение в электронные вычисления.[2][5]

В 1952 году Бейтс приступил к работе над FERUT, Ferranti Mark I, установленным в Университете Торонто.[2] В 1955 году Бейтс руководил FERUT, когда тот осуществил первый автоматизированный удаленный доступ к компьютеру.[6]

В 1979 году Бейтс работал «футурологом» в военном аналитическом центре США.[7]

Личная жизнь

Бейтс был дважды женат и имел четверых детей.[1] Ее первый муж, Кен Уиллс, был программистом Ферранти;[8] ее вторым мужем был Ли Клейтон, и именно под именем Клейтон Бейтс опубликовала свои более поздние работы.

использованная литература

  1. ^ а б "Даты рождения и смерти Марджори Одри Бейтс / Уоллис". ancestry.co.uk.
  2. ^ а б c d Суинтон, Джонатан (2019). Манчестер Алана Тьюринга. Манчестер: Манчестер: Издательство Infang. стр. 119. ISBN 978-0-9931789-2-4.
  3. ^ а б Эндрю, Ходжес (2014). Алан Тьюринг: загадка. Лондон. ISBN 9781784700089. OCLC 890394618.
  4. ^ Бейтс, Одри (1950). Механическое решение проблемы лямбда-исчисления Чёрча (Тезис). Манчестерский университет.
  5. ^ Боудон (1953). Быстрее, чем мы думали. Питман.
  6. ^ Педвелл, Сьюзен (2013). «Прокладывая путь к информационной магистрали».
  7. ^ «DTIC ADA083756: Оценка влияния возникающих социальных и экономических тенденций на людей и управление береговой охраной. Том II». Декабрь 1979 г.
  8. ^ Лавингтон, Саймон, Звездная пыль: рассказы о первых днях информатики. Поговорите с Обществом сохранения компьютеров, Манчестер, 19 февраля 2019 г.