25 relations: Alan Turing, Arthur Prior, Australia, Computer science, Duration calculus, English Electric, English Electric DEUCE, Fallacy, Free On-line Dictionary of Computing, Friedrich L. Bauer, Interval temporal logic, James F. Allen, Karl Popper, Klaus Samelson, London School of Economics, Mathematical logic, Pat Hayes, Reverse Polish notation, Stack (abstract data type), Sydney, Temporal logic, University of London, University of Melbourne, University of New South Wales, World War II.
Alan Mathison Turing (23 June 1912 – 7 June 1954) was an English computer scientist, mathematician, logician, cryptanalyst, philosopher, and theoretical biologist.
Arthur Norman Prior (4 December 1914 – 6 October 1969), usually cited as A. N. Prior, was a noted logician and philosopher.
Australia, officially the Commonwealth of Australia, is a sovereign country comprising the mainland of the Australian continent, the island of Tasmania and numerous smaller islands.
Computer science deals with the theoretical foundations of information and computation, together with practical techniques for the implementation and application of these foundations.
Duration calculus (DC) is an interval logic for real-time systems.
The English Electric Company Limited was a British industrial manufacturer formed after the armistice of World War I at the end of 1918.
The DEUCE (Digital Electronic Universal Computing Engine) was one of the earliest British commercially available computers, built by English Electric from 1955.
A fallacy is the use of invalid or otherwise faulty reasoning, or "wrong moves" in the construction of an argument.
The Free On-line Dictionary of Computing (FOLDOC) is an online, searchable, encyclopedic dictionary of computing subjects.
Friedrich Ludwig "Fritz" Bauer (10 June 1924 – 26 March 2015) was a German computer scientist and professor at the Technical University of Munich.
Interval temporal logic (also interval logic) is a temporal logic for representing both propositional and first-order logical reasoning about periods of time that is capable of handling both sequential and parallel composition.
James Frederick Allen (born 1950) is a computational linguist recognized for his contributions to temporal logic, in particular Allen's Interval Algebra.
Sir Karl Raimund Popper (28 July 1902 – 17 September 1994) was an Austrian-British philosopher and professor.
Klaus Samelson (December 21, 1918 – May 25, 1980) was a German mathematician, physicist, and computer pioneer in the area of programming language translation and push-pop stack algorithms for sequential formula translation on computers.
The London School of Economics (officially The London School of Economics and Political Science, often referred to as LSE) is a public research university located in London, England and a constituent college of the federal University of London.
Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics.
Patrick John Hayes FAAAI (born 21 August 1944) is a British computer scientist who lives and works in the United States.
Reverse Polish notation (RPN), also known as Polish postfix notation or simply postfix notation, is a mathematical notation in which operators follow their operands, in contrast to Polish notation (PN), in which operators precede their operands.
In computer science, a stack is an abstract data type that serves as a collection of elements, with two principal operations.
Sydney is the state capital of New South Wales and the most populous city in Australia and Oceania.
In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time.
The University of London (abbreviated as Lond. or more rarely Londin. in post-nominals) is a collegiate and a federal research university located in London, England.
The University of Melbourne is a public research university located in Melbourne, Australia.
The University of New South Wales (UNSW; branded as UNSW Sydney) is an Australian public research university located in the Sydney suburb of Kensington.
World War II (often abbreviated to WWII or WW2), also known as the Second World War, was a global war that lasted from 1939 to 1945, although conflicts reflecting the ideological clash between what would become the Allied and Axis blocs began earlier.