User talk:Tomtom2357: Difference between revisions

From Polymath Wiki
Jump to navigationJump to search
Tomtom2357 (talk | contribs)
Created page with "Hi, I'm Thomas. I'm currently working on a Human proof that completely multiplicative sequences have discrepancy greater than 3. This is probably a futile project, because..."
 
Tomtom2357 (talk | contribs)
No edit summary
 
Line 1: Line 1:
Hi, I'm Thomas. I'm currently working on a [[Human proof that completely multiplicative sequences have discrepancy greater than 3]]. This is probably a futile project, because it is already known (by computer search), that the longest such sequence has length 127645. I probably won't get that far. However, I have managed to find a sequence of length 1000 while working on the sequences, so I may be able to do a significant portion of the proof. Feel free to edit if you spot any errors.
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.
 
I use a python depth first search (with a programmable start sequence) and an excel spreadsheet to spot the blocks, but the actual proving bit is just me.

Latest revision as of 19:14, 3 December 2016

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.