Steve Vickers (Informatiker)

Steve Vickers (geb. 1952 oder 1953) ^{[ 1 ]} ist ein britischer Mathematiker und Informatiker . Anfang der 1980er-Jahre entwickelte er ROM- Firmware und Handbücher für drei Heimcomputer : den ZX81 , den ZX Spectrum und den Jupiter Ace . ^{[ 2 ] [ 3 ]} Letzterer wurde von Jupiter Cantab produziert , einem kurzlebigen Unternehmen, das Vickers zusammen mit Richard Altwasser gründete , nachdem beide Sinclair Research verlassen hatten . Seit Ende der 1980er-Jahre ist Vickers als Wissenschaftler auf dem Gebiet der geometrischen Logik tätig und hat über 30 Artikel in Fachzeitschriften zu mathematischen Aspekten der Informatik veröffentlicht. Sein Buch „Topology via Logic“ hatte großen Einfluss auf verschiedene Fachgebiete (bis hin zur theoretischen Physik , wo Christopher Isham vom Imperial College London Vickers als frühen Einfluss auf seine Arbeiten zu Topoi und Quantengravitation nennt ^{[ 4 ]} ). Im Oktober 2018 ging er als Dozent an der Universität Birmingham in den Ruhestand . Wie auf der Homepage seiner Universität angekündigt, betreut er weiterhin Doktoranden an der Universität und konzentriert sich auf seine Forschung.

Vickers schloss sein Mathematikstudium am King's College in Cambridge ab und promovierte anschließend an der Universität Leeds , ebenfalls in Mathematik. ^{[ 5 ]}

1980 begann er bei Nine Tiles zu arbeiten, dem Unternehmen, das zuvor Sinclair BASIC für den ZX80 entwickelt hatte . Er war verantwortlich für die Anpassung des 4K- ROMs des ZX80 an das 8K-ROM des ZX81 und verfasste auch das Handbuch für den ZX81. Anschließend programmierte er den Großteil des ROMs für den ZX Spectrum und wirkte an der Benutzerdokumentation mit.

Vickers verließ das Unternehmen 1982, um zusammen mit Richard Altwasser die „Rainbow Computing Co.“ zu gründen . Aus dieser Firma wurde Jupiter Cantab , und die beiden waren gemeinsam für die Entwicklung des kommerziell erfolglosen Jupiter ACE verantwortlich , einem Konkurrenten des ähnlichen ZX Spectrum .

Ursprünglich am Department of Computing des Imperial College London tätig , wechselte Vickers später an das Department of Pure Mathematics der Open University, bevor er an die School of Computer Science der University of Birmingham ging , wo er derzeit als Senior Lecturer und Forschungsstudentenbetreuer der School of Computer Science tätig ist.

Vickers' Hauptinteresse gilt der geometrischen Logik. Sein Buch „Topology via Logic“ führt in die Topologie ein , basierend auf Erkenntnissen aus der Informatik, die von Samson Abramsky und Mike Smyth entwickelt wurden. Es betont den punktfreien Ansatz und behandelt Theorien der sogenannten geometrischen Logik, die bereits aus der Topostheorie bekannt war und eine strengere Form der intuitionistischen Logik darstellt . Das Buch ist jedoch in der Sprache der klassischen Mathematik verfasst.

Indem er die Ideen auf Topoi (als verallgemeinerte Räume) übertrug, fand er sich in der konstruktiven Mathematik geometrischer Form wieder und entwickelte in „Topical Categories of Domains“ ein Geometrisierungsprogramm, das, wo immer möglich, diese geometrische Mathematik als Werkzeug zur Behandlung punktfreier Räume (und Topoi) nutzte, als besäßen sie „genügend Punkte“. Ein Großteil seiner späteren Arbeiten bestand aus Fallstudien, die zeigten, dass es mit geeigneten Techniken tatsächlich möglich ist, nützliche Mathematik geometrisch zu betreiben. Insbesondere ermöglicht der Begriff der „geometrischen Transformation von Punkten in Räume“ eine natürliche faserweise Behandlung topologischer Bündel. Ein aktuelles Projekt von ihm war die Verknüpfung dieses Ansatzes mit den Topos-Ansätzen in der Physik, wie sie von Chris Isham und anderen (siehe Doering und Ishams „ What is a Thing? Topos Theory in the Foundations of Physics “) am Imperial College und von Klaas Landsmans Gruppe an der Radboud-Universität Nijmegen (siehe Heunen, Landsman und Spitters’ „ A Topos for Algebraic Quantum Theory “) entwickelt wurden.

