sajidu

Some quotes:

"and I believe that mathematicians who continue to do pure human, pencil-and-paper, computer-less, research, are wasting their time."

"The axiomatic method is not even the most efficient way to prove theorems in Euclidean Geometry."

The author is disagreeing with math as practiced by most mathematicians: proof using only pencil, paper and coffee.

BTW, formalism is only a fairy tale mathematicians tell their children when putting them to bed at night. In our hearts, we're all closet platonists.

I'd agree with the author that only logicians are interested in formal proofs.

But what the author describes as the Hilbet-Bourbaki method is simply what math is. Any mathematician will tell you that if you're not proving theorems then you're not really doing math.

Anyway, what good is a computer proof if it doesn't provide any insight ? (which is usually the case). A good proof usually illuminates why some mathematical statement is true, and that is why computer proofs are usually looked upon with suspicion by many mathematicians.

After all, a computer simply churning out the answer (42 ?) doesn't advance the state of human knowledge at all.

MSFT, welcome to the interwebs!!!

Even Linus loves it :)

Wonderful :)

This is stupid...

Brokers don't trade with their own money, they trade on behalf of clients.

They make a living by charging their clients a small commission for making the trade. Brokers make money when the market is going up, and they make when money the market is going down.

Most users think it is.

Ignore your users at your own peril...

Facebook users don't care about Beacon ... not yet anyway.

Steve is a Google employee.