Charlesa Leonarda Hamblina

Charlesa Leonarda Hamblina
Charles Hamblin, Australian philosopher, logician and computer pioneer.png
Urodzić się
Charlesa Leonarda Hamblina

( 1922-11-20 ) 20 listopada 1922
Petersham, Nowa Południowa Walia , Nowa Południowa Walia
Zmarł 14 maja 1985 ( w wieku 62) ( 14.05.1985 )
Darling Point, Nowa Południowa Walia , Nowa Południowa Walia , Australia
zawód (-y)

Filozof Logik Informatyk
Znany z Odwrotna notacja polska

Charles Leonard Hamblin (20 listopada 1922 - 14 maja 1985) był australijskim filozofem, logikiem i pionierem komputerów, a także profesorem filozofii na New South Wales University of Technology (obecnie University of New South Wales ) w Sydney .

Do jego najbardziej znanych osiągnięć w dziedzinie informatyki należało wprowadzenie odwróconej notacji polskiej i użycie w 1957 roku wysuwanego stosu wyskakującego . Poprzedziło to prace Friedricha Ludwiga Bauera i Klausa Samelsona nad użyciem stosu push-pop. Stos został wynaleziony przez Alana Turinga w 1946 roku, kiedy wprowadził taki stos do swojego projektu komputera ACE. W filozofii Hamblin jest znany ze swojej książki Fallacies , standardowej pracy w obszarze fałszywych wniosków w logice. W semantyce formalnej Hamblin jest znany ze swojego obliczeniowego modelu dyskursu , a także semantyki Hamblina (lub semantyki alternatywnej), podejścia do semantyki pytań.

Kariera i życie

Hamblin urodził się w Petersham w Nowej Południowej Walii 20 listopada 1922 r. Jego rodzicami byli Charles Oswald Hamblin i Katherine May Whyte. Uczęszczał do North Sydney Boys High School i Geelong Grammar . Przerwane przez II wojnę światową i służbę radarową w australijskich siłach powietrznych, studia Hamblina obejmowały sztukę (filozofię i matematykę), naukę (fizykę) oraz tytuł magistra filozofii (z wyróżnieniem pierwszej klasy) na Uniwersytecie w Melbourne . Uzyskał doktorat w 1957 roku w London School of Economics na temat języka i teorii informacji , najwyraźniej pod kierunkiem Karla Poppera , krytykując teorię informacji Claude'a Shannona z semantycznej perspektywy. Od 1955 roku był wykładowcą na NSW University of Technology, a później profesorem filozofii w tym samym miejscu, aż do śmierci w 1985 roku, kiedy to organizacja została przemianowana na The University of New South Wales.

W drugiej połowie lat pięćdziesiątych Hamblin pracował z trzecim komputerem dostępnym w Australii, komputerem DEUCE wyprodukowanym przez English Electric Company . Dla DEUCE zaprojektował jeden z pierwszych języków programowania, nazwany później GEORGE, oparty na odwrotnej notacji polskiej. Związany z nim kompilator (tłumacz języka) przetłumaczył programy sformułowane w GEORGE na język maszynowy komputera w 1957 roku.

Dzieło Hamblina jest uważane za pierwsze, w którym zastosowano odwróconą notację polską, dlatego nazywany jest wynalazcą tej metody reprezentacji. Niezależnie od tego, czy Hamblin samodzielnie wynalazł notację i jej użycie, pokazał zalety, usługi i zalety odwrotnego polskiego sposobu pisania programów do przetwarzania na programowalnych komputerach i algorytmów, które to umożliwiają.

Drugim bezpośrednim rezultatem jego pracy nad rozwojem kompilatorów była koncepcja stosu push-pop (wcześniej wynalezionego przez Alana M. Turinga dla ACE w 1945 r.), którą Hamblin rozwinął niezależnie od Friedricha Ludwiga Bauera i Klausa Samelsona. W tym samym roku 1957 Hamblin przedstawił swoją koncepcję stosu na pierwszej australijskiej konferencji komputerowej. Kompilator działał przed tą konferencją. Praca Hamblina wpłynęła na rozwój komputerów opartych na stosie, ich instrukcji maszynowych, ich argumentów na stosie i adresów referencyjnych. Projekt został przejęty przez English Electric w ich komputerze KDF9, dostarczonym w 1963 roku.

W latach sześćdziesiątych Hamblin ponownie coraz częściej zwracał się ku kwestiom filozoficznym. Napisał wpływową książkę wprowadzającą na temat logiki formalnej , która jest dziś standardową pracą na temat błędów . Skupił się na traktowaniu fałszywych wniosków przez tradycyjną logikę i wprowadził do tego traktowania formalną dialektykę i rozwinął ją dalej. Jako taki, Hamblin jest uważany za jednego z założycieli współczesnej logiki nieformalnej. [ potrzebne źródło ]

