Talk:Joseph Kruskal

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Biography  
WikiProject icon 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.
 ???  This article has not yet received a rating on the project's quality scale.
 
WikiProject Chicago  
WikiProject icon 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.
 ???  This article has not yet received a rating on the project's quality scale.
 ???  This article has not yet received a rating on the project's importance scale.
 

blog post[edit]

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)

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 (talkcontribs) 22:04, 14 February 2011 (UTC)