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

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

Образование

Викерс окончил Королевский колледж в Кембридже по специальности «математика» и получил степень доктора философии в Университете Лидса , также по специальности «математика». ^[5]

Исследования Синклера

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

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

Академия

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

Исследовать

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

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

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

• Стивен Викерс, «Принцип индукции для следствия в арифметических вселенных», Журнал чистой и прикладной алгебры 216 (8–9), ISSN 0022-4049, стр. 1705 – 2068, 2012.
• Юнг, Ахим и Мошье, М. Эндрю и Викерс, Стивен, «Представление алгебр dcpos и dcpo», в Бауэр, А. и Мислов, М., Труды 24-й конференции по математическим основам семантики программирования (MFPS XXIV), стр. 209–229, Электронные заметки по теоретической информатике, Elsevier, 2008.
• Стивен Викерс, «Ко-пучки и связность в формальной топологии», Annals of Pure and Applied Logic, ISSN 0168-0072, 2009.
• Стивен Викерс, «Локальная теория нижних и верхних интегралов», Mathematical Logic Quarterly, 54 (1), стр. 109–103, 2008.
• Стивен Викерс, «Локальные объекты и топосы как пространства», в Aiello, Marco и Pratt-Hartmann, Ian E. и van Benthem, Johan FAK, Springer, Handbook of Spatial Logics, Springer, 2007, ISBN  978-1-4020-5586-7 , Глава 8, стр. 429–496.
• Пальмгрен, Эрик и Викерс, Стивен, «Частичная логика Хорна и декартовы категории», Annals of Pure and Applied Logic, 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.
• Стивен Викерс, «Тематические категории доменов», в Winskel, Труды семинара CLICS, Орхус, Кафедра компьютерных наук, Орхусский университет, 1992.
• Викерс, С. Дж., «Топология через конструктивную логику», в книге Мосса и Гинзбурга и де Рийке, Логика, язык и вычисления, том II, Труды конференции по информационно-теоретическим подходам к логике, языку и вычислениям, 1996, ISBN 1575861801 , 157586181X, CSLI Publications, Стэнфорд, стр. 336–345, 1999. 
• Викерс, С. Дж., «Топосы для нулевой истины», в книге Эдалат, А., Журдан, С. и Маккаскер, Г., «Достижения в теории и формальных методах вычислений» 1996 г., ISBN 1-86094-031-5 , Imperial College Press, Лондон, стр. 1–12, 1996 г. 
• Викерс, С. Дж., «Топосы для нулей», Techreport Doc96/4, Кафедра вычислительной техники , Имперский колледж Лондона (впервые опубликовано в бюллетене Semantics Society № 4).
• Брода, К. и Эйзенбах, С. и Хошневисан, Х. и Викерс, С.Дж., «Обоснованное программирование», ISBN 0-13-098831-6 , Prentice Hall, Международная серия по информатике, 1994. 
• Джонстон, П. Т. и Викерс, С. Дж., «Представление презентаций в префреймах», в работе Карбони, А., Педиккио, М. К. и Розолини, Г., Теория категорий – Труды, Комо, 1990, ISBN 3-540-54706-1 , 0-387-54706-1, Конспект лекций по математике, 1488, Springer-Verlag, 1991. 
• Стивен Викерс, «Топология через логику», Cambridge University Press, ISBN 0-521-57651-2 , 1996. 
• Доринг, Андреас и Ишем, Крис, «Что такое вещь?: Теория топоса в основах физики», в Бобе Коке, Новые структуры в физике, Глава 13, стр. 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 (печатная версия) 1432-0916 (электронная версия).

Ссылки

1. Возраст Виккерса был указан как 29 лет в статье Sinclair User от июля 1982 года. "Sinclair User 4 - New Business". Архивировано из оригинала 16 мая 2011 года . Получено 14 мая 2011 года . , доступ 5 октября 2013 г.
2. Лэнг, Гордон (7 сентября 2004 г.). Цифровое ретро. Sybex. ISBN 9780782143300. Получено 9 июня 2011 г. Размер ПЗУ снова удвоился... львиную долю написал Стив Викерс
3. "(название статьи отсутствует)". Byte , том 8, номер 8. 1983. стр. 43. Получено 9 июня 2011 г. Стив Викерс и Ричард Альтвассер, которые разработали Ace, были кодерами Spectrum и теперь ...
4. Видео на YouTube, Крис Ишем: «Теория топоса в формулировании теорий физики» примерно на 1 минуте.
5. Стив Викерс в проекте «Генеалогия математики»

Внешние ссылки

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