Two-hundred-terabyte maths proof is largest ever

A computer cracks the Boolean Pythagorean triples problem — but is it really maths?

Three computer scientists have announced the largest-ever mathematics proof: a file that comes in at a whopping 200 terabytes, roughly equivalent to all the digitized text held by the US Library of Congress. The researchers have created a 68-gigabyte compressed version of their solution — which would allow anyone with about 30,000 hours of spare processor time to download, reconstruct and verify it — but a human could never hope to read through it.

Click here for more information.

Kenneth I. Appel, Mathematician Who Harnessed Computer Power, Dies at 80

Kenneth I. Appel, who helped usher the venerable mathematical proof into the computer age, solving a longstanding problem concerning colors on a map with the help of an I.B.M. computer making billions of decisions, died on April 19 in Dover, N.H. He was 80.

Click here for more information.

Japanese man calculates pi to 10 trillion digits

The latest number-crunching champ isn't a supercomputer--it's a hacked-together PC.

Shigeru Kondo of Iida, Nagano Prefecture, worked with software designed by Northwestern University grad student Alexander Yee, and followed up their 2010 feat of reckoning pi to 5 trillion digits.

The result was achieved earlier this month after 371 days of computation and numerous hard drive failures.

Click here for more information.

Babbage Analytical Engine designs to be digitised

A project to construct one of the earliest mechanical computers based on sketches by its designer, Charles Babbage, has received a major boost.

The Science Museum in London has agreed to help by digitising the mathematician's original plans.

Eventually the images will be used to create a full working model of the Analytical Engine.

Click here for the full article.

No 'Simple Theory of Everything'

The "exceptionally simple theory of everything," proposed by a surfing physicist in 2007, does not hold water, says Emory mathematician Skip Garibaldi.

Garibaldi, a rock climber in his spare time, did the math to disprove the theory, which involves a mysterious structure known as E8. The resulting paper, co-authored by physicist Jacques Distler of the University of Texas, will appear in an upcoming issue of Communications in Mathematical Physics.

Click here for more information.

Click here for original post.

J - An Amazing Programming Language

J is a modern, high-level, general-purpose, high-performance programming language. J is portable and runs on Windows, Unix, Mac, and PocketPC handhelds, both as a GUI and in a console.

Wolfram | Alpha

Check out the Wolfram|Alpha computational knowledge engine.

New Smartpen And Paper To Help Teach Blind College Students

A new smartpen and paper technology that works with touch and records classroom audio aims to bring these subjects to life for blind students.

Surfer dude stuns physicists with theory of everything

An impoverished surfer has drawn up a new theory of the universe, seen by some as the Holy Grail of physics, which has received rave reviews from scientists.

Click here for more information.

His paper can be downloaded here.

A previous article can be found here.

Lie Groups - E8

Mathematicians Map E₈
Mathematicians have mapped the inner workings of one of the most complicated structures ever studied: the object known as the exceptional Lie group E₈. This achievement is significant both as an advance in basic knowledge and because of the many connections between E₈ and other areas, including string theory and geometry.

Click here for more information.