stringtranslate.com

Charles Leonard Hamblin

Charles Leonard Hamblin (20 de noviembre de 1922 - 14 de mayo de 1985) fue un filósofo, lógico y pionero de la informática australiano, además de profesor de filosofía en la Universidad Tecnológica de Nueva Gales del Sur (ahora Universidad de Nueva Gales del Sur ) en Sydney . [1]

Entre sus logros más conocidos en el área de la informática se encuentra la introducción de la notación polaca inversa [2] [3] y el uso en 1957 de una pila emergente desplegable . [4] Esto precedió al trabajo de Friedrich Ludwig Bauer y Klaus Samelson sobre el uso de una pila push-pop. [5] La pila había sido inventada por Alan Turing en 1946 cuando la introdujo en su diseño de la computadora ACE. En filosofía, Hamblin es conocido por su libro Falacias , una obra clásica en el campo de las conclusiones falsas en lógica. En semántica formal , Hamblin es conocido por su modelo computacional del discurso , así como por la semántica de Hamblin (o semántica alternativa), un enfoque de la semántica de las preguntas.

Carrera y vida

Hamblin nació en Petersham, Nueva Gales del Sur, el 20 de noviembre de 1922. Sus padres fueron Charles Oswald Hamblin y Katherine May Whyte. [6] Asistió a North Sydney Boys High School y Geelong Grammar . [7] Interrumpidos por la Segunda Guerra Mundial y el servicio de radar en la Fuerza Aérea Australiana, los estudios de Hamblin incluyeron Artes (Filosofía y Matemáticas), Ciencias (Física) y una Maestría en Filosofía (con honores de primera clase) en la Universidad de Melbourne . Obtuvo un doctorado en 1957 en la London School of Economics sobre el tema El lenguaje y la teoría de la información , aparentemente bajo la dirección de Karl Popper , criticando la teoría de la información de Claude Shannon desde una perspectiva semántica. [7] Desde 1955, fue profesor en la Universidad Tecnológica de Nueva Gales del Sur, y más tarde profesor de filosofía en el mismo lugar, hasta su muerte en 1985, tiempo durante el cual la organización pasó a llamarse Universidad de Nueva Gales del Sur.

En la segunda mitad de la década de 1950, Hamblin trabajó con la tercera computadora disponible en Australia, una computadora DEUCE fabricada por la English Electric Company . Para DEUCE, diseñó uno de los primeros lenguajes de programación, más tarde llamado GEORGE, [8] que se basaba en la notación polaca inversa. Su compilador asociado (traductor de idiomas) tradujo los programas formulados en GEORGE al lenguaje de máquina de la computadora en 1957.

Se considera que el trabajo de Hamblin es el primero en utilizar la notación polaca inversa, y es por eso que se le considera el inventor de este método de representación. Independientemente de si Hamblin inventó independientemente la notación y su uso, mostró el mérito, el servicio y la ventaja de la forma polaca inversa de escribir programas para el procesamiento en computadoras programables y algoritmos para hacerlo realidad.

El segundo resultado directo de su trabajo en el desarrollo de compiladores fue el concepto de pila push-pop (inventado anteriormente por Alan M. Turing para ACE en 1945), que Hamblin desarrolló independientemente de Friedrich Ludwig Bauer y Klaus Samelson. Ese mismo año, 1957, Hamblin presentó su concepto de pila en la primera Conferencia Australiana de Computación. El compilador se estaba ejecutando antes de esa conferencia. El trabajo de Hamblin influyó en el desarrollo de las computadoras basadas en pilas, sus instrucciones de máquina, sus argumentos en una pila y direcciones de referencia. El diseño fue retomado por English Electric en su computadora KDF9, entregada en 1963.

En la década de 1960, Hamblin volvió a recurrir cada vez más a cuestiones filosóficas. Escribió un influyente libro introductorio a la lógica formal que hoy es un trabajo estándar sobre falacias . Se centró en el tratamiento de las conclusiones falsas por parte de la lógica tradicional e introdujo en ese tratamiento la dialéctica formal y la desarrolló aún más. Como tal, Hamblin es considerado uno de los fundadores de la lógica informal moderna. [ cita necesaria ]

