Charles Leonard Hamblin

Charles Leonard Hamblin (1922 – 14 May 1985) was an Australian philosopher, logician, and computer pioneer, as well as a professor of philosophy at the New South Wales University of Technology (now the University of New South Wales) in Sydney.

Among his most well-known achievements in the area of computer science was the introduction of Reverse Polish Notation and the use in 1957 of a push-down pop-up stack.[1] This preceded the work of Friedrich Ludwig Bauer and Klaus Samelson on use of a push-pop stack.[2] The stack had been invented by Alan Turing in 1946 when he introduced such a stack in his design of the ACE computer. Hamblin's most well-known contribution to philosophy is his book Fallacies, a standard work in the area of the false conclusions in logic.

Career and life

Interrupted by the Second World War and radar service in the Australian Air Force, Hamblin's studies included mathematics, physics, and philosophy at the University of Melbourne, and he obtained a doctorate in 1957 at the London School of Economics. From 1955, he was lecturer at N.S.W. University of Technology, and later professor of philosophy at the same place, until his death in 1985, during which time the organization had been renamed The University of New South Wales.

In the second half of the 1950s, Hamblin worked with the third computer available in Australia, a DEUCE computer manufactured by the English Electric Company. For the DEUCE, he designed one of the first programming languages, later called GEORGE,[3] which was based on Reverse Polish Notation. His associated compiler (language translator) translated the programs formulated in GEORGE into the machine language of the computer, in 1957.

Hamblin's work is considered to be the first to use Reverse Polish Notation, and this is why he is called an inventor of this representation method. Regardless of whether Hamblin independently invented the notation and its usage, he showed the merit, service, and advantage of the Reverse Polish way of writing programs for the processing on programmable computers and algorithms to make it happen.

The second direct result of his work with the development of compilers was the concept of the push-pop stack (previously invented by Alan M. Turing for the ACE in 1945), which Hamblin developed independently of Friedrich Ludwig Bauer and Klaus Samelson, and for which in 1957 he was granted a patent for the use of a push-pop stack for the translation by programming languages. [reference?] In the same year, 1957, Hamblin presented his stack concept at the first Australian Computer Conference. The compiler was running before that conference. Hamblin's work had an impact on the development of stack-based computers, their machine instructions, their arguments on a stack, and reference addresses. The design was taken up by English Electric in their KDF9 computer, delivered in 1963.

Into the 1960s, Hamblin again increasingly turned to philosophical questions. Besides writing an influential introductory book into the formal logic which is today a standard work on fallacies. It dedicated itself to the treatment of false conclusions by the traditional logic and brought in it formal dialectic and developed it further. As such, Hamblin is considered as one of the founders of the modern informal logic.

Hamblin contributed to the development of modern temporal logic in two ways. In its very early period he corresponded with Arthur Prior between 1958 and 1965; this collaboration culminated with the so-called Hamblin implications. Later in 1972 Hamblin independently rediscovered a form of duration calculus (interval logic), without being aware of the 1947 work of A. G. Walker on this topic, who was not interested in the tense aspect. Hamblin's duration calculus is very similar to that later developed by James Allen and Patrick J. Hayes in the mid 1980s.[4]

In addition to ancient Greek, Hamblin was familiar with several Asian and Pacific languages. A classical music lover who played the piano, Hamblin was setting words of Wittgenstein to music while hospitalized with an affliction that proved fatal.

Works

Monographs

Influential articles

Patents

Publications[5]

Notes

  1. ↑ C. L. Hamblin, "An Addressless Coding Scheme based on Mathematical Notation", May 1957, N.S.W. University of Technology. (typescript)
  2. ↑ Bauer, F.L., and Samelson, K., Sequential Formula Translation, Communications of the ACM 3(2): 76-83, 1960. A very influential paper for compilers
  3. ↑ GEORGE programming language - FOLDOC
  4. ↑ Peter Øhrstrøm; Per F. V. Hasle (1995). Temporal logic: from ancient ideas to artificial intelligence. Springer. ISBN 978-0-7923-3586-3. pp. 176-178, 210, 304-309
  5. ↑ Cf. Peter McBurney, "Charles L. Hamblin: Computer Pioneer", 27 July 2008.

References

This article is issued from Wikipedia - version of the Thursday, April 14, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.