- Demolition Man is a 1993 American science fiction action film directed by Marco Brambilla in his directorial debut. It stars Sylvester Stallone, Wesley Snipes, Sandra Bullock, and Nigel Hawthorne. Stallone is John Spartan, a risk-taking police officer who has a reputation for causing destruction while carrying out his work. After a failed attempt to rescue hostages from evil crime lord Simon Phoenix (Snipes), they are both sentenced to be cryogenically frozen in 1996. Phoenix is thawed for a parole hearing in 2032, but escapes. Society has changed and all violent crime has seemingly been eliminated. Unable to deal with a criminal as dangerous as Phoenix, the authorities awaken Spartan to help capture him again. The story makes allusions to many other works including Aldous Huxley’s 1932 dystopian novel Brave New World and H. G. Wells’s The Sleeper Awakes.
- Well-ordering theorem (Wikipedia)
In mathematics, the well-ordering theorem, also known as Zermelo’s theorem, states that every set can be well-ordered. A set X is well-ordered by a strict total order if every non-empty subset of X has a least element under the ordering. The well-ordering theorem together with Zorn’s lemma are the most important mathematical statements that are equivalent to the axiom of choice (often called AC, see also Axiom of choice § Equivalents). Ernst Zermelo introduced the axiom of choice as an “unobjectionable logical principle” to prove the well-ordering theorem. One can conclude from the well-ordering theorem that every set is susceptible to transfinite induction, which is considered by mathematicians to be a powerful technique. One famous consequence of the theorem is the Banach–Tarski paradox.