bio | website | affinemess.com |
---|---|---|
location | Los Altos, CA | |
age | 44 | |
visits | member for | 4 years, 6 months |
seen | 2 days ago | |
stats | profile views | 3,541 |
Math Circler, ex-Googler and Dad. Now at Facebook.
Feb 17 |
comment |
The phenomena of eventual counterexamples
Pretty impressive! Specifically, gcd(n^17+9, (n+1)^17+9)=1 for all n up to some crazy explicit number, the number of digits of which I couldn't even count. This begs the question, is there a reasonably simple proof that this gcd isn't always 1? |
Feb 17 |
comment |
Describe a tree by junctions
Perhaps it's just me, but I'm completely unable to parse this. Could you perhaps explain what you mean by sectors, infinite branches, junctions and what is the tree? A picture, perhaps? |
Feb 17 |
comment |
Mathematical solution for a two-player single-suit trick taking game?
@Sam, I just corrected that. |
Feb 17 |
revised |
Mathematical solution for a two-player single-suit trick taking game?
added 1 characters in body |
Feb 13 |
comment |
Divide a square into 5 equal squares
That's really neat! |
Feb 12 |
comment |
Unique factorization in polynomial rings
Read literally, one cannot even state (let alone prove) #1 without having a notion of a "field" which I imagine would disqualify both Euclid and Guass. The first general definition of a field is by Weber (1891) according to Wikipedia. Earlier notions were things like a subfield of the complex numbers. I'm not sure if the question assumes that the prover knew they were working over general fields, or rather looking for proofs which are essentially independent of the base field (even if they were formulated over a specific field). |
Feb 12 |
comment |
What are the most overloaded words in mathematics?
That's right - thanks! |
Feb 10 |
comment |
When a formal power series is a rational function in disguise
Isn't it "when the coefficients satisfy a linear recursion of finite length"? |
Feb 10 |
comment |
Which graphs are Cayley graphs?
One comment on the non-directed case: Every connected regular graph of even degree is a Schreier coset graph. This isn't quite a Cayley graph but a natural generalization of one, so I thought you might find this interesting. |
Feb 9 |
awarded | Enlightened |
Feb 9 |
awarded | Nice Answer |
Feb 9 |
revised |
Checking if two graphs have the same universal cover
added 22 characters in body |
Feb 9 |
revised |
Checking if two graphs have the same universal cover
added 14 characters in body |
Feb 9 |
answered | Checking if two graphs have the same universal cover |
Feb 6 |
awarded | Nice Answer |
Jan 30 |
revised |
What is the relationship between various things called holonomic?
edited body |
Jan 21 |
awarded | Enlightened |
Jan 21 |
awarded | Nice Answer |
Jan 18 |
revised |
Applications of infinite Ramsey's Theorem (on N)?
edited body |
Jan 18 |
revised |
Archaeogenetics
fixed some formulas with \left and \right that weren't properly parsed. |