# Slashdot videos: Now with more Slashdot!

We've improved Slashdot's video section; now you can view our video interviews, product close-ups and site visits with all the usual Slashdot options to comment, share, etc. No more walled garden! It's a work in progress -- we hope you'll check it out (Learn more about the recent updates).

## Comment: Re:MyDomain.com (Score 1) 286

## Comment: Re:External display (Score 1) 544

## Comment: Re:ACH! (Score 1) 70

## Comment: Re:DTV? Hahahaha (Score 1) 591

## Comment: Re:Valid election? (Score 2, Interesting) 377

There is no NEED for E-voting. 12-24 hours to handcount paper ballots is sufficient and also enough to have the counting audited/supervised by independent parties.

The problem then becomes, 'How do we determine who is an independent party who is unbiased enough to give us a truthful audit?' Other than that little problem, though, I agree with you fully.

## + - Gmail Down? 1

*"Is gmail down?"*

## + - Wolfram awards $25,000 for flawed proof

*"Slashdot readers will have seen an announcement by Stephen Wolfram offering a $25,000 prize for a proof or a disproof that a certain 2-state, 3-color Turing machine is universal. The prize was awarded on October 24th, 2007 to Alex Smith of Birmingham, UK.*

However, according to discussion in the Foundation of Mathematics e-mail list, archives of which are available here, the members of the prize committee were "informed but not polled" as to the validity of the proof. The prize committee members were Lenore Blum, Greg Chaitin, Martin Davis, Ron Graham, Yuri Matiyasevich, Marvin Minsky, Dana Scott and Stephen Wolfram. On October 26, Martin Davis wrote to the FOM list that "The determination that Smith's proof is correct seems to have been made entirely by the Wolfram organization. My understanding is that the I/O involves complex encodings."

On October 29th, Stanford computer scientist Vaughan Pratt wrote to the Foundations of Mathematics list that the universality proof of the (2,3) Turing machine was flawed, asking "How did an argument containing such an elementary fallacy get through the filter?" Pratt points out that the fallacy of the proof could be used to "prove" the erroneous statement that a linear bounded automaton is universal. The text of Pratt's email is available here."

However, according to discussion in the Foundation of Mathematics e-mail list, archives of which are available here, the members of the prize committee were "informed but not polled" as to the validity of the proof. The prize committee members were Lenore Blum, Greg Chaitin, Martin Davis, Ron Graham, Yuri Matiyasevich, Marvin Minsky, Dana Scott and Stephen Wolfram. On October 26, Martin Davis wrote to the FOM list that "The determination that Smith's proof is correct seems to have been made entirely by the Wolfram organization. My understanding is that the I/O involves complex encodings."

On October 29th, Stanford computer scientist Vaughan Pratt wrote to the Foundations of Mathematics list that the universality proof of the (2,3) Turing machine was flawed, asking "How did an argument containing such an elementary fallacy get through the filter?" Pratt points out that the fallacy of the proof could be used to "prove" the erroneous statement that a linear bounded automaton is universal. The text of Pratt's email is available here."

## + - U.S. free of canine-rabies, according to CDC->

*WaltonNews*

*"The U.S. Centers for Disease Control and Prevention (CDC) announced on September 7, 2007, that the United States has eliminated rabies transmitted from dog-to-dog. The CDC states it is "one of the major public health success stories in the last 50 years"."*

Link to Original Source