|
Steve Vickers (computer Scientist)
Steve Vickers (born c. 1953) is a British mathematician and computer scientist. In the early 1980s, he wrote ROM firmware and manuals for three home computers, the ZX81, ZX Spectrum, and Jupiter Ace. The latter was produced by Jupiter Cantab, a short-lived company Vickers formed together with Richard Altwasser, after the two had left Sinclair Research. 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 ''Topology via Logic'' has been influential over a range of fields (extending even to theoretical physics, where Christopher Isham of Imperial College London has cited Vickers as an early influence on his work on topoi and quantum gravity). In October 2018, he retired as senior lecturer at the University of Birmingham. As announced on his university homepage, he continues to supervise PhD students at the university and focus on his research. Educat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Science
Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (including the design and implementation of hardware and software). Computer science is generally considered an area of academic research and distinct from computer programming. Algorithms and data structures are central to computer science. The theory of computation concerns abstract models of computation and general classes of problems that can be solved using them. The fields of cryptography and computer security involve studying the means for secure communication and for preventing security vulnerabilities. Computer graphics and computational geometry address the generation of images. Programming language theory considers different ways to describe computational processes, and database theory concerns the management of repositories o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Byte (magazine)
''Byte'' (stylized as ''BYTE'') was a microcomputer magazine, influential in the late 1970s and throughout the 1980s because of its wide-ranging editorial coverage. "''Byte'' magazine, the leading publication serving the homebrew market ..." ''Byte'' started in 1975, shortly after the first personal computers appeared as kits advertised in the back of electronics magazines. ''Byte'' was published monthly, with an initial yearly subscription price of $10. Whereas many magazines were dedicated to specific systems or the home or business users' perspective, ''Byte'' covered developments in the entire field of "small computers and software", and sometimes other computing fields such as supercomputers and high-reliability computing. Coverage was in-depth with much technical detail, rather than user-oriented. The company was purchased by McGraw-Hill in 1979, a watershed event that led to the rapid purchase of many of the early computer magazines by larger publishers. By this time ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Department Of Computing, Imperial College London
The Department of Computing (DoC) is the computer science department at Imperial College London. The department has around 50 academic staff and 1000 students, with around 600 studying undergraduate courses, 200 PhD students, and 200 MSc students. The department is predominantly based in the Huxley Building, 180 Queen's Gate, which it shares with the Maths department, however also has space in the William Penney Laboratory and in the Aeronautics and Chemical Engineering Extension. The department ranks 7th in the Times Higher Education 2020 subject world rankings. History The origins of the department start with the formation of the Computer Unit in 1964, led by Stanley Gill, out of the Department of Electrical Engineering. However, earlier work had also been done by the Department of Mathematics, which had built the Imperial College Computing Engine, an early digital relay computer. In 1966, the postgraduate Centre for Computing and Automation came into being and consumed the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jupiter ACE
The Jupiter Ace by Jupiter Cantab was a British home computer of the early 1980s. The Ace differed from other microcomputers of the time in that its programming environment used Forth instead of the more popular BASIC. After Jupiter Cantab ceased trading, the brand was acquired by Boldfield Computing Ltd in 1984, before eventually being sold to Paul Andrews's company Andrews UK Limited in 2015. History Jupiter Cantab was formed by Richard Altwasser and Steven Vickers. Both had been on the design team for the Sinclair ZX Spectrum: Altwasser did some work on the development of the ZX-81 and in the design of the hardware of the Spectrum. Vickers adapted and expanded the 4K ZX-80 ROM to the 8K ZX-81 ROM and wrote most of the ROM for the Spectrum. The Jupiter Ace was named after an early British computer, the Pilot ACE. Sales to the general public were slow. Initially the computer was only available by mail order, and Jupiter Cantab reported that there were production ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
ZX80
The Sinclair ZX80 is a home computer launched on 29 January 1980 by Science of Cambridge Ltd. (later to be better known as Sinclair Research). It is notable for being one of the first computers available in the United Kingdom for less than a hundred pounds. It was available in kit form for £79.95, where purchasers had to assemble and solder it together, and as a ready-built version at £99.95. The ZX80 was very popular straight away, and for some time there was a waiting list of several months for either version of the machine. Name The ZX80 was named after the Z80 processor with the 'X' meaning "the mystery ingredient". Hardware Internally, the machine was designed by Jim Westwood around a Z80 central processing unit with a clock speed of 3.25 MHz, and was equipped with 1 KB of static RAM and 4 KB of read-only memory (ROM). It had no sound output. The ZX80 was designed around readily available TTL chips; the only proprietary technology was the f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sinclair BASIC
Sinclair BASIC is a dialect of the programming language BASIC used in the 8-bit home computers from Sinclair Research and Timex Sinclair. The Sinclair BASIC interpreter was made by Nine Tiles Networks Ltd. History Sinclair BASIC was originally developed in 1979 for the ZX80 by Nine Tiles. The programmers were John Grant, the owner of Nine Tiles, and Steve Vickers. It was initially an incomplete implementation of the 1978 American National Standards Institute (ANSI) minimal BASIC standard with integer arithmetic only, termed the 4K BASIC (for its ROM size) for the ZX80. It evolved through the floating-point 8K BASIC for the ZX81 and TS1000 (which was also available as an upgrade for the ZX80), and became an almost complete version in the 16 KB ROM ZX Spectrum (known as 48K BASIC). It is present in all ZX Spectrum compatibles, with more advanced systems also offering expanded versions like 128K BASIC, +3 BASIC, T/S 2000 BASIC, BASIC64 or Timex Extended Basic. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Leeds University
, mottoeng = And knowledge will be increased , established = 1831 – Leeds School of Medicine1874 – Yorkshire College of Science1884 - Yorkshire College1887 – affiliated to the federal Victoria University1904 – University of Leeds , type = Public , endowment = £90.5 million , budget = £751.7 million , chancellor = Jane Francis , vice_chancellor = Simone Buitendijk , students = () , undergrad = () , postgrad = () , city = Leeds , province = West Yorkshire , country = England , campus = Urban, suburban , free_label = Newspaper , free = The Gryphon , colours = , website www.leeds.ac.uk, logo = Leeds University logo.svg , logo_size = 250 , administrative_staff = 9,200 , coor = , affiliations = The University of Leeds is a public research university in Leeds, West Yorkshire, England. It was established in 1874 as the Yorkshire College of Science. In 1884 it merged with the Leeds School of Medicine (established 1831) and was renamed ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
King's College, Cambridge
King's College is a constituent college of the University of Cambridge. Formally The King's College of Our Lady and Saint Nicholas in Cambridge, the college lies beside the River Cam and faces out onto King's Parade in the centre of the city. King's was founded in 1441 by King Henry VI soon after he had founded its sister institution at Eton College. Initially, King's accepted only students from Eton College. However, the king's plans for King's College were disrupted by the Wars of the Roses and the resultant scarcity of funds, and then his eventual deposition. Little progress was made on the project until 1508, when King Henry VII began to take an interest in the college, probably as a political move to legitimise his new position. The building of the college's chapel, begun in 1446, was finished in 1544 during the reign of Henry VIII. King's College Chapel is regarded as one of the finest examples of late English Gothic architecture. It has the world's largest fan va ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quantum Gravity
Quantum gravity (QG) is a field of theoretical physics that seeks to describe gravity according to the principles of quantum mechanics; it deals with environments in which neither gravitational nor quantum effects can be ignored, such as in the vicinity of black holes or similar compact astrophysical objects, such as neutron stars. Three of the four fundamental forces of physics are described within the framework of quantum mechanics and quantum field theory. The current understanding of the fourth force, gravity, is based on Albert Einstein's general theory of relativity, which is formulated within the entirely different framework of classical physics. However, that description is incomplete: describing the gravitational field of a black hole in the general theory of relativity leads physical quantities, such as the spacetime curvature, to diverge at the center of the black hole. This signals the breakdown of the general theory of relativity and the need for a theory that goe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topoi
In mathematics, a topos (, ; plural topoi or , or toposes) is a category that behaves like the category of sheaves of sets on a topological space (or more generally: on a site). Topoi behave much like the category of sets and possess a notion of localization; they are a direct generalization of point-set topology. The Grothendieck topoi find applications in algebraic geometry; the more general elementary topoi are used in logic. The mathematical field that studies topoi is called topos theory. Grothendieck topos (topos in geometry) Since the introduction of sheaves into mathematics in the 1940s, a major theme has been to study a space by studying sheaves on a space. This idea was expounded by Alexander Grothendieck by introducing the notion of a "topos". The main utility of this notion is in the abundance of situations in mathematics where topological heuristics are very effective, but an honest topological space is lacking; it is sometimes possible to find a topos forma ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Christopher Isham
Christopher Isham (; born 28 April 1944), usually cited as Chris J. Isham, is a theoretical physicist at Imperial College London. Research Isham's main research interests are quantum gravity and foundational studies in quantum theory. He was the inventor of an approach to temporal quantum logic called the HPO formalism, and has worked on loop quantum gravity and quantum geometrodynamics. Together with other physicists, such as John C. Baez, Isham is known as a proponent of the utility of category theory in theoretical physics. In recent years, since at least 1997, he has been working on a new approach to quantum theory based on topos theory. Isham has appeared in several '' NOVA'' television programmes as well as a film about Stephen Hawking. Physicist Paul Davies has described Isham as "Britain's greatest quantum gravity expert." As a practising Christian, Isham has also written about the relationships among philosophy, theology, and physics. Awards * 2011: Dira ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Theoretical Physics
Theoretical physics is a branch of physics that employs mathematical models and abstractions of physical objects and systems to rationalize, explain and predict natural phenomena. This is in contrast to experimental physics, which uses experimental tools to probe these phenomena. The advancement of science generally depends on the interplay between experimental studies and theory. In some cases, theoretical physics adheres to standards of mathematical rigour while giving little weight to experiments and observations.There is some debate as to whether or not theoretical physics uses mathematics to build intuition and illustrativeness to extract physical insight (especially when normal experience fails), rather than as a tool in formalizing theories. This links to the question of it using mathematics in a less formally rigorous, and more intuitive or heuristic way than, say, mathematical physics. For example, while developing special relativity, Albert Einstein was concerned with ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.jpg "Click for more on -> ZX80")
