User nikmil - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T00:02:25Z http://mathoverflow.net/feeds/user/2525 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/36850/journals-for-undergraduates Journals for undergraduates nikmil 2010-08-27T07:49:57Z 2013-01-29T16:23:47Z <p>Are there math journals that are aimed for undergraduates? I don't mean here journals where students can publish their papers, but journals that publish introductory articles that an undergraduate can read without too much sweating, preferably when he gets bored or tired from his assignments and wants to read something different. What journals do you recommend to undergrads to read on a regular basis?</p> http://mathoverflow.net/questions/38415/what-would-an-ideal-mathematical-note-taking-organizer-pim-software-look-like What would an ideal mathematical note-taking/organizer/PIM software look like? nikmil 2010-09-11T17:29:22Z 2012-05-05T09:44:31Z <p>I'm struggling with this problem for a long time, and I'm sure a lot of you out there are having similar problems too: when studying from a e-textbook I read and annotate in one app and make flashcards in another, bookmark interesting sites in my browser, collaborate over e-mail or instant-messaging, jot random notes and ideas in yet another app, keep my bibliographies in yet another app, do calculations different software packages, etc. And over time I start losing track of things.</p> <p>There are open-source packages for doing all these things, but there isn't a single one that glues them together. Another issue is that many note-taking apps are just too structured and unflexible. For example, you need to manually tag every note, make links between notes, etc. It would be a good thing if such an app had some kind of an underlying semantic engine, so that when you're working on something, the software shows you similar things that you've worked on in the past, or similar things your colleague is working on currently, etc.</p> <p>I'm thinking of suggesting Computer Science Department at my faculty to start an open-source project for such an app, and I'd like to hear some feature brainstorming.</p> http://mathoverflow.net/questions/36683/algebrization-of-second-order-logic Algebrization of second-order logic nikmil 2010-08-25T16:23:56Z 2011-08-02T23:54:02Z <p>Is there an algebrization of second-order logic, analogous to Boolean algebras for propositional logic and cylindric and polyadic algebras for first-order logic?</p> http://mathoverflow.net/questions/28235/variants-of-gronwalls-theorem Variants of Grönwall's theorem nikmil 2010-06-15T10:29:46Z 2010-06-16T01:28:53Z <p>Except the original Grönwall's theorem that $$\limsup_{n \to \infty} \frac{\sigma(n)}{n \log \log n} = e^{\gamma},$$ and the two variants $$\limsup_{\begin{smallmatrix} n\to\infty\cr n\ \text{is square free}\end{smallmatrix}} \frac{\sigma(n)}{n \log \log n} = \frac{6e^{\gamma}}{\pi^2}$$ and $$\limsup_{\begin{smallmatrix} n\to\infty\cr n\ \text{is odd}\end{smallmatrix}} \frac{\sigma(n)}{n \log \log n} = \frac{e^{\gamma}}{2}$$ that have been proven <a href="http://www.mpim-bonn.mpg.de/preprints/send?bid=2960" rel="nofollow">here</a>, are there any other similar statements known?</p> http://mathoverflow.net/questions/28235/variants-of-gronwalls-theorem Comment by nikmil nikmil 2010-06-15T22:53:49Z 2010-06-15T22:53:49Z I'm sorry for not being clear enough, it's my first question here, though. I mean similar statments for the $\sigma(n)$ function, not necessarily asymptotics, but anything that involves limit points of the function $\frac{\sigma(n)}{n \log \log n}$. For example, is there an important sequence $a_n$ such that $\frac{\sigma{a_n}}{n \log \log n}$ converges, besides the sequence of primes? A result that establishes the connection between the density and the limit superior? Etc. Nothing particular.