Nov 6th, 2008 · A special issue of Notices of the American Mathematical Society (AMS) provides four beautiful articles illustrating formal proof by computation. PhysOrg has a simpler article on these assistant mathematical computer programs and states 'One long-term …
Oct 1st, 2008 · 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, …
Sep 30th, 2008 · 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, …
Mar 12th, 2008 · jerryasher recommends Paul Krugman's blog at the NYTimes, where he introduces a paper he wrote, The Theory of Interstellar Trade, with tongue very much in cheek. Some packrat academician was kind enough to send him a scan, because "back then academics …
Feb 4th, 2008 · The Association for Computing Machinery has announced the 2008 Turing Award Winners. Edmund M. Clarke, Allen Emerson, and Joseph Sifakis received the award for their work on an automated method for finding design errors in computer hardware and software. …
Dec 16th, 2007 · An argument has arisen over whether Wikipedia should allow pages that provide proofs for mathematical theorems (such as this one). On the one hand, Wikipedia is a useful source of information and people can benefit from these proofs. On the other hand, …
Oct 29th, 2007 · PJ1216 writes to mention that vinyl seems poised to make a comeback in the music industry. Some are even predicting that this comeback coupled with the surge in digital music sales could possibly close the door on CDs. "Portability is no longer any reason …
Mar 27th, 2006 · Sci Tech is reporting that Swedish mathematician Lennart Carleson has won the Abel Prize on Thursday for proving a 19th century theorem on harmonic analysis. His theorems have been helpful in creating iPod. Prof Carleson's major contributions have come …
Apr 25th, 2005 · An Indian mathematician, Chandrashekhar Khare, is poised to make a significant breakthrough in the field of number theory with his solution of part of a major outstanding problem in algebraic number theory. He is currently an associate professor in Mathematics …
