Norman Zalmon Shapiro (nacido en 1932) es un matemático estadounidense , coautor del teorema de Rice-Shapiro .
Biografía
Shapiro pasó el verano de 1954 en Bell Laboratories en Murray Hill, Nueva Jersey, donde, en colaboración con Karel de Leeuw , Ed Moore y Claude Shannon , investigó la cuestión de si proporcionar una máquina de Turing aumentada con una máquina de oráculo que produjera una secuencia infinita. de eventos aleatorios (como los lanzamientos de una moneda justa ) permitiría a la máquina generar una secuencia no computable. La conocida eficacia de los métodos de Montecarlo podría haber llevado a pensar de otra manera, pero el resultado fue negativo. Dicho con precisión:
- Una cadena infinita, S, en un alfabeto finito es computable si se puede generar con probabilidad uno por una máquina de Turing aumentada por una máquina de oráculo que da una secuencia infinita de ceros y unos de igual probabilidad.
Además, el resultado sigue siendo válido si la probabilidad de salida es cualquier número positivo, y la probabilidad de que una consulta de la máquina oráculo produzca 1 es cualquier número real computable. [1]
Shapiro obtuvo una licenciatura en matemáticas en la Universidad de Illinois en 1952. Shapiro obtuvo su doctorado en la Universidad de Princeton en 1955 bajo la asesoría de Alonzo Church . En 1955, como estudiante de doctorado en Princeton, Shapiro acuñó la frase "reducibilidad fuerte" para una teoría de computabilidad que actualmente se llama reducción muchos-uno . Su tesis se tituló Degrees of Computability [2] y se publicó en 1958.
Shapiro fue un destacado matemático e informático en el grupo de expertos de la RAND Corporation desde 1959 hasta 1999. A fines de la década de 1960 y principios de la de 1970, Shapiro fue el diseñador principal de uno de los primeros sistemas de cartografía y cartografía basados en computadora.
En la década de 1970, Shapiro co-diseñó el sistema de manejo de mensajes MH . [3] MH fue el primer sistema de correo en utilizar los principios de diseño de Unix mediante el uso de comandos de shell para manipular mensajes como archivos individuales.
En 1972, Norman Z. Shapiro fue un líder creativo en sus ensayos sobre la etiqueta del correo electrónico, introduciendo conceptos que rara vez se consideraron hasta más de 15 años después. Su trabajo puede ser el primer escrito sustancial sobre netiqueta . El ensayo principal fue "Hacia una ética y etiqueta para el correo electrónico". [4]
Desde la década de 1970 hasta la de 1990, Shapiro desarrolló muchas contribuciones nuevas y únicas a la informática, las matemáticas y el modelado. A principios de la década de 1980, fue el arquitecto de software para la simulación estructurada de juegos grandes y complejos (el Sistema de evaluación de estrategias RAND) en RAND Corporation. Eso representó una crisis regional o global y una guerra con agentes que opcionalmente sustituían a los equipos humanos en la toma de decisiones de alto nivel. Estas decisiones luego dirigieron acciones representadas en un gran modelo de combate global. Se podrían sustituir diferentes versiones de los agentes (por ejemplo, para reflejar un cambio de gobierno). Los agentes podrían ejecutar la simulación dentro de sí mismos para probar estrategias potenciales con "anticipación". El sistema se implementó con éxito [5] y se utilizó a fines de la década de 1980 antes del final de la Guerra Fría. Como parte del desarrollo posterior, Shaprio co-inventó (con H. Edward Hall) un nuevo lenguaje de programación llamado Abel (más tarde llamado RAND-ABEL). Este no fue el primer lenguaje de simulación de estilo de IA que se veía y se leía como el inglés, pero era más claro y más legible para los no programadores que sus predecesores. La principal innovación de ABEL fue la ejecución como código de tablas que leen al humano como cualquier tabla normal que uno encontraría en un artículo de revista o ensayo. El compilador ABEL utiliza estas tablas "en inglés" de múltiples formas: como valores de datos, como un árbol de decisiones o como una función compleja de establecimiento de valores y condicional. Esta fue la primera vez que las tablas en lenguaje natural se ejecutaron por máquina de esta manera.
Shapiro ha escrito extensamente sobre bases de datos y privacidad , los efectos de la automatización en el sistema judicial, el futuro de la automatización y sobre temas de matemáticas, química y biología. Gran parte de su trabajo está disponible en formato PDF de texto completo sin cargo del editor, RAND Corporation .
Referencias
- ^ K. de Leeuw, EF Moore, CE Shannon y N. Shapiro, "Computabilidad por máquinas probabilísticas". Automata Studies , Shannon, C. y J. McCarthy, eds., Princeton University Press 1956, págs. 183-212.
- ^ Norman Shapiro en el Proyecto de genealogía matemática
- ^ Anderson, Robert H., Norman Shapiro, Tora K. Bikson y Phyllis Kantar. "El diseño del sistema de correo MH". Santa Monica, CA: RAND Corporation, 1989. https://www.rand.org/pubs/notes/N3017 . También está disponible en forma impresa.
- ^ Shapiro, Norman y Robert H. Anderson. "Hacia una ética y etiqueta para el correo electrónico". Santa Monica, CA: RAND Corporation, 1985. https://www.rand.org/pubs/reports/R3283 . También está disponible en forma impresa.
- ^ Davis, Paul K. y H. Edward Hall, "Descripción general del software del sistema RSAS". Santa Monica, CA: RAND Corporation, 1988. https://www.rand.org/content/dam/rand/pubs/notes/2009/N2755.pdf .