Charles Leonard Hamblin - Charles Leonard Hamblin

Charles Leonard Hamblin (1922 - 14. května 1985) byl australský filozof, logik a počítačový průkopník a profesor filozofie na New South Wales University of Technology (nyní University of New South Wales ) v Sydney .

Mezi jeho nejznámější úspěchy v oblasti počítačové vědy patřilo zavedení reverzní polské notace a použití rozevíracího zásobníku v roce 1957 . Toto předcházelo práci Friedricha Ludwiga Bauera a Klause Samelsona o použití push-pop zásobníku. Zásobník vynalezl Alan Turing v roce 1946, když představil takový zásobník ve své konstrukci počítače ACE. Ve filozofii je Hamblin známý pro svou knihu Klam , standardní dílo v oblasti falešných závěrů v logice. Ve formální sémantice je Hamblin známý svým výpočetním modelem diskurzu i Hamblinovou sémantikou (nebo alternativní sémantikou), což je přístup k sémantice otázek.

Kariéra a život

Hamblin navštěvoval North Sydney Boys High School a Geelong Grammar . Přerušena druhou světovou válkou a radarovou službou v australském letectvu zahrnovala Hamblinova studia umění (filozofie a matematika), vědy (fyzika) a magisterský titul z filozofie (vyznamenání první třídy) na univerzitě v Melbourne . Získal doktorát v roce 1957 na London School of Economics na téma jazyka a teorie informace , zřejmě pod Karla Poppera , critiquing Claude Shannon ‚s informační teorii ze sémantického hlediska. Od roku 1955 působil jako lektor na NSW University of Technology a později profesorem filozofie na stejném místě až do své smrti v roce 1985, kdy byla organizace přejmenována na University of New South Wales.

Ve druhé polovině padesátých let Hamblin pracoval s třetím počítačem dostupným v Austrálii, počítačem DEUCE vyráběným společností English Electric Company . Pro DEUCE navrhl jeden z prvních programovacích jazyků, později nazvaný GEORGE, který byl založen na reverzní polské notaci. Jeho přidružený překladač (překladač jazyků) v roce 1957 přeložil programy formulované v GEORGE do strojového jazyka počítače.

Hamblinova práce je považována za první, která používá reverzní polskou notaci, a proto je nazýván vynálezcem této metody reprezentace. Bez ohledu na to, zda Hamblin nezávisle vynalezl notaci a její použití, ukázal zásluhy, služby a výhody reverzního polského způsobu psaní programů pro zpracování na programovatelných počítačích a algoritmech, aby se tak stalo.

Druhým přímým výsledkem jeho práce s vývojem překladačů byl koncept push-pop stacku (dříve vynalezeného Alanem M. Turingem pro ACE v roce 1945), který Hamblin vyvinul nezávisle na Friedrichu Ludwigovi Bauerovi a Klausovi Samelsonovi. Ve stejném roce 1957 představil Hamblin svůj koncept zásobníku na první australské počítačové konferenci. Překladač běžel před touto konferencí. Hamblinova práce ovlivnila vývoj počítačů založených na zásobníku, jejich strojové instrukce, jejich argumenty v zásobníku a referenční adresy. Návrh převzala společnost English Electric ve svém počítači KDF9 dodaném v roce 1963.

V šedesátých letech se Hamblin opět čím dál více věnoval filozofickým otázkám. Napsal vlivnou úvodní knihu o formální logice, která je dnes standardní prací o omylech . Zaměřilo se na zacházení s falešnými závěry tradiční logikou a do této léčby přivedlo formální dialektiku a dále ji rozvíjelo. Jako takový je Hamblin považován za jednoho ze zakladatelů moderní neformální logiky.

Hamblin přispěl k rozvoji moderní časové logiky dvěma způsoby. Ve velmi raném období si dopisoval s Arthurem Priorem v letech 1958 až 1965; tato spolupráce vyvrcholila takzvanými Hamblinovými implikacemi . Později v roce 1972 Hamblin znovuobjevil samostatně formu kalkulu trvání ( intervalová logika ), aniž by si byl vědom práce AG Walkera z roku 1947 na toto téma, která se o napjatý aspekt nezajímala. Hamblinův počet trvání je velmi podobný tomu, který později vyvinuli James Allen a Patrick J. Hayes v polovině 80. let.

