Todd Trimble
Reputation
143/100 score
 20h comment A new result on the Diophantine equation $x^3 + y^3 +z^3 = 3$ @Tatenda: adding to Vladimir's comment, the Riemann Hypothesis is so notorious for attracting wrong solutions and "crank mathematicians" that any paper purporting to prove it in a few pages is essentially immediately dismissed by almost all professionals. That might seem unfair, but it's a fact. If it is possible to take this paper off the vixra archive, and keep it to yourself while you establish your credentials in other ways, it might work to your advantage (the chances are high that you'll discover that you were overlooking something; taking it down might save you some embarrassment). 1d revised rational numbers and triangular numbers LaTeX; added link to other MO question 2d comment nontrivial theorems with trivial proofs Along similar prime factorization lines, it's very easy to show that the solution to $x^x = 2$ must be irrational. 2d comment Is there any pattern to the continued fraction of $\sqrt[3]{2}$? So then, I guess you are saying that doesn't qualify as a 'yes' in your view. Which leaves one still to wonder what might plausibly qualify... (I don't mean to be argumentative; I'm honestly unsure what the parameters of the problem are). 2d comment Is there any pattern to the continued fraction of $\sqrt[3]{2}$? It still might be unclear what you're asking. The vagueness of "pattern" means that an answer of 'no', which you consider likely, is essentially impossible to prove. Would the recursive formula due to Bombieri and van der Poorten (referenced in the oeis link) qualify as an answer of 'yes'? 2d comment Topos Theory, internal Heyting Algebra @მამუკაჯიბლაძე Thanks for filling that in. The question admits trivial answers of course since we can easily construct maps e.g. $\Omega \to 1 \to N \Omega$ as morphisms in the topos. (Asking about existence of structures can occasionally look like fishing expeditions; here it might be better to propose a map and ask specific questions about its properties.) 2d comment Is there any pattern to the continued fraction of $\sqrt[3]{2}$? "Pattern" seems like a vague concept to me. Nov 23 comment Topos Theory, internal Heyting Algebra This question is not very clear (what kind of morphism?), but one morphism you may be interested in can be described as taking $u \in \Omega$ to the operator $u \vee -$, the so-called closed nucleus attached to $u$. (This definition can be internalized.) This gives an internal frame map, but off the bat I don't think it would preserve Heyting implication. Another "canonical" map $\Omega \to N \Omega$ in the topos takes $u$ to $u \Rightarrow -$. Nov 23 comment Which popular games are the most mathematical? There's also a discussion of this game in the beginning of Winning Ways, Volume 4, by Berlekamp, Conway, and Guy. Nov 23 comment Is this almost-cosimplicial object familiar? I agree; it's fairly clean. Perhaps I spoke too soon... Nov 23 comment Categorical or simplicial introduction to modern homotopy theory It sounds like you'd like to learn about model categories, as a start... Nov 23 comment Is this almost-cosimplicial object familiar? Not ringing a bell so far. I'm wondering whether it would help to give more details on the context where this arose, where the phenomenon might be explicable in other ways? You tagged this algebraic topology, so I guess there's some topological question in the background... Nov 22 revised Existence of a continuous section LaTeX Nov 21 comment Show that the positive existential theory is undecidable To address any lingering concerns about the suitability of the question for MO, I'd recommend an editing of the question to give some context and/or motivation for the research interest, and maybe a light editing to increase clarity (we are dealing with the positive existential theory of $\mathbb{C}[t, e^{\lambda t}]_{\lambda \in \mathbb{C}}$ as a model of the theory of rings with a derivation operator; it sometimes helps to use English words instead of symbols). Other than that, I agree with Joel David Hamkins that this question is suitable for MO. Nov 21 comment Invertibility of a polynomial in a commutative ring @abx The question would be closed at MSE because it has been asked and answered there already (multiple times it seems). Nov 21 comment A point set of power series with coefficients in {-1, 1}. Connected or not? Where does this question come from? What's the context/motivation? Nov 20 comment Is the Manickam-Miklós-Singhi Conjecture solved? So to answer the last question: the status of the paper is that it has been published, as mentioned by Thomas Kalinowski. Otherwise, this question has problems. It's quite all right to ask about the validity of a specific claim or argument in the paper: where in the paper does the OP get stuck, exactly? But this question is too vague and "primarily opinion-based", and invites answers based on circumstantial evidence (the accepted answer gives context, but the mathematics is indirect). Thus, I have to vote to close. Nov 20 revised Is the Manickam-Miklós-Singhi Conjecture solved? removal of innuendo Nov 20 comment Is the Manickam-Miklós-Singhi Conjecture solved? I agree that any factual assertions ought to be sourced, and this answer should either undergo a major edit to remove innuendo, or be deleted. I am going to delete the first sentence particularly as it seems to impute bad faith to the paper's author without any sort of documentation. Virtually the entirety of the post looks like expression of opinion and innuendo without any discussion of what might be wrong with the mathematics. Nov 20 comment Every positive operator is self-adjoint I'm voting to close this question as off-topic because it was cross-posted (math.stackexchange where the question is duplicated is where it belongs).