Steve Vickers (nacido c. 1953) [1] es un matemático e informático británico . A principios de la década de 1980, escribió firmware ROM y manuales para tres computadoras domésticas , la Sinclair ZX81 y ZX Spectrum y la Jupiter Ace . [2] [3] Este último fue producido por Jupiter Cantab , una compañía de corta duración que Vickers formó junto con Richard Altwasser , después de que los dos dejaron 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, y ha escrito más de 30 artículos en revistas académicas sobre aspectos matemáticos de la informática. Su libro Topology via Logic ha tenido influencia en una variedad de campos (extendiéndose incluso a la física teórica , donde Christopher Isham del Imperial College London 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 de inicio de su universidad, continúa supervisando a los estudiantes de doctorado en la universidad y se centra en su investigación.
Steve Vickers | |
---|---|
Ciudadanía | Reino Unido |
alma mater | Universidad de Cambridge Universidad de Leeds |
Conocido por | Topología a través del firmware ROM Logic ZX Spectrum |
Carrera científica | |
Campos | Ciencias de la Computación Matemáticas |
Instituciones | Imperial College London The Open University Universidad de Birmingham |
Tesis | Anillos universales fuertemente regulares (1979) |
Asesor de doctorado | Alfred Goldie |
Educación
Vickers se graduó de King's College, 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 comenzó a trabajar para Nine Tiles, que previamente había escrito el Sinclair BASIC para el ZX80 . Fue responsable de la adaptación de la ROM 4K ZX80 a la ROM 8K utilizada en la ZX81 y también escribió el manual de la ZX81. Luego escribió la mayor parte de ZX Spectrum ROM y ayudó 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 , que no tuvo éxito comercialmente , un competidor del Sinclair ZX Spectrum similar .
Academia
Originalmente en el Departamento de Computación en el Imperial College de Londres , Vickers se unió más tarde al Departamento de Matemáticas Puras en la Open University antes de trasladarse 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.
Investigar
El principal interés de Vickers radica en la lógica geométrica. Su libro Topology via Logic 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 que se trata de teorías en la llamada lógica geométrica, que ya se conocía de la teoría topos y es una forma más estricta de lógica intuicionista . Sin embargo, el libro fue escrito en el lenguaje de las matemáticas clásicas .
Extendiendo las ideas a tópicos (como espacios generalizados) se encontró canalizado hacia las matemáticas constructivas en una forma geométrica y en Categorías Tópicas de Dominios estableció un programa de geometrización de, cuando fuera posible, usando esta matemática geométrica como una herramienta para tratar los puntos libres de puntos. espacios (y topos) como si tuvieran "suficientes puntos". Gran parte de su trabajo posterior ha consistido en estudios de casos para demostrar que, con las 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 fibras de los haces 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 ¿Qué es una cosa? Teoría de Topos en los fundamentos de la física de Doering e Isham ) en el Imperial College , y el grupo de Klaas Landsman en Radboud University Nijmegen (ver Heunen, Landsman y Spitters ' A Topos for Algebraic Quantum Theory ).
Bibliografía
- Steven Vickers, "Un principio de inducción para la consecuencia en los 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, "Presenting dcpos and dcpo algebras", en Bauer, A. y Mislove, M., Actas de la 24ª Conferencia sobre los fundamentos matemáticos de la semántica de programación (MFPS XXIV), págs. 209–229, Notas electrónicas en informática teórica, Elsevier, 2008.
- Steven Vickers, "Cosheaves y conectividad en topología formal", Annals of Pure and Applied Logic, 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 Partial Horn y categorías cartesianas", Annals of Pure and Applied Logic, 145 (3), págs. 314–353, ISSN 0168-0072, 2007.
- Steven Vickers, "Compleción local de espacios métricos generalizados I, teoría y aplicaciones de categorías", ISSN 1201-561X, 14, págs. 328–356, 2005.
- Steven Vickers, "Compleción local de 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 escala de potencia y exponenciación: un estudio de caso en lógica geométrica", Informática teórica, ISSN 0304-3975, vol. 316, págs. 297–321, 2004.
- Steven Vickers, "Categorías temáticas de dominios", en Winskel, Actas del taller CLICS, Aarhus, Departamento de Ciencias de la Computación, Universidad de Aarhus, 1992.
- Vickers, SJ, "Topology via Constructive Logic", 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, Publicaciones de CSLI, Stanford, págs. 336–345, 1999.
- Vickers, SJ, "Toposes pour les vraiment nuls", en Edalat, A. y Jourdan, S. y McCusker, G., Advances in Theory and Formal Methods of Computing 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 Semantics Society Newsletter nº 4).
- Broda, K. y Eisenbach, S. y Khoshnevisan, H. y Vickers, SJ, "Reasoned Programming", ISBN 0-13-098831-6 , Prentice Hall, Serie Internacional de Ciencias de la Computación, 1994.
- Johnstone, PT y Vickers, SJ, "Preframe Presentations Present", 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 e Isham, Chris, "What is a Thing ?: Topos Theory in the Foundations of Physics", en Bob Coecke, New Structures in Physics, Capítulo 13, págs. 753-940, Lecture Notes in Physics, 813, Springer , 2011, ISBN 978-3-642-12820-2 , (consulte 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), págs. 63–110, ISSN 0010-3616 (impreso) 1432-0916 ( En línea).
Referencias
- ^ La edad de Vickers se dio como 29 en unartículo de usuario de Sinclair de julio de 1982. "Copia archivada" . Archivado desde el original el 16 de mayo de 2011 . Consultado el 14 de mayo de 2011 .CS1 maint: copia archivada como título ( enlace ), consultado el 5 de octubre de 2013.
- ^ Laing, Gordon (7 de septiembre de 2004). Retro digital . Sybex. ISBN 9780782143300. Consultado el 9 de junio de 2011 .
El tamaño de la ROM se duplicó nuevamente ... con Steve Vickers escribiendo la parte del león
- ^ "(falta el título del artículo)" . 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 codificadores del Spectrum y ahora son ...
- ^ Video de Youtube, Chris Isham: "Teoría de Topos en la formulación de teorías de la física" alrededor de 1 minuto en.
- ^ Steve Vickers en el Proyecto de genealogía matemática
enlaces externos
- Página de inicio de Steve Vickers en la Universidad de Birmingham
- Una entrevista con Richard Altwasser y Steven Vickers