41:
767:
364:
he set out a geometrisation programme of, where possible, using this geometric mathematics as a tool for treating point-free spaces (and toposes) as though they had "enough points". Much of his subsequent work has been in case studies to show that, with suitable techniques, it was indeed possible to
397:
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,
365:
do useful mathematics geometrically. In particular, a notion of "geometric transformation of points to spaces" gives a natural fibrewise treatment of topological bundles. A recent project of his has been to connect this with the topos approaches to physics as developed by
433:
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,
503:
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,
515:
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
206:. Since the late 1980s, Vickers has been an academic in the field of geometric logic, writing over 30 papers in scholarly journals on mathematical aspects of computer science. His book
698:
407:
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,
427:
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.
394:
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.
1300:
457:
302:
1260:
418:
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.
1290:
424:
Steven
Vickers, "Localic completion of generalized metric spaces II: Powerlocales, Journal of Logic and Analysis", ISSN 1759-9008, 1 (11), pp. 1–48, 2009.
430:
Steven
Vickers, "Topical Categories of Domains", in Winskel, Proceedings of the CLICS workshop, Aarhus, Computer Science Department, Aarhus University, 1992.
691:
445:
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,
1265:
421:
Steven Vickers, "Localic completion of generalized metric spaces I, Theory and Applications of Categories", ISSN 1201-561X, 14, pp. 328–356, 2005.
1295:
481:
and Vickers, S. J., "Preframe Presentations Present", in Carboni, A. and Pedicchio, M.C. and Rosolini, G., Category Theory – Proceedings, Como 1990,
684:
1270:
509:
412:
1275:
1280:
579:
497:
486:
472:
450:
234:. As announced on his university homepage, he continues to supervise PhD students at the university and focus on his research.
404:
Steven Vickers, "A localic theory of lower and upper integrals", Mathematical Logic Quarterly, 54 (1), pp. 109–103, 2008.
439:
649:
670:
541:
401:
Steven Vickers, "Cosheaves and connectedness in formal topology", Annals of Pure and Applied Logic, ISSN 0168-0072, 2009.
243:
345:
approach and can be understood as dealing with theories in the so-called geometric logic, which was already known from
378:
274:
and also wrote the ZX81 manual. He then wrote most of the ZX Spectrum ROM, and assisted with the user documentation.
1285:
1175:
897:
892:
625:
Steve Vickers and Richard Altwasser, who designed the Ace, were the codesigners of the Spectrum and are now ...
605:
357:
318:
231:
120:
461:
321:, where he is currently a senior lecturer and the research student tutor of the School of Computer Science.
306:
219:
112:
62:
1255:
887:
636:
YouTube video, Chris Isham: "Topos theory in the formulation of theories of physics" about 1 minute in.
350:
1200:
1165:
1152:
1126:
1022:
998:
848:
843:
837:
832:
827:
211:
116:
66:
1002:
968:
964:
960:
956:
952:
948:
858:
809:
478:
342:
168:
40:
1229:
1195:
1190:
1080:
1060:
1014:
878:
716:
707:
676:
575:
505:
493:
482:
468:
446:
435:
408:
366:
278:
215:
203:
199:
1046:
804:
467:
Broda, K. and Eisenbach, S. and Khoshnevisan, H. and Vickers, S.J., "Reasoned Programming",
374:
314:
247:
172:
143:
98:
1018:
819:
788:
783:
750:
610:
338:
310:
227:
356:
Extending the ideas to toposes (as generalised spaces) he found himself channelled into
285:
and they were together responsible for the development of the commercially unsuccessful
17:
1224:
1216:
1099:
1094:
994:
282:
259:
195:
1249:
1136:
1104:
1030:
866:
746:
535:
179:
164:
148:
1056:
1066:
569:
1070:
940:
756:
742:
290:
286:
191:
187:
102:
80:
1089:
976:
545:
645:
1170:
1131:
1010:
932:
593:
The ROM size was doubled again...with Steve Vickers writing the lion's share
258:
In 1980 he started working for Nine Tiles, which had previously written the
766:
489:, 0-387-54706-1, Lecture Notes in Mathematics, 1488, Springer-Verlag, 1991.
353:. However, the book was written in the language of classical mathematics.
1185:
1157:
1052:
1026:
1006:
972:
918:
334:
175:
936:
775:
1180:
944:
926:
127:
337:
from the point of view of some computational insights developed by
1042:
1034:
980:
492:
Steven Vickers, "Topology Via Logic", Cambridge University Press,
442:, 157586181X, CSLI Publications, Stanford, pp. 336–345, 1999.
346:
223:
664:
309:, Vickers later joined the Department of Pure Mathematics at the
1038:
988:
984:
922:
737:
732:
727:
475:, Prentice Hall, International Series in Computer Science, 1994.
271:
267:
263:
183:
680:
210:
has been influential over a range of fields (extending even to
456:
Vickers, S. J., "Toposes pour les nuls", Techreport Doc96/4,
329:
Vickers' main interest lies within geometric logic. His book
371:
What is a Thing? Topos Theory in the Foundations of Physics
464:, (first published in Semantics Society Newsletter no. 4).
277:
Vickers left in 1982 to form "Rainbow Computing Co." with
230:). In October 2018, he retired as senior lecturer at the
222:
has cited Vickers as an early influence on his work on
453:, Imperial College Press, London, pp. 1–12, 1996.
198:, a short-lived company Vickers formed together with
246:
with a degree in mathematics and completed a PhD at
1209:
1145:
1113:
1079:
906:
875:
857:
818:
797:
774:
714:
266:. He was responsible for the adaptation of the 4K
142:
126:
108:
94:
72:
58:
50:
31:
692:
8:
708:Sinclair computers, derivatives, and clones
699:
685:
677:
28:
1301:Academics of the University of Birmingham
673:with Richard Altwasser and Steven Vickers
526:
349:theory and is a more stringent form of
7:
1291:Academics of Imperial College London
383:A Topos for Algebraic Quantum Theory
381:(see Heunen, Landsman and Spitters'
369:and others (see Doering and Isham's
1261:Alumni of King's College, Cambridge
568:Laing, Gordon (7 September 2004).
533:Vickers's age was given as 29 in a
25:
1266:Alumni of the University of Leeds
133:Universal strongly regular rings
1296:Academics of the Open University
765:
542:"Sinclair User 4 - New Business"
377:, and Klaas Landsman's group at
341:and Mike Smyth. It stresses the
270:ROM into the 8K ROM used in the
39:
667:at the University of Birmingham
512:, (also see arXiv:0803.0417v1.)
313:before moving to the School of
171:. In the early 1980s, he wrote
415:, Chapter 8, pp. 429–496.
289:, a competitor to the similar
1:
650:Mathematics Genealogy Project
362:Topical Categories of Domains
194:. The latter was produced by
1271:British computer programmers
163:(born c. 1953) is a British
1276:British computer scientists
379:Radboud University Nijmegen
360:in a geometric form and in
1317:
1281:British technology writers
763:
558:, accessed 5 October 2013.
606:"(article title missing)"
244:King's College, Cambridge
202:, after the two had left
154:
87:
38:
539:article from July 1982.
358:constructive mathematics
319:University of Birmingham
232:University of Birmingham
121:University of Birmingham
18:Steve Vickers (academia)
665:Steve Vickers' homepage
462:Imperial College London
458:Department of Computing
307:Imperial College London
303:Department of Computing
250:, also in mathematics.
242:Vickers graduated from
220:Imperial College London
113:Imperial College London
63:University of Cambridge
281:. The company became
178:and manuals for three
993:ZX Spectrum based:
719:Science of Cambridge
613:, Volume 8, Number 8
351:intuitionistic logic
1201:Magnum Light Phaser
1166:Rotronics Wafadrive
1153:Beta Disk Interface
717:Sinclair Research /
212:theoretical physics
117:The Open University
67:University of Leeds
1137:FDD3000 Disk Drive
1123:Neptun 156 Monitor
893:ZX Spectrum clones
859:Cambridge Computer
615:. 1983. p. 43
331:Topology via Logic
301:Originally at the
208:Topology via Logic
169:computer scientist
77:Topology via Logic
1286:Sinclair Research
1243:
1242:
1230:Richard Altwasser
1196:Stack Light Rifle
1191:RAM Music Machine
1146:Other peripherals
1114:Timex peripherals
1081:Sinclair Research
820:Timex Corporation
810:ZX Spectrum Vega+
510:978-3-642-12820-2
413:978-1-4020-5586-7
279:Richard Altwasser
254:Sinclair Research
216:Christopher Isham
204:Sinclair Research
200:Richard Altwasser
158:
157:
89:Scientific career
16:(Redirected from
1308:
1047:ZX Spectrum Next
1003:CZ Spectrum Plus
805:ZX Spectrum Vega
798:Licenced systems
769:
701:
694:
687:
678:
652:
643:
637:
634:
628:
627:
622:
620:
602:
596:
595:
590:
588:
565:
559:
557:
555:
553:
544:. Archived from
531:
479:Johnstone, P. T.
375:Imperial College
315:Computer Science
248:Leeds University
144:Doctoral advisor
138:
99:Computer science
43:
29:
21:
1316:
1315:
1311:
1310:
1309:
1307:
1306:
1305:
1246:
1245:
1244:
1239:
1205:
1141:
1109:
1075:
1019:Scorpion ZS-256
911:
910:related systems
909:
902:
881:
871:
853:
814:
793:
770:
761:
751:ZX Spectrum 128
721:
718:
710:
705:
661:
656:
655:
644:
640:
635:
631:
618:
616:
604:
603:
599:
586:
584:
582:
567:
566:
562:
551:
549:
540:
532:
528:
523:
398:Elsevier, 2008.
391:
339:Samson Abramsky
327:
311:Open University
299:
256:
240:
228:quantum gravity
136:
119:
115:
101:
79:
65:
59:Alma mater
46:
34:
23:
22:
15:
12:
11:
5:
1314:
1312:
1304:
1303:
1298:
1293:
1288:
1283:
1278:
1273:
1268:
1263:
1258:
1248:
1247:
1241:
1240:
1238:
1237:
1232:
1227:
1225:Rick Dickinson
1222:
1221:John Pemberton
1219:
1217:Clive Sinclair
1213:
1211:
1207:
1206:
1204:
1203:
1198:
1193:
1188:
1183:
1178:
1173:
1168:
1163:
1160:
1155:
1149:
1147:
1143:
1142:
1140:
1139:
1134:
1132:FDD Disk Drive
1129:
1124:
1121:
1120:TS2040 Printer
1117:
1115:
1111:
1110:
1108:
1107:
1102:
1100:ZX Interface 2
1097:
1095:ZX Interface 1
1092:
1086:
1084:
1077:
1076:
1074:
1073:
1063:
1049:
991:
929:
914:
912:
907:
904:
903:
901:
900:
895:
890:
888:ZX80/81 clones
884:
882:
876:
873:
872:
870:
869:
863:
861:
855:
854:
852:
851:
846:
841:
835:
830:
824:
822:
816:
815:
813:
812:
807:
801:
799:
795:
794:
792:
791:
789:ZX Spectrum +3
786:
784:ZX Spectrum +2
780:
778:
772:
771:
764:
762:
760:
759:
754:
740:
735:
730:
724:
722:
715:
712:
711:
706:
704:
703:
696:
689:
681:
675:
674:
668:
660:
659:External links
657:
654:
653:
638:
629:
597:
580:
560:
548:on 16 May 2011
525:
524:
522:
519:
518:
517:
513:
501:
490:
476:
465:
454:
443:
431:
428:
425:
422:
419:
416:
405:
402:
399:
395:
390:
387:
326:
323:
298:
295:
283:Jupiter Cantab
260:Sinclair BASIC
255:
252:
239:
236:
196:Jupiter Cantab
180:home computers
156:
155:
152:
151:
146:
140:
139:
130:
124:
123:
110:
106:
105:
96:
92:
91:
85:
84:
74:
73:Known for
70:
69:
60:
56:
55:
54:United Kingdom
52:
48:
47:
44:
36:
35:
32:
24:
14:
13:
10:
9:
6:
4:
3:
2:
1313:
1302:
1299:
1297:
1294:
1292:
1289:
1287:
1284:
1282:
1279:
1277:
1274:
1272:
1269:
1267:
1264:
1262:
1259:
1257:
1256:Living people
1254:
1253:
1251:
1236:
1235:Steve Vickers
1233:
1231:
1228:
1226:
1223:
1220:
1218:
1215:
1214:
1212:
1208:
1202:
1199:
1197:
1194:
1192:
1189:
1187:
1184:
1182:
1179:
1177:
1174:
1172:
1169:
1167:
1164:
1161:
1159:
1156:
1154:
1151:
1150:
1148:
1144:
1138:
1135:
1133:
1130:
1128:
1125:
1122:
1119:
1118:
1116:
1112:
1106:
1105:ZX Microdrive
1103:
1101:
1098:
1096:
1093:
1091:
1088:
1087:
1085:
1082:
1078:
1072:
1068:
1064:
1062:
1058:
1054:
1050:
1048:
1044:
1040:
1036:
1032:
1031:Komputer 2086
1028:
1024:
1020:
1016:
1012:
1008:
1004:
1000:
996:
992:
990:
986:
982:
978:
974:
970:
966:
962:
958:
954:
950:
946:
942:
938:
934:
931:ZX81 based:
930:
928:
924:
920:
916:
915:
913:
908:Compatible or
905:
899:
896:
894:
891:
889:
886:
885:
883:
880:
874:
868:
865:
864:
862:
860:
856:
850:
847:
845:
842:
839:
836:
834:
831:
829:
826:
825:
823:
821:
817:
811:
808:
806:
803:
802:
800:
796:
790:
787:
785:
782:
781:
779:
777:
773:
768:
758:
755:
752:
748:
744:
741:
739:
736:
734:
731:
729:
726:
725:
723:
720:
713:
709:
702:
697:
695:
690:
688:
683:
682:
679:
672:
669:
666:
663:
662:
658:
651:
647:
646:Steve Vickers
642:
639:
633:
630:
626:
614:
612:
607:
601:
598:
594:
583:
581:9780782143300
577:
573:
572:
571:Digital retro
564:
561:
547:
543:
538:
537:
536:Sinclair User
530:
527:
520:
514:
511:
507:
502:
499:
498:0-521-57651-2
495:
491:
488:
487:3-540-54706-1
484:
480:
477:
474:
473:0-13-098831-6
470:
466:
463:
459:
455:
452:
451:1-86094-031-5
448:
444:
441:
437:
432:
429:
426:
423:
420:
417:
414:
410:
406:
403:
400:
396:
393:
392:
388:
386:
384:
380:
376:
372:
368:
363:
359:
354:
352:
348:
344:
340:
336:
332:
324:
322:
320:
316:
312:
308:
304:
296:
294:
292:
288:
284:
280:
275:
273:
269:
265:
261:
253:
251:
249:
245:
237:
235:
233:
229:
225:
221:
217:
213:
209:
205:
201:
197:
193:
189:
185:
181:
177:
174:
170:
166:
165:mathematician
162:
161:Steve Vickers
153:
150:
149:Alfred Goldie
147:
145:
141:
134:
131:
129:
125:
122:
118:
114:
111:
107:
104:
100:
97:
93:
90:
86:
82:
78:
75:
71:
68:
64:
61:
57:
53:
49:
45:Steve Vickers
42:
37:
33:Steve Vickers
30:
27:
19:
1234:
1127:TS2050 Modem
1057:One Per Desk
965:CZ 1500 Plus
961:CZ 1000 Plus
917:ZX80 based:
747:ZX Spectrum+
671:An interview
641:
632:
624:
617:. Retrieved
609:
600:
592:
585:. Retrieved
570:
563:
550:. Retrieved
546:the original
534:
529:
389:Bibliography
382:
370:
361:
355:
330:
328:
300:
276:
257:
241:
207:
160:
159:
132:
109:Institutions
88:
83:ROM firmware
76:
26:
1083:peripherals
1071:Jupiter Ace
977:Ringo R-470
969:CZ Spectrum
941:Lambda 8300
743:ZX Spectrum
367:Chris Isham
333:introduces
291:ZX Spectrum
287:Jupiter ACE
192:Jupiter Ace
188:ZX Spectrum
103:Mathematics
81:ZX Spectrum
51:Citizenship
1250:Categories
1090:ZX Printer
1051:QL based:
521:References
440:1575861801
343:point-free
1171:Multiface
1067:SAM Coupé
1011:Dubna 48K
933:Apply 300
898:QL clones
877:Lists of
840:(TC 2068)
574:. Sybex.
516:(Online).
238:Education
1186:SpecDrum
1176:Kempston
1158:DISCiPLE
1053:CST Thor
1027:Kay 1024
1023:Sprinter
1007:Didaktik
999:Pentagon
973:NE-Z8000
919:MicroAce
838:T/S 2068
833:T/S 1500
828:T/S 1000
335:topology
325:Research
297:Academia
262:for the
214:, where
176:firmware
1065:Other:
1061:Q40/Q60
957:CZ 1500
953:CZ 1000
949:CZ 2000
937:AS-1000
849:TC 3256
844:TC 2048
776:Amstrad
648:at the
500:, 1996.
317:at the
1210:People
1181:Currah
1015:Hobbit
945:CP-200
927:NE-Z80
879:clones
619:9 June
587:9 June
578:
552:14 May
508:
496:
485:
471:
449:
438:
411:
190:, and
182:, the
137:(1979)
135:
128:Thesis
95:Fields
1043:Robik
1035:TK90X
981:TK82C
373:) at
347:topos
224:topoi
1162:MB02
1039:TK95
989:TK85
985:TK83
923:TK80
738:ZX81
733:ZX80
728:MK14
621:2011
611:Byte
589:2011
576:ISBN
554:2011
506:ISBN
494:ISBN
483:ISBN
469:ISBN
447:ISBN
436:ISBN
409:ISBN
272:ZX81
268:ZX80
264:ZX80
226:and
184:ZX81
167:and
995:ATM
867:Z88
385:).
305:at
218:of
173:ROM
1252::
1069:,
1059:,
1055:,
1045:,
1041:,
1037:,
1033:,
1029:,
1025:,
1021:,
1013:,
1009:,
1005:,
1001:,
997:,
987:,
983:,
979:,
975:,
971:,
967:,
963:,
959:,
955:,
951:,
947:,
943:,
939:,
935:,
925:,
921:,
757:QL
749:,
623:.
608:.
591:.
460:,
293:.
186:,
1017:,
753:)
745:(
700:e
693:t
686:v
556:.
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.
