Slashdot Mirror


Wolfram's 2,3 Turing Machine Not Universal

Fishbat writes "In a cutting message to the Foundations of Mathematics mailing list, Stanford's Vaughan Pratt has pointed out an elementary mistake in the recently announced proof that Wolfram's (2,3) machine is universal." Update: 10/30 04:18 GMT by KD : Ed Pegg Jr. from Wolfram Research points to this response to Dr. Pratt's note, which has been submitted to the FoM mailing list but has not yet appeared there due to moderation.

16 of 284 comments (clear)

  1. "from the whoa-not-so-fast-there-big-fella dept" by ZorbaTHut · · Score: 5, Funny

    Yeah, speaking of that . . .

    "Wolfram's 2,3 Turing Machine Not Universal". What? Where'd you get that? This issue doesn't prove anything of the sort - it merely shows that this proof is invalid. It may be universal, it may not, but we still don't know.

    So, ironically - whoa, not so fast there big editor.

    --
    Breaking Into the Industry - A development log about starting a game studio.
  2. Bad romantic consequence by Hao+Wu · · Score: 5, Funny

    I hope that this young man's girlfriend stands by him. So many women would be driven away from an otherwise suitable boyfriend who is skilled at the maths.

    --
    I suggest you read Slashdot
  3. Where are my meds? by synthespian · · Score: 2, Funny

    Jesus Christ, is Wolfram out of Lithium again?

    --
    Main difference between the BSD license and the GPL license: one is from California and the other is from Massachusetts
  4. Re:duh by schon · · Score: 4, Funny

    the universality of Turing machines is... gosh, what the heck does this mean? It means you need to study more for your CS exams.
  5. Re:Proven? by Anonymous Coward · · Score: 3, Funny

    Apparently some Slashdot editors have still to defeat the gargantuan misteries of propositional calculus...

  6. Can I get a refund by stinkfish · · Score: 3, Funny

    for the Wolfram's 2,3 Turing Machine I bought from amazon?

    1. Re:Can I get a refund by rubycodez · · Score: 4, Funny

      only if the infinite tape is mostly unused

    2. Re:Can I get a refund by Anonymous Coward · · Score: 2, Funny

      Just cut out the used part, and tape the two ends together. No one will ever know the difference.

  7. Re:Proven? by EvanED · · Score: 5, Funny

    Apparently some Slashdot editors have still to defeat the gargantuan misteries of propositional calculus...

    Or, you know, English.

  8. I rate this proof by MillionthMonkey · · Score: 5, Funny

    (Score: 2,3 Possibly Informative)

    1. Re:I rate this proof by Alsee · · Score: 2, Funny

      (Score: 2,3 Possibly Universal)

      -

      --
      - - You can't take something off the Internet! That's like trying to take pee out of a swimming pool.
  9. Re:The Filter by Anonymous Coward · · Score: 4, Funny

    "p.s. I have no connection to the book or the author. I'm just a very happy customer."

    Hey Michael, long time no post.

  10. The prize stands - by Anonymous Coward · · Score: 2, Funny

    he was just using a new kind of proof.

  11. Re:Pay back? by ruinous · · Score: 1, Funny

    What does Will Smith have to do with this?!

  12. Re:The Filter by HeadlessNotAHorseman · · Score: 5, Funny

    Wolfram's 2,3 Turing Machine Not Universal
    HOLLYWOOD - In a shock move, MGM has undercut Universal in its bid for the movie rights to Wolfram's 2,3 Turing Machine. Insiders had predicted that Universal would make the deal to build on the phenomenal success of Wolfram's 2,2 Turing Machine, but it has since become apparent that Universal failed to include an option for all sequels in the original contract. The exact figure offered by MGM is unknown, but is believed to be approximately x + y, and we can confirm that y is a finite number. More details will follow.

    --
    I like my coffee the way I like my women - roasted and ground up into little tiny pieces.
  13. Re:Wow... by jpop32 · · Score: 2, Funny

    Jeez, Can someone please give me the short version explanation about why everyone is bagging on Wolfram?

    Well, the very short version is that he is not a very nice person. And, basically, he said 'fuck you' to the traditional scientific community and went his separate way, turning from a prodigy to an outlaw. Which the traditional scientific community didn't appreciate much. And now they are, more or less, openly out to get him.

    Which is, IMHO, unfortunate, because his scientific ideas should be judged on their merits alone.