44 Conjectures of Stephen Wolfram Disproved

Posted by kdawson on Sunday December 23, 2007 @06:55AM from the new-kind-of-error dept.

Richard Pritches writes in to let us know that MIT errata expert Evangelos Georgiadis has disproved 44 conjectures set by Dr. Stephen Wolfram (founder of Mathematica) in A New Kind of Science. The paper was published in the latest issue of the Journal of Cellular Automata and can be read in PDF form at Prof Edwin Clark's collection of reviews of Wolfram's ANKS. "The formulas provided by Wolfram for these [44] rules are not minimal. Moreover for 8 of these cannot be minimal even by simple inspection since minimal formula sizes for 3-input Boolean functions over this basis never exceeds 5."

3 of 158 comments (clear)

Re:What happened to proofreading? by RAMMS+EIN · 2007-12-23 08:00 · Score: 1, Troll

Proofreading? On Slashdot? You must be new here!

--
Please correct me if I got my facts wrong.
Re:English anyone?? by OrangeTide · 2007-12-23 08:25 · Score: 1, Troll

People on the internet are too busy typing to be bothered with reading.

--
“Common sense is not so common.” — Voltaire
Re:Slightly different boolean formula by Nimey · 2007-12-23 08:44 · Score: 0, Troll

That is a very inflammatory title. On Slashdot?. Never!

--
Hail Eris, full of mischief...

E pluribus sanguinem