Want to read Slashdot from your mobile device? Point it at m.slashdot.org and keep reading!

 



Forgot your password?
typodupeerror
×

Comment Re:Correlation (Score 1) 570

Text messaging has enormous utility in a lot of situations. I always text my flight number and airline to whoever's picking me up from the airport, for example. Otherwise, the person would have to (a) hear me correctly over the cell network and (b) write down what I said on a piece of paper. Texting is just better in general for sending any kind of data where it's important to be precise (flight numbers, addresses, phone numbers, etc.). It's also a lot easier to make changes to plans through a mass-texting. Instead of calling all your friends and saying, "Hey, let's meet at 8:30 instead of 8:00", just send them all a single text.

Honestly, SMS and MMS are there as a stand-in until getting push e-mail on phones is more common. Right now, e-mail is pretty much the domain of the smart phone. If and when dumb phones get the capacity to do e-mail relatively well (not inconceivable with Android), text messaging usage and rates will probably diminish.
Math

Towards a Wiki For Formally Verified Mathematics 299

An anonymous reader writes "Cameron Freer, an instructor in pure mathematics at MIT, is working on an intriguing project called vdash.org (video from O'Reilly Ignite Boston 4): a math wiki which only allows true theorems to be added! Based on Isabelle, a free-software theorem prover, the wiki will state all of known mathematics in a machine-readable language and verify all theorems for correctness, thus providing a knowledge base for interactive proof assistants. In addition to its benefits for education and research, such a project could reveal undiscovered connections between fields of mathematics, thus advancing some fields with no further work being necessary."

Slashdot Top Deals

Solutions are obvious if one only has the optical power to observe them over the horizon. -- K.A. Arsdall

Working...