User talk:Tomtom2357

From Polymath1Wiki
Revision as of 20:14, 3 December 2016 by Tomtom2357 (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Hi, I'm Thomas. I'm currently working on a proof that FUNC is true in the case where m=13 (see m=13 case of FUNC). So far I have proved that if m=13 the smallest nonempty set must be of size 3, 4, or 5, and if the smallest nonempty set has size 5, then there must be two of those intersecting in at least 3 elements. I haven't quite gotten around to posting all of the proofs on the site yet, but I'll try to get that done in the next couple of weeks.