informático canadiense
Georges Gonthier es un informático canadiense y uno de los principales profesionales de las matemáticas formales . Dirigió la formalización del teorema de los cuatro colores y la prueba de Feit-Thompson del teorema de orden impar . (Ambos fueron escritos usando el asistente de prueba Coq ).
Ver también
Referencias
- Página personal en Microsoft Research
- Artículo que describe la prueba del teorema de los cuatro colores.
- Artículo de noticias de phys.org que describe la prueba de Feit-Thompson
- Comunicado de prensa de INRIA con enlaces al código Coq de Feit-Thompson Proof