Виккерс, Стив (информатик)

Стив Виккерс

англ. Steve Vickers

Файл:Steve Vickers 2007 (cropped).JPG

Стив Виккерс

Гражданство

Великобритания

Род деятельности

Информатика
Математика

Стив Виккерс (англ. Steve Vickers; ^{[Нет даты!]}) — британский математик и информатик. Известен как разработчик прошивок ПЗУ и руководств для домашних компьютеров ZX81, ZX Spectrum и Jupiter Ace, а также как автор книги «Топология через логику».

Биография

Виккерс окончил Королевский колледж Кембриджа со степенью по математике и получил степень доктора философии в Университете Лидса, также по математике.

В начале 1980-х годов Виккерс написал прошивки ПЗУ и руководства для трёх домашних компьютеров: ZX81, ZX Spectrum и Jupiter Ace. Последний был выпущен компанией Jupiter Cantab, которую Виккерс основал вместе с Ричардом Альтвассером после их ухода из Sinclair Research. С конца 1980-х годов Виккерс занимается академической деятельностью в области геометрической логики, опубликовав более 30 статей в научных журналах по математическим аспектам информатики. Его книга «Топология через логику» оказала влияние на ряд областей, включая теоретическую физику, где Кристофер Ишам из Имперского колледжа Лондона отмечал влияние Виккерса на свои ранние работы по топосам и квантовой гравитации. В октябре 2018 года он вышел на пенсию с должности старшего преподавателя Бирмингемского университета. Согласно информации на его университетской странице, он продолжает руководить аспирантами и заниматься исследованиями.

Sinclair Research

В 1980 году он начал работать в компании Nine Tiles, которая ранее разработала Sinclair BASIC для ZX80. Он отвечал за адаптацию 4-килобайтного ПЗУ ZX80 в 8-килобайтное ПЗУ, использовавшееся в ZX81, а также написал руководство для ZX81. Затем он написал большую часть ПЗУ для ZX Spectrum и участвовал в создании пользовательской документации.

Виккерс ушёл из компании в 1982 году, чтобы вместе с Ричардом Альтвассером основать Rainbow Computing Co. Компания была переименована в Jupiter Cantab, и они совместно разработали коммерчески неуспешный Jupiter ACE, конкурента аналогичного ZX Spectrum.

Академическая карьера

Первоначально работая на кафедре вычислительной техники в Имперском колледже Лондона, Виккерс позже перешёл на кафедру чистой математики в Открытом университете, а затем — в Школу информатики Бирмингемского университета, где он является старшим преподавателем и куратором аспирантов.

Исследования

Основной интерес Виккерса лежит в области геометрической логики. Его книга «Топология через логику» представляет топологию с точки зрения вычислительных идей, разработанных Самсоном Абрамски и Майком Смайтом. В ней подчёркивается подход без точек, и её можно рассматривать как работу с теориями в так называемой геометрической логике, которая уже была известна из теории топосов и является более строгой формой интуиционистской логики. Однако книга написана на языке классической математики.

Распространяя эти идеи на топосы (как обобщённые пространства), он обратился к конструктивной математике в геометрической форме. В работе «Топические категории доменов» он изложил программу геометризации, где это возможно, используя эту геометрическую математику как инструмент для работы с пространствами без точек (и топосами) так, как если бы они имели «достаточно точек». Большая часть его последующих работ представляла собой тематические исследования, показывающие, что с помощью подходящих методов действительно можно заниматься полезной математикой геометрически. В частности, понятие «геометрического преобразования точек в пространства» даёт естественную послойную трактовку топологических расслоений. Один из его недавних проектов заключался в связывании этого с топосными подходами к физике, разработанными Кристофером Ишамом и другими (работа Дёринга и Ишама «Что такое вещь? Теория топосов в основаниях физики») в Имперском колледже, а также группой Клааса Ландсмана в Университете Неймегена (работа Хойнена, Ландсмана и Спиттерса «Топос для алгебраической квантовой теории»).

Библиография

• Steven Vickers, «An induction principle for consequence in arithmetic universes», Journal of Pure and Applied Algebra 216 (8-9), ISSN 0022-4049, pp. 1705—2068, 2012.
• Jung, Achim and Moshier, M. Andrew and 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), pp. 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, «A localic theory of lower and upper integrals», Mathematical Logic Quarterly, 54 (1), pp. 109—103, 2008.
• Steven Vickers, «Locales and toposes as spaces», in Aiello, Marco and Pratt-Hartmann, Ian E. and van Benthem, Johan F.A.K., Springer, Handbook of Spatial Logics, Springer, 2007, ISBN 978-1-4020-5586-7, Chapter 8, pp. 429—496.
• Palmgren, Erik and Vickers, Steven, «Partial Horn logic and cartesian categories», Annals of Pure and Applied Logic, 145 (3), pp. 314—353, ISSN 0168-0072, 2007.
• Steven Vickers, «Localic completion of generalized metric spaces I, Theory and Applications of Categories», ISSN 1201-561X, 14, pp. 328—356, 2005.
• Steven Vickers, «Localic completion of generalized metric spaces II: Powerlocales, Journal of Logic and Analysis», ISSN 1759-9008, 1 (11), pp. 1-48, 2009.
• Steven Vickers, «The double powerlocale and exponentiation: a case study in geometric logic», Theoretical Computer Science, ISSN 0304-3975, vol. 316, pp. 297—321, 2004.
• Steven Vickers, «Topical Categories of Domains», in 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, pp. 336—345, 1999.
• Vickers, S. J., «Toposes pour les vraiment nuls», in Edalat, A. and Jourdan, S. and McCusker, G., Advances in Theory and Formal Methods of Computing 1996, ISBN 1-86094-031-5, Imperial College Press, London, pp. 1-12, 1996.
• Vickers, S. J., «Toposes pour les nuls», Techreport Doc96/4, Department of Computing, Imperial College London, (first published in Semantics Society Newsletter no. 4).
• Broda, K. and Eisenbach, S. and Khoshnevisan, H. and Vickers, S.J., «Reasoned Programming», ISBN 0-13-098831-6, Prentice Hall, International Series in Computer Science, 1994.
• Johnstone, P. T. and Vickers, S. J., «Preframe Presentations Present», in Carboni, A. and Pedicchio, M.C. and 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, «Topology Via Logic», Cambridge University Press, ISBN 0-521-57651-2, 1996.

Литература

• Doring, Andreas and Isham, Chris, «What is a Thing?: Topos Theory in the Foundations of Physics», in Bob Coecke, New Structures in Physics, Chapter 13, pp. 753—940, Lecture Notes in Physics, 813, Springer, 2011, ISBN 978-3-642-12820-2, (also see arXiv:0803.0417v1.)
• Heunen, Chris and Landsman, Nicolaas P. and Spitters, Bas, A Topos for Algebraic Quantum Theory, 2009, Communications in Mathematical Physics, 291 (1), pp. 63-110, ISSN 0010-3616 (Print) 1432-0916 (Online).

Ссылки

• Домашняя страница Стива Виккерса

Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Виккерс, Стив (информатик)», расположенная по адресу: — https://ru.ruwiki.ru/wiki/Виккерс,_Стив_(информатик) Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий. Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?».