Steve Vickers (počítačový vědec) - Steve Vickers (computer scientist)

Steve Vickers
Steve Vickers sedí vedle televize s plochou obrazovkou, která je připojena k Jupiter ACE.
Steve Vickers s Jupiterem ACE
Státní občanství Spojené království
Alma mater University of Cambridge
University of Leeds
Známý jako Topologie přes firmware Logic
ZX Spectrum ROM
Vědecká kariéra
Pole Počítačová věda
Matematika
Instituce Imperial College London
The Open University
University of Birmingham
Teze Univerzální silně pravidelné prsteny  (1979)
Doktorský poradce Alfred Goldie

Steve Vickers (narozený c. 1953) je britský matematik a počítačový vědec . Na začátku 80. let napsal firmware ROM a manuály pro tři domácí počítače , Sinclair ZX81 a ZX Spectrum a Jupiter Ace . Ten vyrobil Jupiter Cantab , krátkodobá společnost, kterou Vickers založil společně s Richardem Altwasserem poté, co ti dva opustili Sinclair Research . Od konce osmdesátých let je Vickers akademikem v oblasti geometrické logiky a v odborných časopisech napsal více než 30 prací o matematických aspektech počítačové vědy. Jeho kniha Topologie prostřednictvím logiky ovlivnila řadu oborů (dokonce i teoretickou fyziku , kde Christopher Isham z Imperial College London citoval Vickerse jako raný vliv na jeho práci na topoi a kvantové gravitaci ). V říjnu 2018 odešel do důchodu jako odborný asistent na univerzitě v Birminghamu . Jak bylo oznámeno na jeho domovské stránce univerzity, nadále dohlíží na doktorandy na univerzitě a zaměřuje se na svůj výzkum.

Vzdělávání

Vickers vystudoval King's College v Cambridgi s titulem z matematiky a dokončil doktorát na univerzitě v Leedsu , rovněž z matematiky.

Výzkum Sinclair

V roce 1980 začal pracovat pro Nine Tiles, který předtím napsal Sinclair BASIC pro ZX80 . Byl zodpovědný za přizpůsobení paměti 4K ZX80 ROM na 8K ROM použitou v ZX81 a také napsal příručku ZX81. Poté napsal většinu ROM ZX Spectrum ROM a pomáhal s uživatelskou dokumentací.

Vickers odešel v roce 1982 a založil „Rainbow Computing Co.“ s Richardem Altwasserem . Ze společnosti se stal Jupiter Cantab a společně zodpovídali za vývoj komerčně neúspěšného Jupitera ACE , konkurenta podobného Sinclair ZX Spectrum .

Academia

Původně na katedře výpočetní techniky na Imperial College London , Vickers později nastoupil na katedru čisté matematiky na Open University, poté přešel na školu informatiky na univerzitě v Birminghamu , kde je v současné době docentem a školitelem výzkumu škola informatiky.

Výzkum

Vickersův hlavní zájem spočívá v geometrické logice. Jeho kniha Topologie prostřednictvím logiky představuje topologii z pohledu některých výpočetních vhledů, které vyvinuli Samson Abramsky a Mike Smyth. Zdůrazňuje bod bez přístupu a mohou být chápány jako zabývající se teorií v tzv geometrické logiky, která byla již známy z topos teorie a je přísnější forma intuitionistic logika . Kniha však byla napsána jazykem klasické matematiky .

Když rozšířil myšlenky na toosit (jako generalizované prostory), zjistil, že je nasměrován do konstruktivní matematiky v geometrické formě a v aktuálních kategoriích domén vytvořil program geometrizace, kde je to možné, s využitím této geometrické matematiky jako nástroje pro léčbu bezbodových mezery (a topose), jako by měly „dost bodů“. Velká část jeho následné práce byla v případových studiích, které ukázaly, že s vhodnými technikami bylo skutečně možné provádět užitečnou matematiku geometricky. Zejména pojem „geometrická transformace bodů do prostorů“ poskytuje přirozené fibrewisové zpracování topologických svazků. Jeho nedávným projektem bylo propojit to s toposovými přístupy k fyzice, které vyvinuli Chris Isham a další (viz Doering a Isham's What is a Thing? Topos Theory in the Foundations of Physics ) na Imperial College a skupina Klaase Landsmana na Radboud University Nijmegen (viz Heunen, Landsman a Spitters ' Topos pro algebraickou kvantovou teorii ).

