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 Jupiteru ACE.
Steve Vickers s Jupiterem ACE
Státní občanstvíSpojené království
Alma materUniverzita v Cambridge
University of Leeds
Známý jakoTopologie pomocí logiky
ZX Spectrum Firmware ROM
Vědecká kariéra
PolePočítačová věda
Matematika
InstituceImperial College London
Otevřená univerzita
University of Birmingham
TezeUniverzální silně pravidelné kroužky (1979)
Doktorský poradceAlfred Goldie

Steve Vickers (narozen c. 1953)[1] je Brit matematik a počítačový vědec. Na začátku 80. let psal ROM firmware a manuály pro tři domácí počítače, Sinclair ZX81 a ZX Spectrum a Jupiter Ace.[2][3] Ten byl vyroben Jupiter Cantab, krátkotrvající společnost, kterou Vickers vytvořil společně s Richard Altwasser poté, co ti dva odešli Sinclairův výzkum. Od konce 80. let je Vickers akademikem v oboru geometrické logiky, píše více než 30 článků v odborných časopisech o matematických aspektech počítačové vědy. Jeho kniha Topologie pomocí logiky byl vlivný v celé řadě oblastí (rozšířil se dokonce na teoretická fyzika, kde Christopher Isham z Imperial College London citoval Vickerse jako časný vliv na jeho práci na topoi a kvantová gravitace[4]). V říjnu 2018 odešel do důchodu jako odborný asistent na University of Birmingham. 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 Cambridge s diplomem z matematiky a doktorátem v Leeds University, také v matematice.[5]

Sinclairův výzkum

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

Vickers odešel v roce 1982 a založil společnost „Rainbow Computing Co.“ s Richard Altwasser. Společnost se stala Jupiter Cantab a společně zodpovídali za vývoj komerčně neúspěšných Jupiter ACE, konkurent podobnému Sinclair ZX Spectrum.

Academia

Původně v Katedra výpočetní techniky na Imperial College London, Vickers později nastoupil na Katedru čisté matematiky na Otevřená univerzita před přestěhováním do školy Počítačová věda na University of Birmingham, kde je v současné době odborným asistentem a školitelem výzkumu na School of Computer Science.

Výzkum

Hlavní zájem Vickerse spočívá v geometrické logice. Jeho kniha Topologie pomocí logiky zavádí topologie z pohledu některých výpočetních poznatků vyvinutých Samson Abramsky a Mike Smyth. Zdůrazňuje to bez bodu přístup a lze jej chápat jako řešení teorií v tzv. geometrické logice, která byla známa již z topos teorie a je přísnější formou intuicionistická logika. Kniha však byla napsána v jazyce klasická matematika.

Když rozšířil myšlenky na topos (jako generalizované prostory), ocitl se v kanálu konstruktivní matematika v geometrické formě a v Aktuální kategorie domén stanovil program geometrizace, kde je to možné, s využitím této geometrické matematiky jako nástroje pro zacházení s bezbodovými prostory (a toposy), jako by měly „dostatek 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é fibrewise zpracování topologických svazků. Nedávným jeho projektem bylo spojit to s přístupy topos k fyzice, jak je vyvinul Chris Isham a další (viz Doering a Isham's Co je to věc? Teorie toposu v základech fyziky) na Imperial College a skupina Klaase Landsmana v Radboud University Nijmegen (viz Heunen, Landsman and 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“, Bauer, A. a Mislove, M., Sborník 24. konference o matematických základech programovací sémantiky (MFPS XXIV), 209–229, Electronic Notes in Theoretical Computer Science, Elsevier, 2008.
  • Steven Vickers, „Kosy a propojenost ve formální topologii“, Annals of Pure and Applied Logic, ISSN 0168-0072, 2009.
  • Steven Vickers, „Místní teorie dolních a horních integrálů“, Mathematical Logic Quarterly, 54 (1), str. 109–103, 2008.
  • Steven Vickers, „Locales and topos as spaces“, Aiello, Marco a Pratt-Hartmann, Ian E. a van Benthem, Johan F.A.K., Springer, Handbook of Spatial Logics, Springer, 2007, ISBN  978-1-4020-5586-7, Kapitola 8, str. 429–496.
  • Palmgren, Erik a Vickers, Steven, „Částečné rohové logické a kartézské kategorie“, Annals of Pure and Applied Logic, 145 (3), str. 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, „Dvojitý powerlocale a umocňování: případová studie v geometrické logice“, Theoretical Computer Science, ISSN 0304-3975, sv. 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, S. J., „Topology via Constructive Logic“, in Moss and Ginzburg and 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, S. J., „Toposes pour les vraiment nuls“, 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, Londýn, s. 1–12, 1996.
  • Vickers, S. J., „Toposes pour les nuls“, Techreport Doc96 / 4, Katedra výpočetní techniky, Imperial College London, (poprvé publikováno ve zpravodaji Semantics Society Newsletter č. 4).
  • Broda, K. a Eisenbach, S. a Khoshnevisan, H. a Vickers, S.J., „Reasoned Programming“, ISBN  0-13-098831-6, Prentice Hall, International Series in Computer Science, 1994.
  • Johnstone, P. T. a Vickers, S. J., „Preframe Presentations Present“, v Carboni, A. a Pedicchio, M.C. a Rosolini, G., Teorie kategorie - Sborník, Como 1990, ISBN  3-540-54706-1, 0-387-54706-1, Lecture Notes in Mathematics, 1488, Springer-Verlag, 1991.
  • Steven Vickers, „Topologie via Logic“, 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“, Bob Coecke, New Structure in Physics, Kapitola 13, str. 753–940, Přednášky z fyziky, 813, Springer 2011 ISBN  978-3-642-12820-2, (viz také arXiv: 0803.0417v1.)
  • Heunen, Chris a Landsman, Nicolaas P. a Spitters, Bas, A Topos for Algebraic Quantum Theory, 2009, Communications in Mathematical Physics, 291 (1), str. 63–110, ISSN 0010-3616 (tisk) 1432-0916 ( Online).

Reference

  1. ^ Vickersův věk byl uveden jako 29 v a Uživatel Sinclair článek z července 1982. „Archivovaná kopie“. Archivovány od originál dne 16. května 2011. Citováno 14. května 2011.CS1 maint: archivovaná kopie jako titul (odkaz), zpřístupněno 5. října 2013.
  2. ^ Laing, Gordon (7. září 2004). Digitální retro. Sybex. Citováno 9. června 2011. Velikost ROM se znovu zdvojnásobila ... Steve Lickers napsal lví podíl
  3. ^ „(chybí název článku)“. Byte, Svazek 8, Číslo 8. 1983. str. 43. Citováno 9. června 2011. Steve Vickers a Richard Altwasser, kteří navrhli eso, byli kodéry Spectra a nyní jsou ...
  4. ^ Video z YouTube, Chris Isham: „Teorie toposu při formulaci fyzikálních teorií“ asi 1 minutu.
  5. ^ Steve Vickers na Matematický genealogický projekt

externí odkazy