Slashdot Mirror
Mechanical Reasoners Battle It Out In Sydney Today
Stephan Schulz writes "Today, the CADE ATP System
Competition will pit about 20 of the worlds most powerful mechanical
mathematicians against each other — and for the first time they can win not only honour, but a monetary prize. The systems will
reason against the clock on tasks ranging from undergraduate math problems and Cluedo-like puzzles to
figuring out the possible responsibility for terrorist attacks from giant knowledge bases. If you think that is not impressive enough,
they are doing it at a rate of 12 problems per hour, all day long. The competition starts at 10 a.m. in Sydney, Australia, which is midnight UTC. Live results will be available at the competition page. For added geek appeal, most of the contenders are available under open source licenses, so if you are weak in logic you can hack up your own brain extension and run it on an iPhone."
I was thinking it meant humans who work on the mathematics of machines.
A unique way to learn a language: http://languageloom.com
It's computers automatically solving logic problems. That includes deduction games such as Clue (aka Cluedo), logic puzzles like you can find in magazines, proving mathematical theorems, etc.
What a fool believes, he sees, no wise man has the power to reason away.
And DEK's further note about the name: "Not even I was brazen enough to call the course `distinuous mathematics'."
(For those unfamiliar, the idea of the book (and I presume the course) was to build up to elegant concepts and results like in advanced calculus (continuous mathematics), while using an elementary discrete combinatoric context. Hence, con-crete math.)
"They were pure niggers." – Noam Chomsky