Steve Vickers (científico informático)

Steve Vickers (nacido c. 1953) ^{[1] es un} matemático y científico informático británico . A principios de la década de 1980, escribió el firmware ROM y los manuales de tres computadoras domésticas , la ZX81 , la ZX Spectrum y la Jupiter Ace . ^{[2] [3]} Esta última fue producida por Jupiter Cantab , una empresa de corta duración que Vickers formó junto con Richard Altwasser , después de que los dos abandonaran Sinclair Research . Desde finales de la década de 1980, Vickers ha sido un académico en el campo de la lógica geométrica, escribiendo más de 30 artículos en revistas académicas sobre aspectos matemáticos de la informática. Su libro Topology via Logic ha sido influyente en una variedad de campos (extendiéndose incluso a la física teórica , donde Christopher Isham del Imperial College de Londres ha citado a Vickers como una influencia temprana en su trabajo sobre topoi y gravedad cuántica ^[4] ). En octubre de 2018, se jubiló como profesor titular en la Universidad de Birmingham . Como se anunció en la página web de su universidad, continúa supervisando a los estudiantes de doctorado en la universidad y se centra en su investigación.

Educación

Vickers se graduó en el King's College de Cambridge con una licenciatura en matemáticas y completó un doctorado en la Universidad de Leeds , también en matemáticas. ^[5]

Investigación Sinclair

En 1980 empezó a trabajar para Nine Tiles, que había escrito previamente el BASIC Sinclair para el ZX80 . Fue responsable de la adaptación de la ROM 4K del ZX80 a la ROM 8K utilizada en el ZX81 y también escribió el manual del ZX81. Después escribió la mayor parte de la ROM del ZX Spectrum y colaboró ​​con la documentación del usuario.

Vickers se fue en 1982 para formar "Rainbow Computing Co." con Richard Altwasser . La compañía se convirtió en Jupiter Cantab y juntos fueron responsables del desarrollo del Jupiter ACE , un competidor del similar ZX Spectrum , que no tuvo éxito comercial .

Academia

Originalmente en el Departamento de Computación del Imperial College de Londres , Vickers luego se unió al Departamento de Matemáticas Puras de la Open University antes de mudarse a la Escuela de Ciencias de la Computación de la Universidad de Birmingham , donde actualmente es profesor titular y tutor de estudiantes de investigación de la Escuela de Ciencias de la Computación.

Investigación

El principal interés de Vickers se centra en la lógica geométrica. Su libro Topology via Logic (Topología a través de la lógica) presenta la topología desde el punto de vista de algunos conocimientos computacionales desarrollados por Samson Abramsky y Mike Smyth. Hace hincapié en el enfoque sin puntos y puede entenderse como un estudio de las teorías de la llamada lógica geométrica, que ya se conocía a partir de la teoría de topos y es una forma más estricta de lógica intuicionista . Sin embargo, el libro está escrito en el lenguaje de las matemáticas clásicas.

Al extender las ideas a los topos (como espacios generalizados), se vio encaminado hacia las matemáticas constructivas en forma geométrica y en Topical Categories of Domains (Categorías tópicas de dominios) estableció un programa de geometrización que, cuando fuera posible, utilizaba estas matemáticas geométricas como herramienta para tratar los espacios (y topos) sin puntos como si tuvieran "suficientes puntos". Gran parte de su trabajo posterior ha consistido en estudios de casos para demostrar que, con técnicas adecuadas, era posible hacer matemáticas útiles geométricamente. En particular, una noción de "transformación geométrica de puntos en espacios" proporciona un tratamiento natural de los fibrados topológicos. Un proyecto reciente suyo ha sido conectar esto con los enfoques topos de la física desarrollados por Chris Isham y otros (ver What is a Thing? Topos Theory in the Foundations of Physics, de Doering e Isham ) en el Imperial College , y el grupo de Klaas Landsman en la Radboud University Nijmegen (ver A Topos for Algebraic Quantum Theory, de Heunen, Landsman y Spitters ).

Bibliografía