Hamblin contribuyó al desarrollo de la lógica temporal moderna de dos maneras. En su primera época mantuvo correspondencia con Arthur Prior entre 1958 y 1965; esta colaboración culminó con las llamadas implicaciones Hamblin. Más tarde, en 1972, Hamblin redescubrió de forma independiente una forma de cálculo de duración ( lógica de intervalos ), sin conocer el trabajo de 1947 de AG Walker sobre este tema, quien no estaba interesado en el aspecto tenso. El cálculo de duración de Hamblin es muy similar al desarrollado posteriormente por James Allen y Patrick J. Hayes a mediados de los años 1980. [9]

Hamblin estaba familiarizado con el griego antiguo y varios idiomas de Asia y el Pacífico y en 1984 publicó un libro de frases políglota sobre 25 de estos últimos, incluidos "birmano, coreano, japonés, fiyiano y tahitiano". [10] Hamblin, un amante de la música clásica que tocaba el piano, estaba poniendo música a palabras de Wittgenstein mientras estaba hospitalizado por una aflicción que resultó fatal.

Estaba casado con Rita Hamblin. [11] Tuvieron dos hijas, Fiona Katherine y Julie Claire. [12]

Murió en Darling Point, Nueva Gales del Sur, el 14 de mayo de 1985.

Publicaciones

Monografías

Artículos

Organizado por orden de fecha

La siguiente lista de monografías, artículos y artículos se basa en la lista de Peter McBurney en "Charles L. Hamblin: Computer Pioneer", publicada en línea el 27 de julio de 2008:

Patentes

Referencias

  1. ^ Jim Mackenzie y Philip Staines, "Charles Leonard Hamblin, 1922-1985", Australasian Journal of Philosophy , volumen 63, 1985, número 3, p. 384. Consultado el 31 de julio de 2022.
  2. ^ Peter McBurney, "Homenaje a un pionero australiano de la informática", The Sydney Morning Herald , 25 de noviembre de 2003. Consultado el 25 de noviembre de 2003.
  3. ^ A mediados de la década de 1970, la mayoría de los científicos del mundo occidental utilizaban calculadoras basadas en el sistema lógico de notación polaca inversa desarrollado por el profesor Charles Hamblin de la UNSW, UNSW Newsroom, unsw.edu.au. Consultado el 31 de julio de 2022.
  4. ^ CL Hamblin, "Un esquema de codificación sin direcciones basado en notación matemática", mayo de 1957, Universidad Tecnológica de Nueva Gales del Sur. (mecanografiado)
  5. ^ Bauer, FL y Samelson, K., Sequential Formula Translation , Communications of the ACM 3(2): 76–83, 1960. Un artículo muy influyente para los compiladores
  6. ^ Charles Leonard Hamblin 1922-1985, ancestry.com. Consultado el 31 de julio de 2022.
  7. ^ ab "Un saludo a Charles Hamblin". Sociedad Australiana del Museo de la Computación.
  8. ^ Lenguaje de programación GEORGE - FOLDOC
  9. ^ Peter Øhrstrøm; Según FV Hasle (1995). Lógica temporal: de las ideas antiguas a la inteligencia artificial . Saltador. ISBN 978-0-7923-3586-3.págs. 176–178, 210, 304–309
  10. ^ "Estantería de abril (Angus & Robertson)", The Age , 7 de abril de 1984, p. 181.
  11. ^ Julie Hamblin, "Rita Hamblin, la voz de ABC en un mundo de hombres", The Sydney Morning Herald , 29 de noviembre de 2021. Consultado el 31 de julio de 2022.
  12. ^ "Avisos familiares", The Canberra Times , 16 de mayo de 1985, pág. 21.

Otras lecturas

enlaces externos