11,394 reputation
43595
bio website ncatlab.org/nlab/show/…
location Adelaide, Australia
age 31
visits member for 5 years, 5 months
seen 14 hours ago

Pure mathematician interested in category theory and foundations.


14h
revised Mod 2 modular forms in levels 5 and 25--how to account for this Hecke isomorphism?
TeX formatting; added actual link to previous question
15h
comment the real Generalized Continuum Hypothesis, reflecting the finite powers
I suggest your additions in the form of answers go into the body of the question - if you are unable to do so, a moderator or other 10k user could do it on request.
15h
revised the real Generalized Continuum Hypothesis, reflecting the finite powers
Prettified and gave minimum context to youtube link. Added lo.logic tag
15h
reviewed Approve the real Generalized Continuum Hypothesis, reflecting the finite powers
17h
comment Non-Pythagorean proof for the square root of 2 and solution to YBC7289
@Joseph I didn't realise there was such an SE site! I then suggest, if no answers are here forthcoming in the next few days, that the OP flags for moderator attention and asks for a migration.
20h
comment How is $ \sum_{x \in X(\mathbb{F}_q)} \dots $ a generalization of cardinality?
@Terry well, ok. But one could come up with any number of functions that do that. In what sense is this a generalisation? What is it measuring? cf groupoid cardinality
20h
comment Non-Pythagorean proof for the square root of 2 and solution to YBC7289
I do think, however, that if the OP is asking whether anyone else has simultaneously claimed the same result as him, then we have a hard time answering this. The answer may well be "No, everyone agrees that the tablet describes an approximation to $\sqrt{2}$".
20h
comment Non-Pythagorean proof for the square root of 2 and solution to YBC7289
I think this is a reasonable question in research in the history of mathematics. I edited to give a modicum of context and a link to the Wikipedia page for the Yale Babylonian Collection. I also removed the sign-off, since such information is most usefully placed in the user profile. I make no comment on the proposed solution nor the website of the OP.
20h
revised Non-Pythagorean proof for the square root of 2 and solution to YBC7289
Re-tagged, added link for context for YBC
May
1
revised random category theory
Replaced TeX-style quotes with ones that format properly
May
1
comment Comparing the Kolmogorov complexity of theories - Part 2
One can even give an explicitly described TM, rather than just fixing one abstractly. I don't know of any good candidates, but those where some computation of its overhead for the Kolmogorov complexity, or computation of bounds on this, would be ideal candidates for the needs of the question.
Apr
30
comment How I can prove this lemma that's related to the operator in Helbert space?
Correct spelling of well-known technical terms ('Helbert' space, 'close') will give people more confidence in the appropriateness of your questions. Given that your user page says you are a student, I suggest math.stackexchange for now. Specifying you are interested in the Riemann hypothesis is a red flag to many. Good luck!
Apr
29
comment How I can prove this lemma that's related to the operator in Helbert space?
Where this came from and why you want to do this would help. Also, some background as to what you know and what you tried...
Apr
29
awarded  Announcer
Apr
29
awarded  Necromancer
Apr
29
answered Reverse mathematics of (co)homology?
Apr
23
comment Using $\mathcal{U(H)}$ as a model for $EG$ and working with the Fredholm Operators
@SvenCattell excellent! Is that for G Kac-Moody, or compact?
Apr
23
comment Limit Group decomposition
At the very least, please provide enough context so we know what you mean and what you know already. What's your background?
Apr
22
awarded  Announcer
Apr
18
comment Fiber bundle in smooth category and topological category
By math.stackexchange.com/questions/298873