Georges Gonthier - Georges Gonthier

Tento životopis živé osoby potřebuje další citace pro ověření. Pomozte prosím přidáním spolehlivé zdroje. Sporný materiál o žijících osobách, který není získáván nebo má špatné zdroje musí být okamžitě odstraněny, zvláště pokud potenciálně hanlivý nebo škodlivé. Najít zdroje: „Georges Gonthier“  – zprávy  · noviny  · knihy  · učenec  · JSTOR (únor 2013) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

Georges Gonthier je kanadský počítačový vědec a jeden z předních odborníků v formální matematika. Vedl formalizaci čtyřbarevná věta a Feit – Thompsonův důkaz věty zvláštního řádu. (Oba byly psány pomocí důkaz asistent Coq.)

Viz také

• Flyspeck důkaz vedené Thomas Callister Hales

Reference

• Osobní stránka ve společnosti Microsoft Research
• Článek popisující důkaz věty o čtyřech barvách
• zpravodajský článek phys.org popisující důkaz Feit-Thompsona
• Tisková zpráva z INRIA s odkazy na Coq kód Feit-Thompson Proof

Tento článek o matematikovi je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.