HomePage RecentChanges

ocat

Project: mmj2


Resources

The Reasoner


"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."

--Mahatma Gandhi

"Only he who attempts the absurd is capable of achieving the impossible."

--Miguel de Unamuno

        "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".