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
- Falacias . Methuen London 1970, ISBN 0-416-14570-1 e ISBN 0-416-70070-5 (rústica), nueva edición de 2004 con Vale Press, ISBN 0-916475-24-7 (rústica), incluso hoy en día una obra estándar al tema.
- Lógica Formal Elemental: Curso Programado . Londres: Methuen, 1967, ISBN 0-416-69820-4
- Imperativos . Blackwell Oxford 1987, ISBN 0-631-15193-1 .
- Lenguaje y teoría de la información . Tesis Doctoral, Programa de Lógica y Método Científico, Universidad de Londres , Londres, Reino Unido. Supervisado por Karl Popper , presentado en octubre de 1956, adjudicado en 1957.
- Idiomas de Asia y el Pacífico: un libro de frases para viajeros . Londres: Angus & Robertson Publishers, 1984, ISBN 0-207-13628-9 .
- La lingüística y las partes de la mente: o cómo construir una máquina con la que valga la pena hablar . Cambridge Scholars Publishing, Cambridge 2017, ISBN 1-527-50292-9 , editado por el Dr. Phillip Staines
Artículos
- "Traducción hacia y desde la notación polaca". The Computer Journal 5/3, octubre de 1962, págs. 210-213
- '"Un esquema de codificación sin direcciones basado en notación matemática". Conferencia WRE sobre informática: actas , Salisbury, establecimiento de investigación de armas 1957
- "GEORGE, un esquema de codificación sin direcciones para DEUCE". Comité Nacional Australiano de Computación y Control Automático, Actas resumidas de la primera conferencia , documento C6.1, 1960
- "Lenguajes informáticos". La Revista Australiana de Ciencias 20, págs. 135-139. Reimpreso en The Australian Computer Journal 17/4, págs. 195-198 (noviembre de 1985)
- "Preguntas en inglés Montague". Fundamentos del lenguaje , 1973, 10: 41–53.
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:
- CL Hamblin [1957]: Un esquema de codificación sin dirección basado en notación matemática. Actas de la Primera Conferencia Australiana sobre Computación y Procesamiento de Datos, Salisbury, Australia del Sur: Establecimiento de investigación de armas, junio de 1957.
- CL Hamblin [1957]: Lenguajes informáticos. La Revista Australiana de Ciencias, 20: 135–139. Reimpreso aquí en The Australian Computer Journal, 17(4): 195–198 (noviembre de 1985).
- CL Hamblin [1957]: Reseña de: WR Ashby: Introducción a la cibernética. Revista de Filosofía de Australasia, 35.
- CL Hamblin [1958]: Preguntas. Revista de Filosofía de Australasia, 36(3): 159–168.
- CL Hamblin [1958]: Reseña de: Tiempo y modalidad, de AN Prior. Revista de Filosofía de Australasia, 36: 232–234.
- CL Hamblin [1958]: Sorpresas, innovaciones y probabilidades. Actas del Simposio de la ANU sobre sorpresa, Canberra, julio de 1958.
- CL Hamblin [1958]: Reseña de: Análisis formal de sistemas normativos, por AR Anderson. Revista de Filosofía de Australasia, 36.
- CL Hamblin [1958]: Manual de programación de GEORGE. Duplicado, 1958. Revisado y ampliado, 1959.
- CL Hamblin [1959]: El modal "Probablemente". Mente, Nueva Serie, 68: 234–240.
- CL Hamblin [1962]: Traducción hacia y desde la notación polaca. Diario de computadora, 5: 210–213.
- CL Hamblin [1963]: Las preguntas no son declaraciones. Filosofía de la ciencia, 30(1): 62–63.
- RJ Gillings y CL Hamblin [1964]: Tablas recíprocas babilónicas en UTECOM. Technology, 9 (2): 41–42, agosto de 1964. Una versión ampliada apareció en Australian Journal of Science, 27, 1964.
- CL Hamblin [1964]: ¿Tiene la probabilidad algún fundamento? Actas del Simposio sobre probabilidad de la Sociedad de Estadística de Nueva Gales del Sur, mayo de 1964. Reproducido en Science Yearbook, Universidad de Nueva Gales del Sur, Sydney, 1964.
- CL Hamblin [1964]: Reseña de: Comunicación: un modelo lógico, por D. Harrah. Revista de Filosofía de Australasia, 42.
- CL Hamblin [1964]: Reseña de: Análisis de preguntas, por ND Belnap. Revista de Filosofía de Australasia, 42.
- CL Hamblin [1965]: Reseña de: Prefacio a la lógica de la ciencia, por P. Alexander. La Revista Británica de Filosofía de la Ciencia, 15(60): 360–362.
- CL Hamblin [1966]: Lógica formal elemental, un curso programado. (Sídney: Hicks Smith). Republicado por Methuen, en Londres, Reino Unido, 1967. También traducido al sueco por J. Mannerheim, bajo el título: Element"ar Logik, ein programrad kurs. (Estocolmo: Laromedelsf"orlagen, 1970).
- CL Hamblin [1967]: Lógica univaluada. Filosófico trimestral, 17: 38–45.
- CL Hamblin [1967]: Preguntas, lógica de. Enciclopedia de Filosofía. (Nueva York: Collier Macmillan).
- CL Hamblin [1967]: Un algoritmo para operaciones polinomiales. Diario de informática, 10.
- CL Hamblin [1967]: Reseña de: Nuevos enfoques de la teoría lógica de los interrogativos, por L. Aqvist. Revista de Filosofía de Australasia, 44.
- CL Hamblin [1969]: Empezar y parar. El monista, 53: 410–425.
- CL Hamblin [1970]: Falacias. Londres, Reino Unido: Methuen.
- CL Hamblin [1970]: El efecto de cuando se dice. Teoría, 36: 249–264.
- CL Hamblin [1971]: Modelos matemáticos de diálogo. Teoria, 37: 130-155.
- CL Hamblin [1971]: Instantes e intervalos. Estudio General, 24: 127-134.
- CL Hamblin [1972]: Tú y yo. Análisis, 33: 1–4.
- CL Hamblin [1972]: Los dilemas y la lógica de las reglas. Revista de lógica filosófica, 1: 74–85.
- CL Hamblin [1973]: Preguntas en inglés montague. Fundamentos del lenguaje, 10: 41–53.
- CL Hamblin [1973]: Un feliz fragmento del cálculo de predicados. Revista de lógica formal de Notre Dame. 14: 433–446.
- CL Hamblin [1974]: La logica dell'iniziare e del cessare. Traducción italiana de C. Pizzi de un artículo inédito: La lógica del empezar y del parar. Páginas 295–317 en: C. Pizzi (Editor): La Logica del Tempo. Turín: Bringhieri.
- CL Hamblin [1975]: TLM, colega de Creswell. Nosotros, 9(2): 205–210.
- CL Hamblin [1975]: Los argumentos saccherianos y la autoaplicación de la lógica. Revista de Filosofía de Australasia, 53: 157–160.
- CL Hamblin [1976]: ¿Un "Pons Asinorum" mejorado? Revista de Historia de la Filosofía, 14: 131-136.
- CL Hamblin [1984]: Idiomas de Asia y el Pacífico: un libro de frases para viajeros y estudiantes. (North Ryde, Nueva Gales del Sur: Angus y Robertson).
- CL Hamblin [1987]: Imperativos. Oxford, Reino Unido: Basil Blackwell.
- CL Hamblin y PJ Staines [1992]: Una teoría extraordinariamente simple del silogismo. Logique et Analyse, 35: 81.
Patentes
- US2849706 "Circuitos electrónicos para derivar un voltaje proporcional al logaritmo de la magnitud de una cantidad variable". Aplicado el 3 de febrero de 1953 (aplicado en Gran Bretaña el 4 de febrero de 1952), concedido el 21 de agosto de 1958.
- US3008640 "Aparato de computación eléctrica". Aplicado el 11 de octubre de 1954 (aplicado en Gran Bretaña el 13 de octubre de 1953), concedido el 14 de noviembre de 1961.
Referencias
- ^ 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.
- ^ 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.
- ^ 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.
- ^ 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)
- ^ 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
- ^ Charles Leonard Hamblin 1922-1985, ancestry.com. Consultado el 31 de julio de 2022.
- ^ ab "Un saludo a Charles Hamblin". Sociedad Australiana del Museo de la Computación.
- ^ Lenguaje de programación GEORGE - FOLDOC
- ^ 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
- ^ "Estantería de abril (Angus & Robertson)", The Age , 7 de abril de 1984, p. 181.
- ^ 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.
- ^ "Avisos familiares", The Canberra Times , 16 de mayo de 1985, pág. 21.
Otras lecturas
- Sam Butchart, "Critical Thinking", en: Graham Oppy y NN Trakakis, A Companion to Philosophy in Australia and New Zealand , Monash University Publishing, 2010, págs.
- SA Grace, A History of Philosophy in Australia , St. Lucia, Qld., Australia: University of Queensland Press, 1984, capítulo "Lógica y áreas relacionadas", pág. 183.
- Jim Mackenzie, "De qué se trataban las falacias del libro de Hamblin", en: Lógica informal , 31 (4): 262-278 (2011).
- Greg Restall, "Classical Logic", en: en: Graham Oppy y NN Trakakis, A Companion to Philosophy in Australia and New Zealand , Monash University Publishing, 2010, págs.
- Graham Williams, "Una tímida mezcla de lógica, matemáticas y lenguajes", en: The Sydney Morning Herald , 8 de junio de 1985, p. 44 y reimpreso como "Una tímida mezcla de lógica, matemáticas y lenguajes", The Age , 17 de junio de 198, p. 15.
enlaces externos
- Allen, Murray W. (1985), "Charles Hamblin (1922-1985)", The Australian Computer Journal , 17(4): 194-195.
- Número especial sobre Charles Hamblin, Lógica informal , vol. 31, núm. 4 (2011).
- McBurney, Peter, Un saludo a Charles Hamblin, vukutu.com, 10 de enero de 2011.
- McBurney, Peter, Charles L. Hamblin, en la Universidad de Liverpool .
- Von Fintel, Kai, Charles Leonard Hamblin, 5 de julio de 2013.
- CL Hamblin en PhilPapers