Hamblin znal starou řečtinu a několik asijských a tichomořských jazyků a v roce 1984 vydal polyglotický slovníček 25 z nich, včetně „barmštiny, korejštiny, japonštiny, fidžijštiny a tahitštiny“. Hamblin, milovník klasické hudby, který hrál na klavír, zhudebňoval slova Wittgensteina, zatímco byl hospitalizován s utrpením, které se stalo osudným.

Byl ženatý s Ritou Hamblinovou. Měli dvě dcery, Fionu Katherine a Julie Claire.

Funguje

Monografie

  • Klamy . Methuen London 1970, ISBN   0-416-14570-1 a ISBN   0-416-70070-5 (brožovaná verze), nové vydání z roku 2004 s Vale Press, ISBN   0-916475-24-7 (brožovaná verze) - i dnes standardní práce k tématu
  • Základní formální logika: Programovaný kurz . Methuen London 1967, ISBN   0-416-69820-4
  • Imperativy . Blackwell Oxford 1987, ISBN   0-631-15193-1
  • Jazyk a teorie informací . Program disertační práce, program logiky a vědeckých metod, University of London , London, UK. Pod dohledem Karla Poppera , předloženého v říjnu 1956, uděleného v roce 1957.

Vlivné články

  • Překlad do az polské notace . Počítačový deník 5/3, říjen 1962, str. 210–213
  • Schéma kódování bez adresy založené na matematické notaci . Konference WRE o výpočetní technice, sborníky, Salisbury: Weapons Research establishment 1957
  • GEORGE, schéma kódování bez adresy pro DEUCE . Australský národní výbor pro výpočet a automatické řízení, shrnutí sborníku z první konference, příspěvek C6.1, 1960
  • Počítačové jazyky . Australský časopis Science 20, str. 135-139. Přetištěno v The Australian Computer Journal 17/4, str. 195–198 (listopad 1985)
  • CL Hamblin [1973]: Questions in Montague English. Foundations of Language, 10: 41–53.

Patenty

  • US2849706 „Elektronické obvody pro odvozování napětí úměrného logaritmu o velikosti proměnné veličiny“. Použito 3. února 1953 (použito ve Velké Británii 4. února 1952), uděleno 21. srpna 1958.
  • US3008640 "Elektrické výpočetní zařízení". Aplikováno 11. října 1954 (aplikováno ve Velké Británii 13. října 1953), uděleno 14. listopadu 1961.

Publikace

