Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with soft-question
Search options not deleted
user 9550
Questions that are about research in mathematics, or about the job of a research mathematician, without being mathematical problems or statements in the strictest sense. Do not use this tag for easy or supposedly easy mathematical questions.
1
vote
1
answer
1k
views
Shortest formal statement equivalent to the continuum hypothesis
What is the shortest formal statement you can write that is provably equivalent to the Continuum Hypothesis in ZFC?
Please use only variables and the following symbols: $\forall, \exists,\lor,\land, …
- 6,819
59
votes
7
answers
4k
views
How closed-form conjectures are made?
Recently I posted a conjecture at Math.SE:
$$\int_0^\infty\ln\frac{J_\mu(x)^2+Y_\mu(x)^2}{J_\nu(x)^2+Y_\nu(x)^2}\mathrm dx\stackrel{?}{=}\frac{\pi}{2}(\mu^2-\nu^2),$$
where $J_\mu(x)$ and $Y_\mu(x)$ a …
- 6,819