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!