Reputation
4,625
Next tag badge:
30/100 score
28/20 answers
Badges
9 36
Newest
 Explainer
Impact
~51k people reached

Jan
3
comment Is my definition of a triangle center function “equivalent” to the usual definition?
@goblin, let me know if anything seems unclear, or if this wasn't the sort of thing you had in mind. Even if the details of the proof aren't terribly interesting, I'm pleasantly surprised at how tidily your characterization worked out (modulo "convex"->"affine").
Jan
3
answered Is my definition of a triangle center function “equivalent” to the usual definition?
Dec
27
awarded  Revival
Dec
27
revised Proof of Conway's “Simplicity Rule” for Surreal Numbers
moved corollary 1 up since it doesn't depend on lemma 3
Dec
27
answered Hanging a painting with nails so that removing any subset of nails from a given collection makes painting fall, and subsets are minimal
Dec
26
comment Smash products of pointed spaces is really not associative
@MartinBrandenburg Would you mind answering this question based on the MO thread so that it doesn't remain unanswered?
Dec
20
answered Numbers represented by a cubic form
Dec
20
comment Proof of Conway's “Simplicity Rule” for Surreal Numbers
To the downvoter, is there something invalid in my answer? Something you think I didn't address but should have? Feel free to email me if you'd rather not comment.
Dec
20
answered Infinite set ordered like a “infinite tree”
Dec
20
comment Hanging a painting with nails so that removing any subset of nails from a given collection makes painting fall, and subsets are minimal
@joriki, would you mind turning that comment into an answer so that this question is no longer unanswered? It's a very comprehensive and interesting paper.
Dec
20
answered Best practice for naming variables to distinguish chosen upper bound from computed maximum.
Dec
20
answered What is the optimal losing move?
Dec
20
comment Proof of Conway's “Simplicity Rule” for Surreal Numbers
@EricWofsey, I thought the OP already accepted that the dyadics as defined in the question post added together appropriately, but would be happy to include an induction proof as such at their request (or at another question, perhaps math.stackexchange.com/questions/930730/… or a new question if you would like to ask it). (Or maybe you were asking why they have the appropriate order relations between them?) While my proof in that section is a bit light on detail, it's not just about "a canonical bijection" but rather game theoretic equality.
Dec
20
answered Proof of Conway's “Simplicity Rule” for Surreal Numbers
Dec
19
answered Description of the universe of sets
Dec
19
comment Description of the universe of sets
The precise description of what Schoenfield means relates to ordinals, and arguably can't be explained without redefining that concept. I'm sorry that is unsatisfying to you.
Dec
19
comment Description of the universe of sets
@asefeQE, you do not need the Von Neumann style ranking system to understand sets. You only need the axioms of ZFC. Sets are just things that satisfy those axioms.
Dec
19
revised Is a factorial-primorial mesh divisible by the factorial infinitely often?
changed 6000 to 7000, which is about as far as I have patience to calculate with my code
Dec
19
comment Is a factorial-primorial mesh divisible by the factorial infinitely often?
@DanBrumleve For $n=11$, the denominator is divisible by $25$ but the numerator is $(2+1)(3+2)(5+3)(7+4)(11+5)(13+6)(17+7)(19+8)(23+9)(29+10)(31+11)=3*5*8*11*16*19‌​*24*27*32*39*42$, which only has one factor of $5$. For $n=12$ there's another factor of $37+12$ which still doesn't give a $5$.
Dec
19
answered Is a factorial-primorial mesh divisible by the factorial infinitely often?