Bibliografie

  • Steven Vickers, „Indukční princip pro důsledky v aritmetických vesmírech“, Journal of Pure and Applied Algebra 216 (8–9), ISSN 0022-4049, s. 1705-2068, 2012.
  • Jung, Achim a Moshier, M. Andrew a Vickers, Steven, „Presenting dcpos and dcpo algebras“, in Bauer, A. and Mislove, M., Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV), s. 209–229, Electronic Notes in Theoretical Computer Science, Elsevier, 2008.
  • Steven Vickers, „Kosmické paprsky a propojenost ve formální topologii“, Annals of Pure and Applied Logic, ISSN 0168-0072, 2009.
  • Steven Vickers, „Lokální teorie dolních a horních integrálů“, Mathematical Logic Quarterly, 54 (1), s. 109–103, 2008.
  • Steven Vickers, „Locales and toosit as spaces“, in Aiello, Marco and Pratt-Hartmann, Ian E. and van Benthem, Johan FAK, Springer, Handbook of Spatial Logics, Springer, 2007, ISBN  978-1-4020-5586- 7 , kapitola 8, s. 429–496.
  • Palmgren, Erik a Vickers, Steven, „Částečná rohová logika a kartézské kategorie“, Annals of Pure and Applied Logic, 145 (3), s. 314–353, ISSN 0168-0072, 2007.
  • Steven Vickers, „Lokální dokončení zobecněných metrických prostorů I, Teorie a aplikace kategorií“, ISSN 1201-561X, 14, s. 328–356, 2005.
  • Steven Vickers, „Lokální dokončení zobecněných metrických prostorů II: Powerlocales, Journal of Logic and Analysis“, ISSN 1759-9008, 1 (11), s. 1–48, 2009.
  • Steven Vickers, „Double powerlocale and exponentiation: a case study in geometric logic“, Theoretical Computer Science, ISSN 0304-3975, roč. 316, s. 297–321, 2004.
  • Steven Vickers, „Topical Categories of Domains“, ve Winskel, Proceedings of the CLICS workshop, Aarhus, Computer Science Department, Aarhus University, 1992.
  • Vickers, SJ, „Topologie prostřednictvím konstruktivní logiky“, in Moss a Ginzburg a de Rijke, Logic, Language and Computation Vol II, Proceedings of conference on Information-Theoretic Approaches to Logic, Language, and Computation, 1996, ISBN  1575861801 , 157586181X, CSLI Publications, Stanford, s. 336–345, 1999.
  • Vickers, SJ, „Toposes pour les vraiment nuls“, v Edalat, A. a Jourdan, S. a McCusker, G., Advances in Theory and Formal Methods of Computing 1996, ISBN  1-86094-031-5 , Imperial College Press , London, s. 1–12, 1996.
  • Vickers, SJ, „Toposes pour les nuls“, Techreport Doc96/4, Department of Computing , Imperial College London , (nejprve publikováno v Newsletteru sémantické společnosti č. 4).
  • Broda, K. a Eisenbach, S. a Khoshnevisan, H. a Vickers, SJ, „ Reasoned Programming“, ISBN  0-13-098831-6 , Prentice Hall, International Series in Computer Science, 1994.
  • Johnstone, PT a Vickers, SJ, „Preframe Presentations Present“, in Carboni, A. a Pedicchio, MC a Rosolini, G., Theory Category-Proceedings, Como 1990, ISBN  3-540-54706-1 , 0-387- 54706-1, Přednášky z matematiky, 1488, Springer-Verlag, 1991.
  • Steven Vickers, „Topologie přes logiku“, Cambridge University Press, ISBN  0-521-57651-2 , 1996.
  • Doring, Andreas a Isham, Chris, „What is a Thing ?: Topos Theory in the Foundations of Physics“, v Bob Coecke, New Structure in Physics, Kapitola 13, str. 753–940, Lecture Notes in Physics, 813, Springer , 2011, ISBN  978-3-642-12820-2 , (viz také arXiv: 0803.0417v1.)
  • Heunen, Chris a Landsman, Nicolaas P. a Spitters, Bas, Topos pro algebraickou kvantovou teorii, 2009, komunikace v matematické fyzice, 291 (1), s. 63–110, ISSN 0010-3616 (tisk) 1432-0916 (tisk) Online).

Reference

externí odkazy