Wednesday, October 17, 2012

Georges Gonthier completes formal proof of the Feit-Thompson Theorem

On Sept. 20 2012 The Feit-Thompson proof was completed. It took over six years. It states that in mathematical group theory, every finite group of odd order is solvable. It was done in the Coq proof assistant.

Full Article
Motivational 2011 interview
Download link [1.91 MB]

No comments:

Post a Comment