Wolfgang Haken (German: [ˈvɔlfɡaŋ ˈhaːkn̩]; June 21, 1928 – October 2, 2022) was a German American mathematician who specialized in topology, in particular...
7 KB (574 words) - 08:44, 20 August 2024
virtually Haken. This conjecture was proven by Ian Agol. Haken manifolds were introduced by Wolfgang Haken (1961). Haken (1962) proved that Haken manifolds...
8 KB (990 words) - 09:49, 6 July 2024
contract in Japan Haken manifold, a type of 3-manifold named after Wolfgang Haken Eduard Haken (1910–1996), Czech operatic bass Hermann Haken (1927-2024),...
571 bytes (113 words) - 13:41, 23 August 2024
is a cousin of the mathematician Wolfgang Haken, who proved the Four color theorem. He was a nephew of Werner Haken, a doctoral student of Max Planck...
7 KB (513 words) - 12:01, 22 August 2024
Kenneth Appel and Wolfgang Haken. This came after many false proofs and mistaken counterexamples in the preceding decades. The Appel–Haken proof proceeds...
48 KB (6,174 words) - 05:29, 18 August 2024
first stated in 1852, but not proved until 1976 (by Kenneth Appel and Wolfgang Haken, using substantial computer assistance). In logic, the second problem...
26 KB (2,768 words) - 18:44, 17 August 2024
19, 2013) was an American mathematician who in 1976, with colleague Wolfgang Haken at the University of Illinois at Urbana–Champaign, solved one of the...
10 KB (1,102 words) - 23:37, 24 June 2024
3-manifold (section Haken manifold)
infinite fundamental group is virtually Haken. Haken manifolds were introduced by Wolfgang Haken. Haken proved that Haken manifolds have a hierarchy, where...
45 KB (5,836 words) - 09:37, 24 April 2024
1976 by Kenneth Appel and Wolfgang Haken. It was the first major theorem to be proved using a computer. Appel and Haken's approach started by showing...
25 KB (3,042 words) - 23:02, 27 August 2024
ingredient of the eventual computer-aided proof by Kenneth Appel and Wolfgang Haken. Between 1967 and 1971, Heesch made several visits to the United States...
3 KB (291 words) - 02:47, 25 July 2024