Project: mmj2
"Alex, there are two kinds of people in this world. The people who don't wanna know, even if they oughta know. And the people who just have to know, even if it's not going to help them."
– "Heavy Weather", Bruce Sterling
"Live as if you were to die tomorrow. Learn as if you were to live forever."
"Only he who attempts the absurd is capable of achieving the impossible."
"To solve a problem, there has to be a problem or problems to solve. So the solver must first create the problem, or more often recreate it. And, of course, you have to replace any that you actually get rid of. That's the usual function of organizations: to help one create new problems or take old ones out of mothballs. [...] Organizations carry it beyond that level--to the point of engineering, promoting, and enforcing problems. I'm sure you've noticed how their solutions provide a next generation of bigger and better problems. Call it a game of posing and resolving problems." -- John Dalmas, "The Playmasters".
"I think, therefore I possibly am." – Quantum Descartes Principle (paraphrased from Red Dwarf).
Struggling Americans Forced To Work Extra-Dimensional 4th Shift --
'"The maximum 24 hours of possible work time offered by our plane of existence is simply not enough to provide a living wage in the current economic climate," Labor Secretary Elaine Chao wrote in a letter introducing the report. "These difficult circumstances have compelled 76 percent of the American workforce to seek additional hours in an alternate space-time dimension, where more competitive pay can help them to avoid years of crippling debt."'
A Special Issue on Formal Proof
"Using computers in proofs both extends mathematics with new results and creates new mathematical questions about the nature and technique of such proofs. This special issue features a collection of articles by practitioners and theorists of such formal proofs which explore both aspects."
See also Proof by computer: Harnessing the power of computers to verify mathematical proofs
"The four Notices articles explore the current state of the art of formal proof and provide practical guidance for using computer proof assistants. If the use of these assistants becomes widespread, they could change deeply mathematics as it is currently practiced. One long-term dream is to have formal proofs of all of the central theorems in mathematics. Thomas Hales, one of the authors writing in the Notices, says that such a collection of proofs would be akin to "the sequencing of the mathematical genome".