Стив Викерс (ученый-компьютерщик)
Стив Викерс | |
|---|---|
 Стив Викерс | |
| Гражданство | Великобритания |
| Альма-матер | Кембриджский университет Университет Лидса |
| Известный | Топология через логику ZX Spectrum ROM Прошивка |
| Научная карьера | |
| Поля | Информатика Математика |
| Учреждения | Имперский колледж Лондона Открытый университет Университет Бирмингема |
| Диссертация | Универсальные сильно регулярные кольца (1979) |
| Докторантура | Альфред Голди |
Стив Викерс (родился около 1953 г.) [1] — британский математик и ученый-компьютерщик . В начале 1980-х он написал ПЗУ прошивки и руководства для трех домашних компьютеров : ZX81 , ZX Spectrum и Jupiter Ace . [2] [3] Последний был произведен Юпитером Кантабом , недолговечной компанией Vickers, созданной вместе с Ричардом Альтвассером после того, как они покинули Sinclair Research . С конца 1980-х годов Викерс был академиком в области геометрической логики, написав более 30 статей в научных журналах по математическим аспектам информатики. Его книга «Топология через логику» оказала влияние на ряд областей (в том числе на теоретическую физику , где Кристофер Ишам из Имперского колледжа Лондона назвал Викерса одним из первых людей, оказавших влияние на его работы по топосу и квантовой гравитации). [4] ). В октябре 2018 года он ушел с должности старшего преподавателя Бирмингемского университета . Как объявлено на домашней странице его университета, он продолжает курировать аспирантов в университете и сосредоточиться на своих исследованиях.
Образование [ править ]
Викерс окончил Королевский колледж в Кембридже по специальности математика и получил докторскую степень по математике в Университете Лидса . [5]
Синклер Исследования [ править ]
В 1980 году он начал работать в компании Nine Tiles, которая ранее написала Sinclair BASIC для ZX80 . Он отвечал за адаптацию ПЗУ 4K ZX80 к ПЗУ 8K, используемому в ZX81 , а также написал руководство для ZX81. Затем он написал большую часть ПЗУ ZX Spectrum и помогал с пользовательской документацией.
Викерс ушел в 1982 году и основал компанию Rainbow Computing Co. с Рихардом Альтвассером . Компания стала Jupiter Cantab , и они вместе отвечали за разработку коммерчески неудачного Jupiter ACE , конкурента аналогичного ZX Spectrum .
Академия [ править ]
Первоначально работая на факультете вычислительной техники Имперского колледжа Лондона , Викерс позже поступил на факультет чистой математики в Открытом университете , а затем перешел в Школу компьютерных наук Бирмингемского университета , где в настоящее время является старшим преподавателем и научным руководителем студентов-исследователей. Школа компьютерных наук.
Исследования [ править ]
Основной интерес Викерса лежит в области геометрической логики. Его книга «Топология через логику» представляет топологию с точки зрения некоторых вычислительных идей, разработанных Самсоном Абрамски и Майком Смитом. В нем подчеркивается бесточечный подход, и его можно понимать как рассмотрение теорий так называемой геометрической логики, которая уже была известна из теории топоса и является более строгой формой интуиционистской логики . Однако книга написана языком классической математики .
Распространив свои идеи на топосы (как обобщенные пространства), он обнаружил, что его направляют в конструктивную математику в геометрической форме, а в «Тематических категориях областей» он изложил программу геометризации, в которой, где это возможно, использовалась эта геометрическая математика как инструмент для рассмотрения бесточечных областей. пространства (и топосы), как будто у них «достаточно точек». Большая часть его последующих работ была посвящена тематическим исследованиям, показавшим, что при наличии подходящих методов действительно возможно выполнять полезную математику геометрически. В частности, понятие «геометрического преобразования точек в пространства» дает естественную послойную трактовку топологических расслоений. Его недавний проект заключался в том, чтобы связать это с топосными подходами к физике, разработанными Крисом Ишамом и другими (см. Деринг и Ишем « Что такое вещь? Теория топоса в основах физики» ) в Имперском колледже и группой Клааса Ландсмана в Университет Радбауда в Неймегене (см. книгу Хойнена, Ландсмана и Спиттерса « Топос алгебраической квантовой теории»). ).
Библиография [ править ]
- Стивен Викерс, «Принцип индукции для следствий в арифметических вселенных», Journal of Pure and Applied Algebra 216 (8–9), ISSN 0022-4049, стр. 1705–2068, 2012.
- Юнг, Ахим и Мошир, М. Эндрю и Викерс, Стивен, «Представление алгебр dcpos и dcpo», в книге Бауэр, А. и Мислов, М., Труды 24-й конференции по математическим основам семантики программирования (MFPS XXIV), стр. 209–229, Электронные заметки по теоретической информатике, Elsevier, 2008.
- Стивен Викерс, «Ко-пучки и связность в формальной топологии», Анналы чистой и прикладной логики, ISSN 0168-0072, 2009.
- Стивен Викерс, «Локальная теория нижних и верхних интегралов», Mathematical Logic Quarterly, 54 (1), стр. 109–103, 2008.
- Стивен Викерс, «Локали и топосы как пространства», в Айелло, Марко и Пратт-Хартманн, Ян Э. и ван Бентем, Йохан ФАК, Спрингер, Справочник по пространственной логике, Springer, 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.
- Стивен Викерс, «Двойной локаль и возведение в степень: пример геометрической логики», Theoretical Computer Science, ISSN 0304-3975, vol. 316, стр. 297–321, 2004.
- Стивен Викерс, «Актуальные категории доменов», в Винскеле, Материалы семинара CLICS, Орхус, факультет компьютерных наук, Орхусский университет, 1992.
- Викерс, С.Дж., «Топология через конструктивную логику», Мосс, Гинзбург и де Рийке, Логика, язык и вычисления, том II, Материалы конференции по теоретико-информационным подходам к логике, языку и вычислениям, 1996 г., ISBN 1575861801 , 157586181X, CSLI Publications, Стэнфорд, стр. 336–345, 1999.
- Викерс, С. Дж., «Топосы для les vraiment nuls», в книге Эдала А., Журдан С. и Маккаскер Г., «Достижения в теории и формальных методах вычислений», 1996 г., ISBN 1-86094-031-5 , Imperial College Press, Лондон, стр. 1–12, 1996.
- Викерс, С.Дж., «Toposes pour les nuls», Techreport Doc96/4, факультет вычислительной техники , Имперский колледж Лондона (впервые опубликовано в информационном бюллетене Semantics Society № 4).
- Брода К., Айзенбах С., Хошневисан Х. и Викерс С.Дж., «Обоснованное программирование», ISBN 0-13-098831-6 , Прентис Холл, Международная серия по информатике, 1994.
- Джонстон, П.Т. и Викерс, С.Дж., «Представления префреймов», в Карбони, А. и Педиккио, М.К. и Розолини, Г., Теория категорий – Труды, Комо, 1990 г., ISBN 3-540-54706-1 , 0-387-54706-1, Конспекты лекций по математике, 1488, Springer-Verlag, 1991.
- Стивен Викерс, «Топология через логику», издательство Кембриджского университета, ISBN 0-521-57651-2 , 1996.
- Доринг, Андреас и Ишам, Крис, «Что такое вещь?: Теория топоса в основах физики», в книге Боба Коке, «Новые структуры в физике», глава 13, стр. 753–940, Конспекты лекций по физике, 813, Springer. , 2011, ISBN 978-3-642-12820-2 (см. также arXiv:0803.0417v1.)
- Хойнен, Крис и Ландсман, Николаас П. и Спиттерс, Бас, Топос алгебраической квантовой теории, 2009, Коммуникации в математической физике, 291 (1), стр. 63–110, ISSN 0010-3616 (печать) 1432-0916 ( онлайн).
Ссылки [ править ]
- ↑ от июля 1982 года возраст Викерса указан как 29 лет В статье Sinclair User . «Пользователь Sinclair 4 — Новый бизнес» . Архивировано из оригинала 16 мая 2011 года . Проверено 14 мая 2011 г. , по состоянию на 5 октября 2013 г.
- ^ Лэнг, Гордон (7 сентября 2004 г.). Цифровое ретро . Сайбекс. ISBN 9780782143300 . Проверено 9 июня 2011 г.
Размер ПЗУ снова увеличился вдвое... львиную долю написал Стив Викерс.
- ^ «(название статьи отсутствует)» . Байт , Том 8, Номер 8 . 1983. с. 43 . Проверено 9 июня 2011 г.
Стив Викерс и Ричард Альтвассер, разработавшие Ace, были кодировщиками Spectrum, а сейчас...
- ↑ Видео на YouTube, Крис Ишем: «Теория топоса в формулировке теорий физики», примерно через 1 минуту.
- ^ Стив Викерс в проекте математической генеалогии
Внешние ссылки [ править ]
- Домашняя страница Стива Викерса в Бирмингемском университете
- Интервью с Ричардом Альтвассером и Стивеном Викерсом
