Норман Шапиро - Norman Shapiro
Норман Залмон Шапиро (род. 1932) - американский математик , соавтор теоремы Райса – Шапиро .
биография
Шапиро провел лето 1954 года в Bell Laboratories в Мюррей-Хилле, штат Нью-Джерси, где в сотрудничестве с Карелом де Леу , Эдом Муром и Клодом Шенноном он исследовал вопрос о том, может ли машина Тьюринга быть дополнена машиной-оракулом, производящей бесконечную последовательность. случайных событий (таких как подбрасывание честной монеты ) позволило бы машине вывести невычислимую последовательность. Хорошо известная эффективность методов Монте-Карло могла заставить думать иначе, но результат был отрицательным. Сформулировано точно:
- Бесконечная строка S на конечном алфавите вычислима, если она может быть выведена с вероятностью один машиной Тьюринга, дополненной машиной оракула, дающей бесконечную последовательность нулей и единиц с равной вероятностью.
Более того, результат остается в силе, если выходная вероятность - любое положительное число, а вероятность того, что запрос машины оракула даст 1, - это любое вычислимое действительное число.
Шапиро получил степень бакалавра математики в Университете Иллинойса в 1952 году. Шапиро получил докторскую степень в Принстонском университете в 1955 году под руководством Алонзо Черча . В 1955 году, будучи аспирантом из Принстона, Шапиро придумал фразу «сильная сводимость» для теории вычислимости, которая в настоящее время называется редукцией многих единиц . Его диссертация называлась « Степени вычислимости» и была опубликована в 1958 году.
Шапиро был ведущим математиком и специалистом по информатике в аналитическом центре корпорации RAND с 1959 по 1999 год. В конце 1960-х - начале 1970-х годов Шапиро был ведущим разработчиком одной из первых компьютерных систем картографии и картографии.
В 1970-х годах Шапиро стал соавтором системы обработки сообщений MH . MH была первой почтовой системой, которая использовала принципы проектирования Unix , используя команды оболочки для управления сообщениями как отдельными файлами.
В 1972 году Норман З. Шапиро был творческим лидером в своих эссе по этикету электронной почты, представив концепции, которые редко рассматривались до более чем 15 лет спустя. Его работа может быть первой серьезной статьей о сетевом этикете . Основное эссе было «На пути к этике и этикету электронной почты».
В 1970–1990 годах Шапиро внес много нового и уникального вклада в информатику, математику и моделирование. В начале 1980-х он был разработчиком программного обеспечения для крупномасштабного и сложного моделирования с игровой структурой (система оценки стратегии RAND) в корпорации RAND. Это представляло региональный или глобальный кризис и войну с агентами, которые, возможно, заменяли человеческие команды при принятии решений на высоком уровне. Эти решения затем направляли действия, представленные в большой глобальной боевой модели. Можно заменить разные версии агентов (например, чтобы отразить смену правительства). Агенты могут запускать моделирование внутри себя для проверки потенциальных стратегий с опережением. Система была успешно внедрена и использовалась в конце 1980-х годов до окончания холодной войны. В рамках последующей разработки Шаприо совместно с Х. Эдвардом Холлом изобрел новый язык программирования под названием Abel (позже названный RAND-ABEL). Это был не первый язык моделирования в стиле ИИ, который выглядел и читался как английский, но он был более ясным и читаемым для непрограммистов, чем его предшественники. Основным нововведением ABEL было исполнение в виде кода таблиц, которые читаются человеком, как любая обычная таблица, которую можно найти в журнальной статье или эссе. Компилятор ABEL использует эти «английские» таблицы несколькими способами: как значения данных, как дерево решений или как сложную функцию условного задания и задания значений. Это был первый случай, когда таблицы естественного языка были выполнены таким образом на компьютере.
Шапиро много писал о базах данных и конфиденциальности , влиянии автоматизации на судебную систему, будущем автоматизации и на темы математики, химии и биологии. Большая часть его работ доступна в виде полнотекстовых PDF-файлов бесплатно от издателя RAND Corporation .