mathemical proofs for the 21st century

The Economist examines what it means to prove something, and how formal logic and computers can be used to replace traditional mathemtical proofs. Formal proof is a notion developed in the early part of the 20th century by logicians such as Bertrand Russell and Gottlob Frege, along with mathematicians such as David Hilbert (who can …

mike lazaridis gets it

Inc. magazine has a piece on 26 most fascinating entrepreneurs. There’s Craig Newmark (for putting the free in free markets) and Mike Lazaridis, who really get it: Mike Lazaridis, whose company launched the BlackBerry in 1998, developed his philosophy of innovation as an intern at Ontario’s Control Data in the early 1980s. He often saw …