mathoverflow.net does not work for you? We will check the status of mathoverflow.net with our worldwide server locations and detect if mathoverflow.net is offline just for you or there is a global outage.
mathoverflow.net does not work for you? We will check the status of mathoverflow.net with our worldwide server locations and detect if mathoverflow.net is offline just for you or there is a global outage.
Is it down only for you? Please check the instructions below.
Can we pin down the "recursively closed" levels of L by a first-order theory? set-theory lo.logic computability-theory · 1 hour ago Noah Schweber. 0. 0 ...
Ask about... Specific issues with research level mathematics; Real problems or questions that you've encountered. Not all questions work well in our format.
vote down. Moderation privilege awarded at 125 reputation ... Voting down answers is not something we want you to take lightly, so it is not free. Downvotes ...
The major problem with that is that Stack Overflow welcomes all programming questions, so a site that has MathOverflow in its title implies being like Stack ...
Can we pin down the "recursively closed" levels of L by a first-order theory? set-theory ... Variational problem where the end point cannot be held constant.
If you are asking a question related to a problem from a graduate course, please be ... of MathOverflow, visit our meta-discussion forum, meta.mathoverflow.net.
Each one of these is a MathOverflow success story! Open problems are precious commodities that have driven mathematical research for centuries. While these ...
14 Jul 2012 ... One problem which I think is mentioned in Guy's book is the integer block problem: does there exist a cuboid (aka "brick") where the width, height, breadth, ...
Existence or nonexistence of odd perfect numbers. Update: Goes back at least to Nicomachus of Gerasa around 100 AD, according to ...
1 Feb 2019 ... Detailed example using imported archive of MathOverflow.net. ... The package, although not yet publicly available, will be released in the coming weeks ... We can trim it down to just the top 500 words, being careful to remove ...