Hamblin przyczynił się do rozwoju współczesnej logiki temporalnej na dwa sposoby. W bardzo wczesnym okresie korespondował z Arthurem Priorem w latach 1958-1965; kulminacją tej współpracy były tak zwane implikacje Hamblina. Później, w 1972 roku, Hamblin niezależnie ponownie odkrył formę rachunku czasu trwania ( logikę interwałową ), nie będąc świadomym pracy AG Walkera z 1947 roku na ten temat, który nie był zainteresowany aspektem czasu. Rachunek czasu trwania Hamblina jest bardzo podobny do rachunku opracowanego później przez Jamesa Allena i Patricka J. Hayesa w połowie lat osiemdziesiątych.

Hamblin był zaznajomiony ze starożytną greką i kilkoma językami Azji i Pacyfiku, aw 1984 roku opublikował wielojęzyczny rozmówki na temat 25 z tych ostatnich, w tym „birmańskiego, koreańskiego, japońskiego, fidżyjskiego i tahitańskiego”. Miłośnik muzyki klasycznej, który grał na pianinie, Hamblin układał słowa Wittgensteina do muzyki podczas pobytu w szpitalu z dolegliwością, która okazała się śmiertelna.

Był żonaty z Ritą Hamblin. Mieli dwie córki, Fionę Katherine i Julie Claire.

Zmarł w Darling Point w Nowej Południowej Walii 14 maja 1985 r.

Publikacje

Monografie

  •       Błędy . Methuen London 1970, ISBN 0-416-14570-1 i ISBN 0-416-70070-5 (oprawa miękka), nowe wydanie 2004 z Vale Press, ISBN 0-916475-24-7 (oprawa miękka) - nawet dzisiaj praca standardowa do tematu.
  •   Elementarna logika formalna: kurs programowany . Londyn: Methuen, 1967, ISBN 0-416-69820-4
  •   imperatywy . Blackwell Oxford 1987, ISBN 0-631-15193-1 .
  • Język i teoria informacji . Praca doktorska, program logiki i metod naukowych, University of London , Londyn, Wielka Brytania. Nadzorowany przez Karla Poppera , złożony w październiku 1956, nagrodzony w 1957.
  •   Języki Azji i Pacyfiku: Rozmówki podróżników . Londyn: Angus & Robertson Publishers, 1984, ISBN 0-207-13628-9 .

Artykuły

  • „Tłumaczenie na iz notacji polskiej”. The Computer Journal 5/3, październik 1962, s. 210–213
  • „Schemat kodowania bezadresowego oparty na notacji matematycznej”. WRE Conference on Computing: Proceedings , Salisbury, Weapons Research Establishment 1957
  • „GEORGE, schemat kodowania bezadresowego dla DEUCE” . Australijski Komitet Narodowy ds. Obliczeń i Automatycznego Sterowania, Podsumowanie Proceedings of First Conference , Paper C6.1, 1960
  • „Języki komputerowe”. The Australian Journal of Science 20, s. 135-139. Przedruk w The Australian Computer Journal 17/4, s. 195–198 (listopad 1985)
  • „Pytania w języku Montague English”. Podstawy języka , 1973, 10: 41–53.

Ułożone według daty

