Ask the Chatbot Games & Quizzes History & Society Science & Tech Biographies Animals & Nature Geography & Travel Arts & Culture ProCon Money Videos
Wolfgang Haken
Directory
References
Discover
Stylish light blue jeans on wooden background, closeup of inset pocket
Why Do Jeans Have That Tiny Pocket?
Coriander leaves, fresh green cilantro on wooden background, herbs
Why Does Cilantro Taste Like Soap to Some People?
Town of Sisimiut located on the coast of the Davis Strait on Kangerluarsunnguaq Bay, Greenland
The Largest Islands in the World
Orange basketball on black background and with low key lighting. Homepage 2010, arts and entertainment, history and society
The 10 Greatest Basketball Players of All Time
Entrants falling and tumbling over while chasing the cheese at the 2016 'Cheese Rolling' held at Cooper's Hill, in the Cotswolds, Brockworth England
7 of the World’s Most Dangerous Festivals
The Battle of Gettysburg, July 1-3, 1863. (Civil War, Pennsylvania)
9 Worst Generals in History
Ice Sledge Hockey, Hockey Canada Cup, USA (left) vs Canada, 2009. UBC Thunderbird Arena, Vancouver, BC, competition site for Olympic ice hockey and Paralympic ice sledge hockey. Vancouver 2010 Olympic and Paralympic Winter Games, Vancouver Olympics
10 Best Hockey Players of All Time

Wolfgang Haken

American mathematician

Learn about this topic in these articles:

solution of four-colour map problem

  • In four-colour map problem

    …directed by Kenneth Appel and Wolfgang Haken, after four years of unprecedented synthesis of computer search and theoretical reasoning. Appel and Haken created a catalog of 1,936 “unavoidable” configurations, at least one of which must be present in any graph, no matter how large. Then they showed how each of…

    Read More
  • Achilles paradox
    In foundations of mathematics: Computers and proof

    …Kenneth Appel (born 1932) and Wolfgang Haken (born 1928) even goes beyond this, as the computer helped to determine which cases were to be considered in the next step of the proof. Yet, in principle, computers cannot be asked to discover proofs, except in very restricted areas of mathematics—such as…

    Read More