• Steven Vickers, „Ein Induktionsprinzip für Folgerungen in arithmetischen Universen“, Journal of Pure and Applied Algebra 216 (8–9), ISSN 0022-4049, S. 1705 – 2068, 2012.
• Jung, Achim, Moshier, M. Andrew und Vickers, Steven, „Presenting dcpos and dcpo algebras“, in Bauer, A. und 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, „Cosheaves and connectedness in formal topology“, Annals of Pure and Applied Logic, ISSN 0168-0072, 2009.
• Steven Vickers, „Eine lokale Theorie der unteren und oberen Integrale“, Mathematical Logic Quarterly, 54 (1), S. 109–103, 2008.
• Steven Vickers, „Locales and toposes as spaces“, in Aiello, Marco und Pratt-Hartmann, Ian E. und van Benthem, Johan FAK, Springer, Handbook of Spatial Logics, Springer, 2007, ISBN 978-1-4020-5586-7, Kapitel 8, S. 429–496.
• Palmgren, Erik und Vickers, Steven, „Partielle Horn-Logik und kartesische Kategorien“, Annals of Pure and Applied Logic, 145 (3), S. 314–353, ISSN 0168-0072, 2007.
• Steven Vickers, „Lokale Vervollständigung verallgemeinerter metrischer Räume I, Theorie und Anwendungen von Kategorien“, ISSN 1201-561X, 14, S. 328–356, 2005.
• Steven Vickers, „Lokale Vervollständigung verallgemeinerter metrischer Räume II: Powerlocales, Journal of Logic and Analysis“, ISSN 1759-9008, 1 (11), S. 1–48, 2009.
• Steven Vickers, „Die doppelte Potenzlokalisierung und Exponentiation: eine Fallstudie in geometrischer Logik“, Theoretical Computer Science, ISSN 0304-3975, Bd. 316, S. 297–321, 2004.
• Steven Vickers, „Topische Kategorien von Domänen“, in Winskel, Proceedings of the CLICS workshop, Aarhus, Computer Science Department, Aarhus University, 1992.
• Vickers, SJ, „Topologie mittels konstruktiver Logik“, in Moss, Ginzburg und de Rijke (Hrsg.), Logik, Sprache und Berechnung, Band II, Konferenzband über informationstheoretische Ansätze zu Logik, Sprache und Berechnung, 1996, ISBN 1575861801, 157586181X, CSLI Publications, Stanford, S. 336–345, 1999.
• Vickers, SJ, „Toposes pour les vraiment nuls“, in Edalat, A., Jourdan, S. und McCusker, G., Advances in Theory and Formal Methods of Computing 1996, ISBN 1-86094-031-5Imperial College Press, London, S. 1–12, 1996.
• Vickers, SJ, "Toposes pour les nuls", Techreport Doc96/4, Department of Computing , Imperial College London , (erstmals veröffentlicht im Semantics Society Newsletter Nr. 4).
• Broda, K., Eisenbach, S., Khoshnevisan, H. und Vickers, SJ, „Reasoned Programming“, ISBN 0-13-098831-6Prentice Hall, International Series in Computer Science, 1994.
• Johnstone, P. T. und Vickers, S. J., „Preframe Presentations Present“, in Carboni, A., Pedicchio, M. C. und Rosolini, G., Category Theory – Proceedings, Como 1990, ISBN 3-540-54706-1, 0-387-54706-1, Lecture Notes in Mathematics, 1488, Springer-Verlag, 1991.
• Steven Vickers, „Topologie mittels Logik“, Cambridge University Press, ISBN 0-521-57651-21996.
• Doring, Andreas und Isham, Chris, „Was ist ein Ding?: Topostheorie in den Grundlagen der Physik“, in: Bob Coecke (Hrsg.), Neue Strukturen in der Physik, Kapitel 13, S. 753–940, Lecture Notes in Physics, Band 813, Springer, 2011, ISBN 978-3-642-12820-2, (siehe auch arXiv:0803.0417v1.)
• Heunen, Chris und Landsman, Nicolaas P. und Spitters, Bas, Ein Topos für die algebraische Quantentheorie, 2009, Communications in Mathematical Physics, 291 (1), S. 63–110, ISSN 0010-3616 (Print) 1432-0916 (Online).

• Steve Vickers' Homepage
• Ein Interview mit Richard Altwasser und Steven Vickers