Talk:Joseph Kruskal

	Biography portal This article is within the scope of WikiProject Biography, a collaborative effort to create, develop and organize Wikipedia's articles about people. All interested editors are invited to join the project and contribute to the discussion. For instructions on how to use this banner, please refer to the documentation.BiographyWikipedia:WikiProject BiographyTemplate:WikiProject Biographybiography articles
	This article is supported by the science and academia work group.

Chicago Low‑importance

	Chicago portal This article is within the scope of WikiProject Chicago, which aims to improve all articles or pages related to Chicago or the Chicago metropolitan area.ChicagoWikipedia:WikiProject ChicagoTemplate:WikiProject ChicagoChicago articles
Low	This article has been rated as Low-importance on the project's importance scale.

blog post

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

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)[reply]