Wednesday, October 31, 2012

Theorem Proof Gains Acclaim

Theorem Proof Gains Acclaim: Georges Gonthier of Microsoft Research Cambridge, working with colleagues from Inria, recently delivered a computer-assisted proof of the Feit-Thompson Theorem, which when first published 50 years ago, took two volumes and 255 pages to contain it.

DIGITAL JUICE

No comments:

Post a Comment

Thank's!