Zdroje:

  • CL Hamblin [1957]: Adresní kódovací schéma založené na matematické notaci. Proceedings of the First Australian Conference on Computing and Data Processing, Salisbury, South Australia: Weapons Research Establishment, June 1957.
  • CL Hamblin [1957]: Počítačové jazyky. Australian Journal of Science, 20: 135–139. Přetištěno v The Australian Computer Journal, 17 (4): 195–198 (listopad 1985).
  • CL Hamblin [1957]: Recenze: WR Ashby: Úvod do kybernetiky. Australasian Journal of Philosophy, 35.
  • CL Hamblin [1958]: Dotazy. Australasian Journal of Philosophy, 36 (3): 159–168.
  • CL Hamblin [1958]: Recenze: Čas a modalita, AN Prior. Australasian Journal of Philosophy, 36: 232–234.
  • CL Hamblin [1958]: Překvapení, inovace a pravděpodobnosti. Proceedings of the ANU Symposium on Surprise, Canberra, July 1958.
  • CL Hamblin [1958]: Recenze: Formální analýza normativních systémů, AR Anderson. Australasian Journal of Philosophy, 36.
  • CL Hamblin [1958]: Programovací příručka GEORGE. Duplikováno, 1958. Revidováno a zvětšeno, 1959.
  • CL Hamblin [1959]: Modální „pravděpodobně“. Mind, New Series, 68: 234–240.
  • CL Hamblin [1962]: Překlad do a z polské notace. Computer Journal, 5: 210–213.
  • CL Hamblin [1963]: Otázky nejsou výroky. Filozofie vědy, 30 (1): 62–63.
  • RJ Gillings a CL Hamblin [1964]: Babylonské vzájemné tabulky na UTECOM. Technology, 9 (2): 41–42, srpen 1964. Rozšířená verze se objevila v Australian Journal of Science, 27, 1964.
  • CL Hamblin [1964]: Má pravděpodobnost nějaké základy? Proceedings of the Symposium on Probability of the Statistical Society of New South Wales, May 1964. Reproduced in Science Yearbook, University of New South Wales, Sydney, 1964.
  • CL Hamblin [1964]: Recenze: Komunikace: Logický model, autor D. Harrah. Australasian Journal of Philosophy, 42.
  • CL Hamblin [1964]: Recenze: Analýza otázek, ND Belnap. Australasian Journal of Philosophy, 42.
  • CL Hamblin [1965]: Recenze: Předmluva k logice vědy, P. Alexander. British Journal for the Philosophy of Science, 15 (60): 360–362.
  • CL Hamblin [1966]: Elementární formální logika, programovaný kurz. (Sydney: Hicks Smith). Publikováno Methuenem v Londýně, UK, 1967. Do švédštiny také přeložil J. Mannerheim pod názvem: Element „ar Logik, ein programmerad kurs. (Stockholm: Laromedelsf“ orlagen, 1970).
  • CL Hamblin [1967]: Jednohodnotová logika. Philosophical Quarterly, 17: 38–45.
  • CL Hamblin [1967]: Otázky, logika. Encyklopedie filozofie. (New York: Collier Macmillan).
  • CL Hamblin [1967]: Algoritmus pro polynomiální operace. Computer Journal, 10.
  • CL Hamblin [1967]: Recenze: Nové přístupy k logické teorii vyšetřovatelů, L. Aqvist. Australasian Journal of Philosophy, 44.
  • CL Hamblin [1969]: Startování a zastavení. Monist, 53: 410–425.
  • CL Hamblin [1970]: Klam. Londýn, Velká Británie: Methuen.
  • CL Hamblin [1970]: Účinek, když se to řekne. Theoria, 36: 249–264.
  • CL Hamblin [1971]: Matematické modely dialogu. Theoria, 37: 130–155.
  • CL Hamblin [1971]: Okamžitosti a intervaly. Studium Generale, 24: 127–134.
  • CL Hamblin [1972]: Ty a I. Analýza, 33: 1–4.
  • CL Hamblin [1972]: Quandaries a logika pravidel. Journal of Philosophical Logic, 1: 74–85.
  • CL Hamblin [1973]: Questions in Montague English. Foundations of Language, 10: 41–53.
  • CL Hamblin [1973]: Skvělý fragment predikátového počtu. Deník Notre Dame formální logiky. 14: 433–446.
  • CL Hamblin [1974]: La logica dell'iniziare e del cessare. Italský překlad C. Pizziho z nepublikovaného článku: Logika spuštění a zastavení. Stránky 295–317 v: C. Pizzi (redaktor): La Logica del Tempo. Torino: Bringhieri.
  • CL Hamblin [1975]: Creswellův kolega TLM. Nous, 9 (2): 205–210.
  • CL Hamblin [1975]: Saccherské argumenty a vlastní aplikace logiky. Australasian Journal of Philosophy, 53: 157–160.
  • CL Hamblin [1976]: Vylepšené „Pons Asinorum“? Journal of the History of Philosophy, 14: 131–136.
  • CL Hamblin [1984]: Languages ​​of Asia and the Pacific: A Phrasebook for Travellers and Students. (North Ryde, NSW: Angus a Robertson).
  • CL Hamblin [1987]: Imperatives. Oxford, Velká Británie: Basil Blackwell.
  • CL Hamblin a PJ Staines [1992]: Mimořádně jednoduchá teorie sylogismu. Logique et Analyze, 35: 81.

Reference

Další čtení

externí odkazy