algorithmic topology

哈肯的工作还包括引入了如哈肯流形（英语：Haken manifolds）、内色－哈肯有限性等重要概念。他的大部分工作都有算法方面的内容，也是对算法拓扑（英语：algorithmic topology）有重要影响的人之一。他在这一领域的一个重要贡献是提出了验证纽结能否解开的算法。 1979年，哈肯因证明了四色定理而被美国数学学会授予富尔克森奖。

Michael; Zaharoglou, Fotios, Wait-free k-set agreement is impossible: The topology of public knowledge, SIAM Journal on Computing, 2000, 29 (5): 1449–1483

Groups, AK Peters, 1992, ISBN 0-867-20244-0 . Novikov, P. S., On the algorithmic unsolvability of the word problem in group theory, Trudy Mat. Inst. Steklov

of the Lucas/Penrose argument that intelligence can not be entirely algorithmic: MindPapers: 6.1b. Godelian arguments （页面存档备份，存于互联网档案馆） References for

（原始内容存档于2018-04-30） （英语）.  Algorithmic self-assembly: Rothemund, Paul W. K.; Papadakis, Nick; Winfree, Erik. Algorithmic self-assembly of DNA Sierpinski