Forgot your password?

Close
typodupeerror

Comment: Re:Can it crash less often than Windows? (Score 2) 225

by tmetzcc325 (#36613458) Attached to: Can Ubuntu Linux Consume Less Power Than Windows?
I've been using Lubuntu 11.04 on my Asus S101 EeePC with the 32GB SSD, and it has been great. Way more responsive than standard Ubuntu. And more stable. The battery life still sucks, though that might be a knock against Asus since the battery life has sucked since I was running UNR on it a couple years ago.

Comment: Re:ACH! (Score 1) 70

by tmetzcc325 (#26374601) Attached to: EGM Magazine Shutting Down
I agree with this person. Although I haven't seen a copy since I moved out of my parents' house in 2004, I had been a subscriber since early 1998, and thought it was a great magazine. Sure, the writing had some elements of immaturity, but I thought for the most part the magazine was put together well and still had a ton of good content. And rags are still great for reading on airplanes, subways, the throne, etc. Shame to see them go under.

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

by tmetzcc325 (#25242263) Attached to: Can Static Electricity Generate Votes?

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.

Math

+ - Wolfram awards $25,000 for flawed proof

Submitted by
An anonymous reader writes "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."

QOTD: "When she hauled ass, it took three trips."

Close