- Brazil is a 1985 science-fiction dystopian black comedy film directed by Terry Gilliam and written by Gilliam, Charles McKeown, and Tom Stoppard. The film stars Jonathan Pryce and features Robert De Niro, Kim Greist, Michael Palin, Katherine Helmond, Bob Hoskins, and Ian Holm.
- RoboCop (Wikipedia)
RoboCop is a 1987 American science fiction action film directed by Paul Verhoeven, with a screenplay by Edward Neumeier and Michael Miner. The film stars Peter Weller, Nancy Allen, Daniel O’Herlihy, Ronny Cox, Kurtwood Smith, and Miguel Ferrer. Set in a crime-ridden Detroit, in the near future, RoboCop centers on police officer Alex Murphy (Weller) who is murdered by a gang of criminals and subsequently revived by the megacorporation Omni Consumer Products as the cyborg law enforcer RoboCop. Unaware of his former life, RoboCop executes a brutal campaign against crime while coming to terms with the lingering fragments of his humanity.
- Quantifier (logic) (Wikipedia)
In logic, a quantifier is an operator that specifies how many individuals in the domain of discourse satisfy an open formula. For instance, the universal quantifier ∀ in the first order formula ∀xP(x) expresses that everything in the domain satisfies the property denoted by P. On the other hand, the existential quantifier ∃ in the formula ∃xP(x) expresses that there exists something in the domain which satisfies that property. A formula where a quantifier takes widest scope is called a quantified formula. A quantified formula must contain a bound variable and a subformula specifying a property of the referent of that variable.