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

1 of 158 comments (clear)

Min score:

Reason:

Sort:

Re:English anyone?? by nhaines · 2007-12-23 08:03 · Score: 0, Offtopic

Actually, that was originally the location of Ctrl. I'm not sure why the changed it, but if I were to remap my CapsLock, it would definitely be to Ctrl.

On the other hand, the OLPC XO-1 is mapped that way and I haven't become used to it yet... So for now I'll leave everything where it is until I can get a nice keyboard with generic keycaps (although I'd substitute a Tux icon for a "Super" label...).