Норман Шапиро
Норман Шапиро | |
|---|---|
| Рожденный | ( 1932-01-28 )28 января 1932 г. |
| Умер | 14 октября 2021 г. (14.10.2021)(89 лет) |
| Национальность | американский |
| Образование |
|
| Альма-матер | |
| Известный | |
| Супруг | Наоми Шапиро |
| Дети | 1 |
| Научная карьера | |
| Учреждения | Корпорация РЭНД |
| Тезис | Степени вычислимости (1958) |
| научный руководитель | Церковь Алонзо |
Норман Залмон Шапиро — американский математик , соавтор теоремы Райса–Шапиро .
Образование
В 1952 году Шапиро получил степень бакалавра математики в Иллинойсском университете.
Шапиро провел лето 1954 года в Bell Laboratories в Мюррей-Хилл, штат Нью-Джерси, где в сотрудничестве с Карелом де Леувом , Эдом Муром и Клодом Шенноном он исследовал вопрос о том, позволит ли машина Тьюринга, дополненная машиной -оракулом, производящей бесконечную последовательность случайных событий (вроде подбрасывания честной монеты ), выводить невычислимую последовательность. Хорошо известная эффективность методов Монте-Карло могла бы заставить кого-то думать иначе, но результат был отрицательным. Точно сказано:
- Бесконечная строка S в конечном алфавите вычислима, если она может быть выведена с вероятностью единица машиной Тьюринга , дополненной машиной-оракулом, дающей бесконечную последовательность нулей и единиц с равной вероятностью.
Более того, результат остается верным, если вероятность вывода — любое положительное число, а вероятность того, что запрос оракула даст 1, — любое вычислимое действительное число. [1]
Шапиро получил степень доктора философии в Принстонском университете в 1955 году под руководством Алонзо Чёрча . В 1955 году, будучи аспирантом Принстона, Шапиро придумал термин «сильная сводимость» для теории вычислимости, которая в настоящее время называется редукцией многих-одного . Его диссертация называлась «Степени вычислимости» [2] и была опубликована в 1958 году.
Карьера
Шапиро был ведущим математиком и ученым-компьютерщиком в аналитическом центре корпорации RAND с 1959 по 1999 год. В конце 1960-х и начале 1970-х годов Шапиро был ведущим разработчиком одной из первых компьютерных систем картографии и картографирования.
В 1970-х годах Шапиро стал одним из разработчиков системы обработки сообщений MH . [3] MH была первой почтовой системой, использовавшей принципы проектирования Unix , применяя команды оболочки для обработки сообщений как отдельных файлов.
В 1972 году Норман З. Шапиро был творческим лидером в своих эссе об этикете электронной почты, представляя концепции, которые редко рассматривались до более чем 15 лет спустя. Его работа может быть первым существенным трудом о сетевом этикете . Основное эссе называлось «К этике и этикету для электронной почты». [4]
В 1970–1990-х годах Шапиро внес много новых и уникальных вкладов в информатику, математику и моделирование. В начале 1980-х годов он был архитектором программного обеспечения для большого и сложного игрового моделирования (система оценки стратегии RAND) в корпорации RAND. Это представляло собой региональный или глобальный кризис и войну с агентами, опционально заменяющими человеческие команды при принятии решений высокого уровня. Затем эти решения направляли действия, представленные в большой глобальной боевой модели. Различные версии агентов могли быть заменены (например, для отражения смены правительства). Агенты могли запускать моделирование внутри себя, чтобы проверить потенциальные стратегии с помощью «просмотра вперед». Система была успешно реализована [5] и использовалась в конце 1980-х годов до окончания холодной войны. В рамках последующей разработки Шапиро совместно с Х. Эдвардом Холлом изобрел новый язык программирования под названием Abel (позже названный RAND-ABEL). Это был не первый язык моделирования в стиле ИИ, который выглядел и читался как английский, но он был понятнее и более удобен для чтения непрограммистами, чем его предшественники. Главным новшеством ABEL было выполнение в виде кода таблиц, которые читаются человеком как любая обычная таблица, которую можно найти в журнальной статье или эссе. Компилятор ABEL использует эти «английские» таблицы несколькими способами: как значения данных, как дерево решений или как сложная условная и устанавливающая значения функция. Это был первый случай, когда таблицы на естественном языке были выполнены машиной таким образом.
Шапиро много писал о базах данных и конфиденциальности , влиянии автоматизации на судебную систему, будущем автоматизации и темах в математике, химии и биологии. Большая часть его работ доступна в виде полных текстов PDF бесплатно от издателя RAND Corporation .
Ссылки
- ^ К. де Леу, Э. Ф. Мур, CE Шеннон и Н. Шапиро, «Вычислимость с помощью вероятностных машин». Исследования автоматов , Шеннон, К. и Дж. Маккарти, ред., Princeton University Press, 1956, стр. 183-212.
- ^ Норман Шапиро в проекте «Генеалогия математики»
- ^ Андерсон, Роберт Х., Норман Шапиро, Тора К. Биксон и Филлис Кантар. «Проект почтовой системы MH». Санта-Моника, Калифорния: RAND Corporation, 1989. https://www.rand.org/pubs/notes/N3017. Также доступно в печатном виде.
- ^ Шапиро, Норман и Роберт Х. Андерсон. «К этике и этикету для электронной почты». Санта-Моника, Калифорния: RAND Corporation, 1985. https://www.rand.org/pubs/reports/R3283. Также доступно в печатном виде.
- ^ Дэвис, Пол К. и Х. Эдвард Холл, «Обзор программного обеспечения системы RSAS». Санта-Моника, Калифорния: RAND Corporation, 1988. https://www.rand.org/content/dam/rand/pubs/notes/2009/N2755.pdf.
Внешние ссылки
- Список 50 публикаций Нормана З. Шапиро в RAND
- Краткое описание языка ABEL
- Более чем удобный для пользователя
- Норман З. Шапиро включен в базу данных академических авторов Microsoft
