Norman Shapiro

Norman Shapiro
Norman Shapiro
Nationality	American
Education	BS in Mathematics at University of Illinois in 1952; Ph.D from Princeton University in 1955;
Universität	University of Illinois; Princeton University;
Bekannt für	Rice–Shapiro theorem; MH Message Handling System;
Spouse	Naomi Shapiro
Children	1
	Scientific career
Institutions	RAND Corporation
Thesis	Degrees of Computability (1958)
Doctoral advisor	Alonzo Church

Norman Zalmon Shapiro war ein amerikanischer Mathematiker, der Mitverfasser des Rice-Shapiro-Theorems war.

Ausbildung

Shapiro erwarb 1952 einen BS in Mathematik an der University of Illinois.

Shapiro verbrachte den Sommer 1954 in den Bell Laboratories in Murray Hill, New Jersey, wo er in Zusammenarbeit mit Karel de Leeuw, Ed Moore und Claude Shannon der Frage nachging, ob eine Turing-Maschine, die mit einer Orakelmaschine erweitert wurde, die eine unendliche Folge von Zufallsereignissen (wie das Werfen einer fairen Münze) erzeugt, eine nicht berechenbare Folge ausgeben kann. Die bekannte Effizienz der Monte-Carlo-Methoden hätte das Gegenteil vermuten lassen, aber das Ergebnis war negativ. Präzise formuliert:

Eine unendliche Zeichenkette S auf einem endlichen Alphabet ist berechenbar, wenn sie mit Wahrscheinlichkeit 1 von einer Turing-Maschine ausgegeben werden kann, die durch eine Orakelmaschine ergänzt wird, die eine unendliche Folge von Nullen und Einsen mit gleicher Wahrscheinlichkeit liefert.

Darüber hinaus bleibt das Ergebnis bestehen, wenn die Ausgabewahrscheinlichkeit eine beliebige positive Zahl ist und die Wahrscheinlichkeit, dass eine Orakelmaschine eine 1 liefert, eine beliebige berechenbare reelle Zahl ist.

Shapiro promovierte 1955 an der Princeton University unter der Leitung von Alonzo Church. Als Doktorand in Princeton prägte Shapiro 1955 den Begriff "starke Reduzierbarkeit" für eine Theorie der Berechenbarkeit, die heute als "Many-One Reduction" bezeichnet wird. Seine Dissertation trug den Titel Degrees of Computability und wurde 1958 veröffentlicht.

Karriere

Shapiro war von 1959 bis 1999 ein führender Mathematiker und Informatiker bei der Denkfabrik RAND Corporation. In den späten 1960er und frühen 1970er Jahren war Shapiro federführend bei der Entwicklung eines der ersten computergestützten Mapping- und Kartographiesysteme.

In den 1970er Jahren war Shapiro Mitgestalter des MH Message Handling System. MH war das erste Mailsystem, das die Designprinzipien von Unix nutzte, indem es Shell-Befehle zur Bearbeitung von Nachrichten als einzelne Dateien verwendete.

1972 war Norman Z. Shapiro mit seinen Aufsätzen zur E-Mail-Etikette ein kreativer Kopf und führte Konzepte ein, die erst über 15 Jahre später in Betracht gezogen wurden. Seine Arbeit ist möglicherweise die erste umfassende Abhandlung über Netiquette. Der wichtigste Aufsatz war "Toward an Ethics and Etiquette for Electronic Mail".

In den 1970er bis 1990er Jahren entwickelte Shapiro viele neue und einzigartige Beiträge zur Informatik, Mathematik und Modellierung. In den frühen 1980er Jahren war er der Softwarearchitekt für große und komplexe spielstrukturierte Simulationen (das RAND Strategy Assessment System) bei der RAND Corporation. Dabei wurden regionale oder globale Krisen und Kriege dargestellt, wobei Agenten optional menschliche Teams bei der Entscheidungsfindung auf hoher Ebene ersetzen konnten. Diese Entscheidungen leiteten dann Aktionen, die in einem großen globalen Kampfmodell dargestellt wurden. Verschiedene Versionen der Agenten konnten ausgetauscht werden (z. B. um einen Regierungswechsel zu reflektieren). Die Agenten konnten die Simulation in sich selbst ablaufen lassen, um potenzielle Strategien mit "Vorausschau" zu testen. Das System wurde erfolgreich implementiert und in den späten 1980er Jahren vor dem Ende des Kalten Krieges eingesetzt. Im Rahmen der weiteren Entwicklung erfand Shapiro (zusammen mit H. Edward Hall) eine neue Programmiersprache namens Abel (später RAND-ABEL genannt). Dies war nicht die erste Simulationssprache im Stil der künstlichen Intelligenz, die wie Englisch aussah und sich auch so las, aber sie war klarer und für Nicht-Programmierer besser verständlich als ihre Vorgänger. Die wichtigste Neuerung von ABEL war die Ausführung von Tabellen als Code, die sich für den Menschen wie normale Tabellen in einem Zeitschriftenartikel oder Aufsatz lesen. Der ABEL-Compiler verwendet diese "englischen" Tabellen auf verschiedene Weise: als Datenwerte, als Entscheidungsbaum oder als komplexe bedingte und wertbestimmende Funktion. Dies war das erste Mal, dass Tabellen in natürlicher Sprache auf diese Weise maschinell verarbeitet wurden.

Shapiro schrieb ausführlich über Datenbanken und Datenschutz, die Auswirkungen der Automatisierung auf das Gerichtssystem, die Zukunft der Automatisierung und über Themen aus der Mathematik, Chemie und Biologie. Ein Großteil seiner Arbeiten ist als Volltext-PDFs kostenlos beim Herausgeber, der RAND Corporation, erhältlich.

Externe Links