Jump to content

Talk:Joseph Kruskal

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

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