 | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||||||||||||
| |||||||||||||||||||||
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 (talk • contribs) 22:04, 14 February 2011 (UTC)