Норман Шапиро
Норман Шапиро | |
|---|---|
| Рожденный | 28 января 1932 г. |
| Умер | 14 октября 2021 г. (89 лет) |
| Национальность | Американский |
| Образование |
|
| Альма-матер | |
| Известный | |
| Супруг | Наоми Шапиро |
| Дети | 1 |
| Научная карьера | |
| Учреждения | РЭНД Корпорация |
| Диссертация | Степени вычислимости (1958) |
| Докторантура | Церковь Алонсо |
Норман Залмон Шапиро — американский математик , соавтор теоремы Райса-Шапиро .
Образование [ править ]
Шапиро получил степень бакалавра математики в Университете Иллинойса в 1952 году.
Лето 1954 года Шапиро провел в Bell Laboratories в Мюррей-Хилл, штат Нью-Джерси, где в сотрудничестве с Карелом де Леу , Эдом Муром и Клодом Шенноном он исследовал вопрос о том, можно ли создать машину Тьюринга, дополненную машиной-оракулом, производящей бесконечную последовательность. случайных событий (например, подбрасывания честной монеты ) позволит машине выдать невычислимую последовательность. Известная эффективность методов Монте-Карло могла бы заставить думать иначе, но результат оказался отрицательным. Сказано точно:
- Бесконечная строка S в конечном алфавите является вычислимой , если она может быть выведена с вероятностью единица машиной Тьюринга , дополненной машиной-оракулом, дающей бесконечную последовательность нулей и единиц равной вероятности.
Более того, результат продолжает сохраняться, если выходная вероятность представляет собой любое положительное число, а вероятность того, что запрос машины-оракула выдаст 1, является любым вычислимым действительным числом. [1]
Шапиро получил докторскую степень в Принстонском университете в 1955 году под руководством Алонсо Чёрча . В 1955 году, будучи аспирантом Принстона, Шапиро придумал фразу «сильная сводимость» для теории вычислимости, которая сейчас называется редукцией «многие единицы» . Его диссертация называлась «Степени вычислимости». [2] и был опубликован в 1958 году.
Карьера [ править ]
Шапиро был ведущим математиком и ученым-компьютерщиком в аналитическом центре RAND Corporation с 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 .
Ссылки [ править ]
- ^ К. де Леу, Э. Ф. Мур, К. Э. Шеннон и Н. Шапиро, «Вычислимость вероятностными машинами». Исследования автоматов , Шеннон, К. и Дж. Маккарти, ред., 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, 1988. https://www.rand.org/content/dam/rand/pubs/notes/2009/N2755.pdf .
Внешние ссылки [ править ]
- Список 50 публикаций Нормана З. Шапиро в RAND
- Языковой обзор ABEL
- За пределами удобства для пользователя
- Внесение Нормана З. Шапиро в базу данных академических авторов Microsoft
| Международный | |
|---|---|
| Национальный | |
| академики | |
