Норман Шапиро - Norman Shapiro

Норман Залмон Шапиро (родился в 1932 г.) Американец математик, который является соавтором Теорема Райса – Шапиро.

биография

Шапиро провел лето 1954 г. в Bell Laboratories в Мюррей-Хилл, Нью-Джерси, где в сотрудничестве с Карел де Леу, Эд Мур, и Клод Шеннон, он исследовал вопрос о том, предоставляет ли Машина Тьюринга дополненный машина оракула создавая бесконечную последовательность случайных событий (например, бросок честная монета ) позволил бы машине выводить невычислимую последовательность. Хорошо известная эффективность Методы Монте-Карло мог заставить думать иначе, но результат был отрицательным. Точно указано:

Бесконечная строка S в конечном алфавите есть вычислимый если его можно вывести с вероятностью один Машина Тьюринга дополненный машина оракула давая бесконечную последовательность равновероятных нулей и единиц.

Более того, результат остается в силе, если выходная вероятность - любое положительное число, а вероятность того, что запрос машины-оракула даст 1, является любым вычислимым действительным числом.[1]

Шапиро получил степень бакалавра математики в Университете Иллинойса в 1952 году. Шапиро получил докторскую степень в Университет Принстона в 1955 г. под руководством Церковь Алонсо. В 1955 году, будучи аспирантом Принстона, Шапиро придумал фразу «сильная сводимость» для теории вычислимости, которая в настоящее время называется много-одно сокращение. Его диссертация была названа Степени вычислимости[2] и был опубликован в 1958 году.

Шапиро был ведущим математиком и специалист в области информатики на RAND Corporation аналитический центр с 1959 по 1999 год. В конце 1960-х - начале 1970-х годов Шапиро был ведущим разработчиком одной из первых компьютерных систем картографии и картографии.

В 1970-х годах Шапиро был соавтором Система обработки сообщений MH.[3] MH была первой почтовой системой, которая использовала Unix принципы проектирования с использованием команд оболочки для управления сообщениями как отдельными файлами.

В 1972 году Норман З. Шапиро был творческим лидером в своих эссе по этикету электронной почты, вводя концепции, которые редко рассматривались до более чем 15 лет спустя. Его работа может быть первым значительным произведением о сетевой этикет. Основное эссе было «На пути к этике и этикету электронной почты».[4]

В 1970–1990 годах Шапиро внес много нового и уникального вклада в информатику, математику и моделирование. Одним из вкладов было его совместное изобретение нового языка программирования под названием Abel (позже названного RAND-ABEL). Конечно, это был не первый А.И. язык моделирования стиля, чтобы выглядеть и читать как английский. Он был более ясным и читаемым для непрограммистов, чем его предшественники, но главным нововведением было исполнение в виде кода таблиц, которые читаются человеку, как любая обычная таблица, которую можно найти в журнальной статье или эссе. Компилятор ABEL использует эти "английские" таблицы несколькими способами: как значения данных, как дерево решений или как сложную функцию условного задания и задания значений. Это был первый случай, когда таблицы естественного языка выполнялись таким образом на компьютере.

Шапиро много писал о базы данных и Конфиденциальность, влияние автоматизации на судебную систему, будущее автоматизации и на темы математики, химии и биологии. Большая часть его работ доступна в виде полнотекстовых PDF-файлов бесплатно от издателя. RAND Corporation.

Рекомендации

  1. ^ К. де Лиу, Э. Ф. Мур, К. Э. Шеннон и Н. Шапиро, "Вычислимость с помощью вероятностных машин". Исследования автоматов, Шеннон, К. и Дж. Маккарти, ред., Princeton University Press, 1956, стр. 183-212.
  2. ^ Норман Шапиро на Проект "Математическая генеалогия"
  3. ^ Андерсон, Роберт Х., Норман Шапиро, Тора К. Биксон и Филлис Кантар. «Дизайн почтовой системы MH». Санта-Моника, Калифорния: RAND Corporation, 1989. https://www.rand.org/pubs/notes/N3017. Также доступен в печатном виде.
  4. ^ Шапиро, Норман и Роберт Х. Андерсон. «К этике и этикету в электронной почте». Санта-Моника, Калифорния: RAND Corporation, 1985. https://www.rand.org/pubs/reports/R3283. Также доступен в печатном виде.

внешняя ссылка