Talk:Joseph Kruskal

blog post
Joseph Kruskal just wrote an interesting post at Bill Gasarch's blog. Maybe some parts of it can be used in the article. 207.241.239.70 (talk) 11:34, 21 November 2008 (UTC)

I wonder what does the sentence "Kruskal's tree theorem (1960), which is also interesting from a mathematical logic perspective since it can only be proved nonconstructively" means exactly. For instance, Wim Veldman Wim Veldman: An intuitionistic proof of Kruskal's theorem. Arch. Math. Log. 43(2): 215-264 (2004) has produced a constructive proof of Kruskal's theorem. — Preceding unsigned comment added by Decidable (talk • contribs) 22:04, 14 February 2011 (UTC)