Bibliographie
Chronologie du théorème des quatre couleurs
Boudia, Soraya. “Naissance, extinction et rebonds d’une controverse scientifique.” Mil neuf cent. Revue d’histoire intellectuelle, no. 25 (January ): 157–70.
Calude, Andrea S. “The Journey of the Four Colour Theorem through Time,” Juin 2001. https://researchspace.auckland.ac.nz/bitstream/handle/2292/5162/466.pdf?sequence=2.
Calude, Cristian S., and Elena Calude. “The Complexity of the Four Colour Theorem.” LMS Journal of Computation and Mathematics 13 (August 2010): 414–25.
“Four Colors Suffice.” Princeton University Press. Accessed April 26, 2017. http://press.princeton.edu/titles/10116.html.
Inria. “La Preuve Mathématique Par Informatique !” Inria. Accessed January 26, 2017. https://www.inria.fr/centre/saclay/actualites/la-preuve-mathematique-par-informatique.
Mackenzie, Donald. Mechanizing Proof - Computing, Risk and Trust. New Ed. Cambridge, Mass.: MIT Press, 2004.
Tymoczko, Thomas. “The Four-Color Problem and Its Philosophical Significance.” The Journal of Philosophy Vol. 76 No 2 (February 1979). http://www.jstor.org/stable/pdf/2025976.pdf.
Vilfred Kamalappan, V. “The Four Color Theorem - A New Proof by Induction,” November 1, 2017. https://arxiv.org/pdf/1701.03511v1.pdf.
Wang, Qizhi. “A Search of The Four-Color Theorem and Its Higher Dimensional Generalization,” February 8, 2014. https://arxiv.org/pdf/1408.1927v1.pdf.
Wilson, Robin James, and Ian Stewart. Four Colors Suffice : How the Map Problem Was Solved. Princeton Science Library. Princeton (N.J.) : Oxford : Princeton University Press. cop. 2014., 2014.
Controverse autour de la preuve de 1976
Arkoudas, Konstantine, and Selmer Bringsjord. “Computers, Justification, and Mathematical Knowledge.” Minds and Machines 17, no. 2 (July 1, 2007): 185–202.
M.Rufener, Casey. “The Four-Color Theorem Solved, Again: Extending the Extended Mind to the Philosophy of Mathematics,” July 30, 2011. http://commons.pacificu.edu/cgi/viewcontent.cgi?article=1045&context=rescogitans.
Tymoczko, Thomas. “Computers, Proofs and Mathematicians: A Philosophical Investigation of the Four-Color Proof.” Mathematics Magazine Vol. 53, No. 3 (May 1980). http://www.jstor.org/stable/pdf/2690104.pdf.
Assistants de preuve
Bundy, Alan. “Automated Theorem Provers: A Practical Tool for the Working Mathematician?” Annals of Mathematics and Artificial Intelligence 61, no. 1 (January 1, 2011)
Dick, Stephanie. “AfterMath: The Work of Proof in the Age of Human–Machine Collaboration.” Isis 102, no. 3 (2011): 494–505.
Gallego Arias, Emilio Jesús, Benoît Pin, and Pierre Jouvelot. “jsCoq: Towards Hybrid Theorem Proving Interfaces,” January 24, 2017. https://arxiv.org/pdf/1701.07125v1.pdf.
Geuvers, H. “Proof Assistants: History, Ideas and Future.” Sadhana 34, no. 1 (February 1, 2009)
Gonthier, Georges. “Formal Proof–the Four-Color Theorem.” Notices of the AMS 55, no. 11 (2008)
Le Génie Mathématique, Du Théorème Des Quatre Couleurs À La Classification Des Groupes, n.d. http://video.upmc.fr/differe.php?collec=S_C_colloquium_lip6_2012&video=2.
Gonthier, Georges, Beta Ziliani, Aleksandar Nanevski, and Derek Dreyer. “How to Make Ad Hoc Proof Automation Less Ad Hoc.” In Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming, 163–75. ICFP ’11. New York, NY, USA: ACM, 2011.
Inria. “Georges Gonthier Rejoint L’équipe SPECFUN Du Centre Inria Saclay – Île-de-France.” Inria. https://www.inria.fr/centre/saclay/actualites/georges-gonthier-rejoint-l-equipe-specfun.
“Nicolas Tabareau : Démocratiser Les Assistants de Preuve.” Inria. https://www.inria.fr/centre/rennes/actualites/nicolas-tabareau-democratiser-les-assistants-de-preuve.
Interactive Theorem Proving and Program Development [Texte Imprimé]: Coq’Art: The Calculus of Inductive Constructions. Texts in Theoretical Computer Science (Print) 1862-4499, n.d.
Martin, Ursula. “Computers, Reasoning and Mathematical Practice.” In Computational Logic, 301–46. Springer, Berlin, Heidelberg, 1999. https://link.springer.com/chapter/10.1007/978-3-642-58622-4_9.
Zimmermann, Théo, and Hugo Herbelin. “Automatic and Transparent Transfer of Theorems along Isomorphisms in the Coq Proof Assistant,” September 7, 2015. https://arxiv.org/pdf/1505.05028v4.pdf.
Développements après 2004
Cesare, Chris. “Maths Whizz Solves a Master’s Riddle.” Nature News 526, no. 7571 (October 1, 2015): 19.
Dick, Stephanie. “AfterMath: The Work of Proof in the Age of Human–Machine Collaboration.” Isis 102, no. 3 (2011): 494–505.
Inria. “Un Grand Succès Pour La Preuve Informatique.” Inria. https://www.inria.fr/centre/saclay/actualites/un-grand-succes-pour-la-preuve-informatique.
Lamb, Evelyn. “Two-Hundred-Terabyte Maths Proof Is Largest Ever,” May 20, 2016. http://www.nature.com/news/two-hundred-terabyte-maths-proof-is-largest-ever-1.19990.
“La plus Grosse Preuve de L’histoire Des Mathématiques.” CNRS Le Journal. https://lejournal.cnrs.fr/articles/la-plus-grosse-preuve-de-lhistoire-des-mathematiques.
“La Preuve Par L’informatique.” Lesechos.fr, August 31, 2015. https://www.lesechos.fr/31/08/2015/LesEchos/22012-042-ECH_la-preuve-par-l-informatique.htm.
Discussions autour de la notion de preuve
Baker, Alan. “Non-Deductive Methods in Mathematics,” August 17, 2009. https://stanford.library.sydney.edu.au/entries/mathematics-nondeductive/.
Balacheff, Nicolas. “Processus de Preuve et Situations de Validation (Proving Processes and Situations for Validation).” Educational Studies in Mathematics, Mai 1987.
Bettina, Heintz. When Is a Proof a Proof?, n.d. http://journals.sagepub.com/doi/pdf/10.1177/0306312703336005.
Calude, Cristian S., and Christine Müller. “Formal Proof: Reconciling Correctness and Understanding.” In Intelligent Computer Mathematics, 217–32. Springer, Berlin, Heidelberg, 2009.
Dowek, Gilles. Les Métamorphoses Du Calcul, Une Étonnante Histoire de Mathématiques. Paris: Le Pommier, 2007.
Kriener, Jael, Andy King, and Sandrine Blazy. “Proofs You Can Believe In: Proving Equivalences Between Prolog Semantics in Coq (long Version).” Science of Computer Programming, 2014.
McEvoy, Mark. “Experimental Mathematics, Computers and the a Priori.” Synthese 190, no. 3 (February 1, 2013)
Micali, Silvio. Proofs, Secrets, and Computation, n.d. http://video.upmc.fr/differe.php?collec=S_C_colloquium_lip6_2012&video=18.
Pollack, Robert. “How to Believe a Machine-Checked Proof | Pollack | BRICS Report Series.” http://ojs.statsbiblioteket.dk/index.php/brics/article/view/18945.
Rehmeyer, Julie. “How to (really) Trust a Mathematical Proof.” Science News, September 23, 2013. https://www.sciencenews.org/article/how-really-trust-mathematical-proof.
Thurston, William. “On Proof and Progress in Mathematics.” For the Learning of Mathematics, February 1995.
Underwood, Dudley. Mathematical Cranks. Spectrum. Mathematical Association of America, 1992.
Voevodsky, Vladimir. What If Current Foundations of Mathematics Are Inconsistent?. https://www.youtube.com/watch?time_continue=6&v=O45LaFsaqMA.
Weber, Keith. “How Mathematicians Determine If an Argument Is a Valid Proof.” Journal for Research in Mathematics Education, July 2008.
Zimmermann, Théo, and Hugo Herbelin. “Automatic and Transparent Transfer of Theorems along Isomorphisms in the Coq Proof Assistant,” September 7, 2015.