• Steven Vickers, "Un principio de inducción para la consecuencia en universos aritméticos", Journal of Pure and Applied Algebra 216 (8–9), ISSN 0022-4049, págs. 1705 – 2068, 2012.
• Jung, Achim y Moshier, M. Andrew y Vickers, Steven, "Presentación de álgebras dcpos y dcpo", en Bauer, A. y Mislove, M., Actas de la 24.ª Conferencia sobre los fundamentos matemáticos de la semántica de la programación (MFPS XXIV), págs. 209-229, Electronic Notes in Theoretical Computer Science, Elsevier, 2008.
• Steven Vickers, "Cosheaves y conectividad en topología formal", Anales de lógica pura y aplicada, ISSN 0168-0072, 2009.
• Steven Vickers, "Una teoría local de integrales inferiores y superiores", Mathematical Logic Quarterly, 54 (1), págs. 109–103, 2008.
• Steven Vickers, "Locales and toposes as spaces", en Aiello, Marco y Pratt-Hartmann, Ian E. y van Benthem, Johan FAK, Springer, Handbook of Spatial Logics, Springer, 2007, ISBN  978-1-4020-5586-7 , Capítulo 8, págs. 429–496.
• Palmgren, Erik y Vickers, Steven, "Lógica parcial de Horn y categorías cartesianas", Annals of Pure and Applied Logic, 145 (3), págs. 314–353, ISSN 0168-0072, 2007.
• Steven Vickers, "Completar localmente espacios métricos generalizados I, Teoría y aplicaciones de categorías", ISSN 1201-561X, 14, pp. 328–356, 2005.
• Steven Vickers, "Completar localmente espacios métricos generalizados II: Powerlocales, Journal of Logic and Analysis", ISSN 1759-9008, 1 (11), págs. 1–48, 2009.
• Steven Vickers, "La doble potencia local y la exponenciación: un estudio de caso en lógica geométrica", Theoretical Computer Science, ISSN 0304-3975, vol. 316, pp. 297–321, 2004.
• Steven Vickers, "Categorías tópicas de dominios", en Winskel, Actas del taller CLICS, Aarhus, Departamento de Ciencias de la Computación, Universidad de Aarhus, 1992.
• Vickers, SJ, "Topología a través de la lógica constructiva", en Moss y Ginzburg y de Rijke, Logic, Language and Computation Vol II, Actas de la conferencia sobre enfoques teóricos de la información para la lógica, el lenguaje y la computación, 1996, ISBN 1575861801 , 157586181X, CSLI Publications, Stanford, págs. 336–345, 1999. 
• Vickers, SJ, "Topótesis para los realmente nulos", en Edalat, A. y Jourdan, S. y McCusker, G., Avances en teoría y métodos formales de computación 1996, ISBN 1-86094-031-5 , Imperial College Press, Londres, págs. 1–12, 1996. 
• Vickers, SJ, "Toposes pour les nuls", Techreport Doc96/4, Departamento de Computación , Imperial College London , (publicado por primera vez en el Semantics Society Newsletter n.º 4).
• Broda, K. y Eisenbach, S. y Khoshnevisan, H. y Vickers, SJ, "Programación razonada", ISBN 0-13-098831-6 , Prentice Hall, Serie internacional en ciencias de la computación, 1994. 
• Johnstone, PT y Vickers, SJ, "Presentaciones premarco presentes", en Carboni, A. y Pedicchio, MC y 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, "Topología a través de la lógica", Cambridge University Press, ISBN 0-521-57651-2 , 1996. 
• Doring, Andreas y Isham, Chris, "¿Qué es una cosa?: teoría de topos en los fundamentos de la física", en Bob Coecke, Nuevas estructuras en física, Capítulo 13, págs. 753–940, Lecture Notes in Physics, 813, Springer, 2011, ISBN 978-3-642-12820-2 , (véase también arXiv:0803.0417v1.) 
• Heunen, Chris y Landsman, Nicolaas P. y Spitters, Bas, A Topos for Algebraic Quantum Theory, 2009, Communications in Mathematical Physics, 291 (1), pp. 63–110, ISSN 0010-3616 (impreso) 1432-0916 (en línea).

Referencias

1. La edad de Vickers fue dada como 29 en un artículo de Sinclair User de julio de 1982. "Sinclair User 4 - New Business". Archivado desde el original el 16 de mayo de 2011 . Consultado el 14 de mayo de 2011 . , consultado el 5 de octubre de 2013.
2. Laing, Gordon (7 de septiembre de 2004). Digital retro. Sybex. ISBN 9780782143300. Recuperado el 9 de junio de 2011. El tamaño de la ROM se duplicó nuevamente... y Steve Vickers escribió la mayor parte.
3. "(título del artículo faltante)". Byte , Volumen 8, Número 8 . 1983. p. 43 . Consultado el 9 de junio de 2011 . Steve Vickers y Richard Altwasser, quienes diseñaron el Ace, fueron los codiseñadores del Spectrum y ahora son ...
4. Vídeo de YouTube, Chris Isham: "Teoría de topos en la formulación de teorías de la física", de aproximadamente 1 minuto.
5. Steve Vickers en el Proyecto de Genealogía Matemática

Enlaces externos

• Página de inicio de Steve Vickers en la Universidad de Birmingham
• Entrevista con Richard Altwasser y Steven Vickers