Poniższa lista monografii, artykułów i artykułów jest oparta na liście Petera McBurneya w „Charles L. Hamblin: Computer Pioneer” , opublikowanej online 27 lipca 2008 r.:

  • CL Hamblin [1957]: Bezadresowy schemat kodowania oparty na notacji matematycznej. Proceedings of the First Australian Conference on Computing and Data Processing, Salisbury, South Australia: Weapons Research Establishment, czerwiec 1957.
  • CL Hamblin [1957]: Języki komputerowe. The Australian Journal of Science, 20: 135–139. Przedrukowano tutaj w The Australian Computer Journal, 17 (4): 195–198 (listopad 1985).
  • CL Hamblin [1957]: Recenzja: WR Ashby: Wprowadzenie do cybernetyki. Australasian Journal of Philosophy, 35.
  • CL Hamblin [1958]: Pytania. Australasian Journal of Philosophy, 36 (3): 159–168.
  • CL Hamblin [1958]: Przegląd: Czas i modalność, autorstwa AN Prior. Australasian Journal of Philosophy, 36: 232–234.
  • CL Hamblin [1958]: Niespodzianki, innowacje i prawdopodobieństwa. Proceedings of the ANU Symposium on Surprise, Canberra, lipiec 1958.
  • CL Hamblin [1958]: Przegląd: Analiza formalna systemów normatywnych, autor: AR Anderson. Australasian Journal of Philosophy, 36.
  • CL Hamblin [1958]: Podręcznik programowania GEORGE. Powielony, 1958. Poprawione i powiększone, 1959.
  • CL Hamblin [1959]: Modalny „Prawdopodobnie”. Umysł, Nowa seria, 68: 234–240.
  • CL Hamblin [1962]: Tłumaczenie na iz notacji polskiej. Dziennik komputerowy, 5: 210–213.
  • CL Hamblin [1963]: Pytania nie są stwierdzeniami. Filozofia nauki, 30 (1): 62–63.
  • RJ Gillings i CL Hamblin [1964]: Babilońskie tablice odwrotności na UTECOM. Technology, 9 (2): 41–42, sierpień 1964. Rozszerzona wersja ukazała się w Australian Journal of Science, 27, 1964.
  • CL Hamblin [1964]: Czy prawdopodobieństwo ma jakieś podstawy? Proceedings of the Symposium on Probability of the Statistical Society of New South Wales, maj 1964. Przedrukowano w Science Yearbook, University of New South Wales, Sydney, 1964.
  • CL Hamblin [1964]: Przegląd: Komunikacja: model logiczny, autor: D. Harrah. Australasian Journal of Philosophy, 42.
  • CL Hamblin [1964]: Przegląd: Analiza pytań autorstwa ND Belnap. Australasian Journal of Philosophy, 42.
  • CL Hamblin [1965]: Recenzja: Przedmowa do logiki nauki autorstwa P. Alexandra. The British Journal for the Philosophy of Science, 15 (60): 360–362.
  • CL Hamblin [1966]: Elementarna logika formalna, programowany kurs. (Sydney: Hicks Smith). Ponownie opublikowane przez Methuen, w Londynie, Wielka Brytania, 1967. Przetłumaczone również na język szwedzki przez J. Mannerheima, pod tytułem: Element "ar Logik, ein programrad kurs. (Sztokholm: Laromedelsf"orlagen, 1970).
  • CL Hamblin [1967]: Logika jednowartościowa. Kwartalnik filozoficzny, 17: 38–45.
  • CL Hamblin [1967]: Pytania, logika. Encyklopedia filozofii . (Nowy Jork: Collier Macmillan).
  • CL Hamblin [1967]: Algorytm operacji wielomianowych. Dziennik komputerowy, 10.
  • CL Hamblin [1967]: Przegląd: New Approaches to the Logical Theory of Interrogatives, L. Aqvist. Australasian Journal of Philosophy, 44.
  • CL Hamblin [1969]: Uruchamianie i zatrzymywanie. Monista, 53: 410–425.
  • CL Hamblin [1970]: Błędy. Londyn, Wielka Brytania: Methuen.
  • CL Hamblin [1970]: Efekt, kiedy to się mówi. Teoria, 36: 249–264.
  • CL Hamblin [1971]: Matematyczne modele dialogu. Teoria, 37: 130-155.
  • CL Hamblin [1971]: Momenty i interwały. Studium Generale, 24: 127-134.
  • CL Hamblin [1972]: Ty i ja. Analiza, 33: 1–4.
  • CL Hamblin [1972]: Rozterki i logika reguł. Journal of Philosophical Logic, 1: 74–85.
  • CL Hamblin [1973]: Pytania w języku Montague English. Podstawy języka, 10: 41–53.
  • CL Hamblin [1973]: Szczęśliwy fragment rachunku predykatów. Notre Dame Journal of Formal Logic . 14: 433–446.
  • CL Hamblin [1974]: La logica dell'iniziare e del cessare. Tłumaczenie C. Pizziego na język włoski niepublikowanego artykułu: Logika uruchamiania i zatrzymywania. Strony 295–317 w: C. Pizzi (redaktor): La Logica del Tempo. Turyn: Bringhieri.
  • CL Hamblin [1975]: kolega Creswella, TLM. Nous, 9 (2): 205–210.
  • CL Hamblin [1975]: Saccherowskie argumenty i samozastosowanie logiki. Australasian Journal of Philosophy, 53: 157–160.
  • CL Hamblin [1976]: Ulepszony „Pons Asinorum”? Journal of the History of Philosophy, 14: 131–136.
  • CL Hamblin [1984]: Języki Azji i Pacyfiku: Rozmówki dla podróżników i studentów. (North Ryde, NSW: Angus i Robertson).
  • CL Hamblin [1987]: Imperatywy. Oksford, Wielka Brytania: Basil Blackwell.
  • CL Hamblin i PJ Staines [1992]: Niezwykle prosta teoria sylogizmu. Logika i analiza, 35: 81.

Patenty

  • US2849706 „Obwody elektroniczne do wyprowadzania napięcia proporcjonalnego do logarytmu wielkości zmiennej”. Zastosowano 3 lutego 1953 r. (Zastosowano w Wielkiej Brytanii 4 lutego 1952 r.), Przyznano 21 sierpnia 1958 r.
  • US3008640 „Elektryczne urządzenie obliczeniowe”. Zastosowano 11 października 1954 r. (Zastosowano w Wielkiej Brytanii 13 października 1953 r.), Przyznano 14 listopada 1961 r.

Dalsza lektura

Linki zewnętrzne

Pobrano z „ https://en.wikipedia.org/w/index.php?title=Charles_Leonard_Hamblin&oldid=1116669373 ”