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 Sídney . [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 push-down . [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 introdujo dicha pila en su diseño de la computadora ACE. En filosofía, Hamblin es conocido por su libro Fallacies , una obra estándar en el área 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 a 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 la North Sydney Boys High School y a la 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 Lenguaje y 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 el tercer ordenador disponible en Australia, un ordenador DEUCE fabricado por la English Electric Company . Para el DEUCE, diseñó uno de los primeros lenguajes de programación, posteriormente llamado GEORGE, [8] que se basaba en la notación polaca inversa. Su compilador asociado (traductor de lenguaje) tradujo los programas formulados en GEORGE al lenguaje de máquina del ordenador en 1957.

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

El segundo resultado directo de su trabajo con el desarrollo de compiladores fue el concepto de pila push-pop (inventada previamente por Alan M. Turing para el ACE en 1945), que Hamblin desarrolló independientemente de Friedrich Ludwig Bauer y Klaus Samelson. En el mismo año, 1957, Hamblin presentó su concepto de pila en la primera Conferencia Australiana de Computación. El compilador ya estaba en funcionamiento antes de esa conferencia. El trabajo de Hamblin influyó en el desarrollo de los ordenadores basados ​​en pila, sus instrucciones de máquina, sus argumentos en una pila y las direcciones de referencia. El diseño fue adoptado por English Electric en su ordenador KDF9, entregado en 1963.

En la década de 1960, Hamblin volvió a centrarse cada vez más en cuestiones filosóficas. Escribió un influyente libro introductorio sobre lógica formal que hoy es una obra de referencia sobre falacias . Se centró en el tratamiento de las conclusiones falsas mediante la lógica tradicional e incorporó a 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 requerida ]

Hamblin contribuyó al desarrollo de la lógica temporal moderna de dos maneras. En su período más temprano, mantuvo correspondencia con Arthur Prior entre 1958 y 1965; esta colaboración culminó con las llamadas implicaciones de Hamblin. Más tarde, en 1972, Hamblin redescubrió de forma independiente una forma de cálculo de duración ( lógica de intervalos ), sin estar al tanto del trabajo de 1947 de AG Walker sobre este tema, quien no estaba interesado en el aspecto temporal. El cálculo de duración de Hamblin es muy similar al que desarrollaron posteriormente James Allen y Patrick J. Hayes a mediados de la década de 1980. [9]

Hamblin estaba familiarizado con el griego antiguo y con varios idiomas asiáticos y del 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] Amante de la música clásica que tocaba el piano, Hamblin ponía música a palabras de Wittgenstein mientras estaba hospitalizado por una afección que resultó fatal.

Estuvo 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 trabajos 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ág. 384. Consultado el 31 de julio de 2022.
  2. ^ Peter McBurney, "Tributo 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 dirección basado en notación matemática", mayo de 1957, Universidad Tecnológica de Nueva Gales del Sur. (texto 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 Computación.
  8. ^ Lenguaje de programación GEORGE - FOLDOC
  9. ^ Peter Øhrstrøm; Per FV Hasle (1995). Lógica temporal: de las ideas antiguas a la inteligencia artificial . Springer. 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ág. 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.

Lectura adicional

Enlaces externos