Из Википедии, свободной энциклопедии
Перейти к навигации Перейти к поиску

Стив Викерс
Стив Викерс сидит рядом с телевизором с плоским экраном, подключенным к Jupiter ACE.
Стив Викерс с ТУСом Юпитера
ГражданствоСоединенное Королевство
Альма-матерКембриджский
университет Лидский университет
ИзвестенТопология через прошивку Logic
ZX Spectrum ROM
Научная карьера
ПоляИнформатика
математика
УчрежденияИмперский колледж Лондона
Открытый университет
Бирмингема
ТезисУниверсальные сильно регулярные кольца  (1979)
ДокторантАльфред Голди

Стив Викерс (родился около 1953 г.) [1] - британский математик и ученый-компьютерщик . В начале 1980 - х годов, он писал ROM прошивки и инструкции для трех домашних компьютеров , на Sinclair ZX81 и ZX Spectrum и Jupiter Ace . [2] [3] Последний был произведен Jupiter Cantab , недолговечной компанией, созданной Викерсом вместе с Ричардом Альтвассером после того, как они покинули Sinclair Research.. С конца 1980-х Виккерс был академиком в области геометрической логики, написав более 30 статей в научных журналах по математическим аспектам информатики. Его книга « Топология через логику» оказала влияние на целый ряд областей (вплоть до теоретической физики , где Кристофер Ишам из Имперского колледжа Лондона назвал Виккерса одним из первых авторов, оказавших влияние на его работы по топоям и квантовой гравитации [4] ). В октябре 2018 года он ушел с должности старшего преподавателя Бирмингемского университета . Как было объявлено на домашней странице его университета, он продолжает курировать аспирантов в университете и сосредоточиться на своих исследованиях.

Образование [ править ]

Викерс окончила Королевский колледж в Кембридже по специальности математик и защитила докторскую диссертацию в университете Лидса , также по математике. [5]

Sinclair Research [ править ]

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

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

Академия [ править ]

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

Исследование [ править ]

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

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

Библиография [ править ]

  • Стивен Викерс, «Принцип индукции следствия в арифметических вселенных», Журнал чистой и прикладной алгебры 216 (8–9), ISSN 0022-4049, стр. 1705–2068, 2012.
  • Юнг, Ахим и Мошье, М. Эндрю и Виккерс, Стивен, «Представление алгебр dcpos и dcpo», в Bauer, A. и Mislove, M., Труды 24-й конференции по математическим основам семантики программирования (MFPS XXIV), С. 209–229, Электронные заметки по теоретической информатике, Elsevier, 2008.
  • Стивен Викерс, "Cosheaves и связность в формальной топологии", Annals of Pure and Applied Logic, ISSN 0168-0072, 2009.
  • Стивен Викерс, "Локальная теория нижних и верхних интегралов", Mathematical Logic Quarterly, 54 (1), стр. 109–103, 2008 г.
  • Стивен Викерс, «Локалы и топосы как пространства», у Айелло, Марко и Пратт-Хартманн, Яна Э. и ван Бентема, Йохана Ф.К., Спрингера, Справочник по пространственной логике, Спрингер, 2007, ISBN  978-1-4020-5586- 7 , Глава 8, стр. 429–496.
  • Палмгрен, Эрик и Викерс, Стивен, «Логика частичного рога и декартовы категории», Анналы чистой и прикладной логики, 145 (3), стр. 314–353, ISSN 0168-0072, 2007.
  • Стивен Викерс, "Локальное пополнение обобщенных метрических пространств I, Теория и приложения категорий", ISSN 1201-561X, 14, стр. 328–356, 2005.
  • Стивен Викерс, "Локальное пополнение обобщенных метрических пространств II: Powerlocales, журнал логики и анализа", ISSN 1759-9008, 1 (11), стр. 1–48, 2009.
  • Стивен Викерс, «Двойная локализация и возведение в степень: пример из геометрической логики», Теоретическая информатика, ISSN 0304-3975, т. 316, с. 297–321, 2004.
  • Стивен Викерс, «Тематические категории доменов», в Винскеле, Труды семинара CLICS, Орхус, факультет компьютерных наук, Орхусский университет, 1992.
  • Викерс, SJ, «Топология через конструктивную логику», в Мосс, Гинзбург и де Рийке, Логика, язык и вычисления, том II, Труды конференции по теоретико-информационным подходам к логике, языку и вычислениям, 1996, ISBN 1575861801 , 157586181X, Публикации CSLI, Стэнфорд, стр. 336–345, 1999. 
  • Викерс, SJ, "Toposes pour les vraiment nuls", в Edalat, A., Jourdan, S. и McCusker, G., Advances in Theory and Formal Methods of Computing 1996, ISBN 1-86094-031-5 , Imperial College Press , Лондон, стр. 1–12, 1996. 
  • Викерс, SJ, "Toposes pour les nuls", Techreport Doc96 / 4, Департамент вычислительной техники , Имперский колледж Лондона , (впервые опубликовано в Информационном бюллетене Общества семантики № 4).
  • Брода, К., Айзенбах, С. и Хошневисан, Х. и Викерс, С.Дж., «Обоснованное программирование», ISBN 0-13-098831-6 , Прентис Холл, Международная серия по компьютерным наукам, 1994. 
  • Джонстон, П. Т. и Викерс, С. Дж., «Презентации перед кадром», в Карбони, А. и Педиккио, М. С. и Розолини, Г., Теория категорий - Труды, Комо 1990, ISBN 3-540-54706-1 , 0-387- 54706-1, Конспект лекций по математике, 1488, Springer-Verlag, 1991. 
  • Стивен Викерс, «Топология через логику», Cambridge University Press, ISBN 0-521-57651-2 , 1996. 
  • Доринг, Андреас и Ишем, Крис, «What is a Thing ?: Topos Theory in the Foundations of Physics», в Bob Coecke, New Structures in Physics, Chapter 13, pp. 753–940, Lecture Notes in Physics, 813, Springer , 2011, ISBN 978-3-642-12820-2 , (также см. ArXiv: 0803.0417v1.) 
  • Хойнен, Крис и Ландсман, Николаас П. и Спиттерс, Бас, Топос по алгебраической квантовой теории, 2009, Сообщения по математической физике, 291 (1), стр. 63–110, ISSN 0010-3616 (Print) 1432-0916 ( В сети).

Ссылки [ править ]

  1. ^ Возраст Виккерса был указан как 29 встатье пользователя Sinclair от июля 1982 года. «Архивная копия» . Архивировано из оригинального 16 мая 2011 года . Проверено 14 мая 2011 года . CS1 maint: заархивированная копия как заголовок ( ссылка ), по состоянию на 5 октября 2013 г.
  2. Перейти ↑ Laing, Gordon (7 сентября 2004 г.). Цифровое ретро . Sybex. ISBN 9780782143300. Проверено 9 июня 2011 года . Размер ПЗУ снова увеличился вдвое ... львиную долю написал Стив Викерс.
  3. ^ "(заголовок статьи отсутствует)" . Байт , том 8, номер 8 . 1983. с. 43 . Проверено 9 июня 2011 года . Стив Викерс и Ричард Альтвассер, разработавшие Ace, были разработчиками кода Spectrum и теперь ...
  4. ^ Youtube видео, Крис Isham: «Теория Топос в формулировке теорий физики» около 1 минуты в.
  5. ↑ Стив Викерс в проекте « Математическая генеалогия»

Внешние ссылки [ править ]

  • Домашняя страница Стива Виккерса в Университете Бирмингема
  • Интервью с Ричардом Альтвассером и Стивеном Викерсом