**59**

votes

**34**answers

9k views

### Experimental Mathematics

I would like to ask about examples where experimentation by computers have led to major mathematical advances.
A new look
Now as the question is five years old and there are certainly more examples ...

**51**

votes

**12**answers

9k views

### Logic in mathematics and philosophy

What are the relations between logic as an area of (modern) philosophy and mathematical logic.
The world "modern" refers to 20th century and later, and I am curious mainly about the second half of ...

**15**

votes

**3**answers

703 views

### Residual finiteness: why do we care?

Residually finite groups have been studied for a long time. However, I am struggling to work out why we care, or perhaps, why they continue to be of interest. Let me explain.
Magnus, in his 1968 ...

**17**

votes

**6**answers

5k views

### Intuition and/or visualisation of Ito integral/Ito's lemma

Riemann-sums can e.g. be very intuitively visualized by rectangles that approximate the area under the curve.
See e.g. Wikipedia:Riemann sum
The Ito integral has due to the unbounded total variation ...

**24**

votes

**1**answer

1k views

### more on “Transalgebraic Theories” (a 19th century yoga)?

Among the talks at occasion of the Galois Bicentennial, one is about "Transalgebraic Theories". Unfortunately I found only this article describing that fascinating idea as " an extremely powerful ...

**24**

votes

**1**answer

1k views

### Underlying idea for (automorphic) L-function?

Edit: So with a few more months of math under my belt, I recognize some of the issues with this question. I still hope for an answer, so let me say a few things.
Within the Langlands philosophy, ...

**75**

votes

**18**answers

7k views

### How do you decide whether a question in abstract algebra is worth studying?

Dear MO-community, I am not sure how mature my view on this is and I might say some things that are controversial. I welcome contradicting views. In any case, I find it important to clarify this in my ...

**33**

votes

**0**answers

4k views

### Grothendieck's manuscript on topology

Edit: Infos on the current state by Lieven Le Bruyn: http://www.neverendingbooks.org/grothendiecks-gribouillis
Edit: Just in case anyone still thinks that Grothendieck's unpublished manuscripts are ...

**22**

votes

**6**answers

3k views

### Why the triangle inequality?

[Maybe this is asking to be closed; but I thought I'd risk it.]
A metric satisfies the axioms:
$d(x,y)=0$ if and only if $x=y$.
$d(x,y) = d(y,x)$.
$d(x,y) \leq d(x,z) + d(z,y)$.
Similarly (and ...

**2**

votes

**1**answer

130 views

### Statistical distance between discrete and continuous distributions

Are there any statistical distance functions that are capable of comparing a continuous and a discrete distribution? From reading this list
http://en.wikipedia.org/wiki/Statistical_distance
the only ...

**111**

votes

**64**answers

20k views

### Your favorite surprising connections in Mathematics

There are certain things in mathematics that have caused me a pleasant surprise -- when some part of mathematics is brought to bear in a fundamental way on another, where the connection between the ...

**-3**

votes

**1**answer

196 views

### How many of Ramanujan's discoveries have had a practical application? [closed]

I was reading about the Indian mathematician Srinivasa Ramanujan who, before dying at the age of 32, independently compiled nearly 3900 results (this is from Wikipedia). So based on this he seems to ...

**2**

votes

**1**answer

904 views

### Why Riemann Hypothesis so important [closed]

I am often hearing people emphasized how important the RH is,one of them said that it should lead to an efficient way of determining whether a given large number is prime,and the other said,RH would ...

**80**

votes

**24**answers

32k views

### Intuitive crutches for higher dimensional thinking

I once heard a joke (not a great one I'll admit...) about higher dimensional thinking that went as follows-
An engineer, a physicist, and a mathematician are discussing how to visualise four ...

**2**

votes

**0**answers

122 views

### Interpretation of Shannon Entropy Application

Consider a collection of increasing positive integers $\{a_i\}_{i=1}^m$ and the distribution $p_i=\frac{a_i}{\sum_{i=1}^ma_i}$. Let entropy of $\mathcal{A}=\{a_i\}_{i=1}^m$ be given
by ...

**72**

votes

**10**answers

8k views

### Why are modular forms interesting?

Well, I'm aware that this question may seem very naive to the several experts on this topic that populate this site: feel free to add the "soft question" tag if you want... So, knowing nothing about ...

**29**

votes

**15**answers

2k views

### What are examples of good toy models in mathematics?

This post is community wiki.
A comment on another question reminded me of this old post of Terence Tao's about toy models. I really like the idea of using toy models of a difficult object to ...

**4**

votes

**2**answers

273 views

### Can one make a category concrete by “enlarging the universe”?

This is more or less a followup of this question. There, it was established that (it is well known that) the homotopy category of topological spaces is not concrete, in other words, there is no ...

**16**

votes

**5**answers

1k views

### How and how much do the notations and diagrams influence our understanding of mathematical concepts?

How and how much do the notations and diagrams influence
our understanding of mathematical
concepts?
This question was stimulated by the MathOverflow questions Thinking and Explaining and ...

**24**

votes

**4**answers

3k views

### What is a cumulant really?

A cumulant is defined via the cumulant generating function
$$ g(t)\stackrel{\tiny def}{=} \sum_{n=1}^\infty \kappa_n \frac{t^n}{n},$$
where
$$
g(t)\stackrel{\tiny def}{=} \log E(e^{tX}).
$$
Cumulants ...

**7**

votes

**3**answers

1k views

### The resolution of which conjecture/problem would advance Mathematics the most? [closed]

This is an impossibly broad question, and makes the unwarranted assumption that Mathematics is a uniform field. It might make more sense to ask the same question restricted to, say, Mathematical ...

**-3**

votes

**1**answer

125 views

### Decidable theorem or result that is not weaker than Tarski's theorem

I am wondering what other decidable theorem or results that is not weaker or stronger than Tarski's theorem.
Could any one give reference or a simple introduction about such result known in their ...

**9**

votes

**4**answers

884 views

### What is about J. v. Neumann's “Continuous geometry”?

I am curious about von Neumann's "Continuous geometry", but found no recent text or survey on it. Does anyone know the book and would be so nice to share their impression, and if/how the concept of ...

**55**

votes

**16**answers

5k views

### What makes four dimensions special?

Do you know properties which distinguish four-dimensional spaces among the others?
What makes four-dimensional topological manifolds special?
What makes four-dimensional differentiable manifolds ...

**38**

votes

**7**answers

5k views

### “Algebraic” topologies like the Zariski topology?

The fact that a commutative ring has a natural topological space associated with it is still a really interesting coincidence. The entire subject of Algebraic geometry is based on this simple fact.
...

**55**

votes

**9**answers

4k views

### How does one find out what's happening in contemporary mathematics research?

How does one find out what's happening in contemporary mathematics research?
EDIT: I should have mentioned that I am looking for open access online sources. It so happens that I have been outside ...

**15**

votes

**1**answer

525 views

### 3D generalizations of permutations, RSK correspondence, contingency tables, etc.

I want to gather facts and questions related to 3D generalizations
of permutations, RSK correspondence, contingency tables,
etc. One reason I am interested in this is because it is potentially
related ...

**84**

votes

**38**answers

15k views

### Examples of eventual counterexamples

Define an "eventual counterexample" to be
$P(a) = T $ for $a < n$
$P(n) = F$
$n$ is sufficiently large for $P(n) = T\ \ \forall n \in \mathbb{N}$ to be a 'reasonable' conjecture to make.
where ...

**11**

votes

**5**answers

2k views

### Brownian motion, martingales, Markov Chains - Rosetta Stone

What are the most
fundamental/useful/interesting ways in
which the concepts of Brownian motion,
martingales and markov chains are
related?
I'm a graduate student doing a crash course in ...

**25**

votes

**9**answers

1k views

### Continuous relations?

What might it mean for a relation $R\subset X\times Y$ to be continuous? In topology, category theory or in analysis? Is it possible, canonical, useful?
I have a vague idea of the possibility of ...

**19**

votes

**8**answers

2k views

### Examples of intuition from fields other than Physics to solve math problems

This is a chaser for the examples of using physical intuition to solve math problems question.
Physical intuition seems to be used relatively frequently for solving math problems as well as stating ...

**2**

votes

**2**answers

379 views

### Categories with binary relations as objects

For the category of functions, pairs of functions making commutative diagrams are the canonical morphisms $\alpha:f\rightarrow g$. For binary relations there is an alternative, to consider the ...

**67**

votes

**11**answers

13k views

### What is an integrable system

What is an integrable system, and what is the significance of such systems? (Maybe it is easier to explain what a non-integrable system is.) In particular, is there a dichotomy between "integrable" ...

**51**

votes

**11**answers

3k views

### Why is Set, and not Rel, so ubiquitous in mathematics?

The concept of relation in the history of mathematics, either consciously or not, has always been important: think of order relations or equivalence relations.
Why was there the necessity of singling ...

**208**

votes

**22**answers

24k views

### Thinking and Explaining

How big a gap is there between how you think about mathematics and what you say to others? Do you say what you're thinking? Please give either personal examples of how your thoughts and words ...

**65**

votes

**6**answers

8k views

### How to find ICM talks?

I am very interested in reading some and skimming through the list of invited talks at the International Congress of Mathematicians. Since the proceedings contain talks supposedly by top experts in ...

**2**

votes

**1**answer

416 views

### Computer Science applications of Roth's Theorem [closed]

I have been reading about Additive Combinatorics and in particular Roth's theorem which states any positive upper density set has infinitely many 3-step arithmetic progressions.
Let $A \subset ...

**12**

votes

**2**answers

1k views

### Using higher-order Bring radicals to solve arbitrary polynomials

It is well known that there is no general formula for the solution of the quintic. Of course, what this really means is that there is no general formula that only involves addition, subtraction, ...

**13**

votes

**0**answers

183 views

### What do tangles teach us about braids?

A braid is a smooth level-preserving embedding $f\colon\, \{1,2,\ldots,n\}\times[0,1]\hookrightarrow \mathbb{R}^2 \times [0,1]$ such that $f(k,0)=(k,0)$ and $f(k,1) \in \{1,2,\ldots,n\} \times ...

**13**

votes

**1**answer

377 views

### Why are Witten-Reshetikhin-Turaev invariants expected to be integral?

A Witten-Reshetikhin-Turaev (WRT) Invariant $\tau_{M,L}^G(\xi)\in\mathbb{C}$ is an invariant of closed oriented 3-manifold $M$ containing a framed link $L$, where $G$ is a simple Lie group, and $\xi$ ...

**6**

votes

**1**answer

387 views

### Differences in philosophy between Lie Groups and Differential Galois Theory

As far as I have heard,Sophus Lie's aim was to construct an analogue of galois theory for differential galois theory. I am familiar with lie group but not with differential galois theory. What is the ...

**38**

votes

**24**answers

7k views

### The concept of Duality

I have been thinking for sometime about asking this question, but because I did not want to have two "big-list" questions open at the same time, I did not ask this one. Now its time has come.
...

**44**

votes

**11**answers

5k views

### What precisely Is “Categorification”?

(And what's it good for.)
Related MO questions (with some very nice answers): examples-of-categorification; can-we-categorify-the-equation $(1-t)(1+t+t^2+\dots)=1$?; categorification-request.

**14**

votes

**2**answers

1k views

### Big Picture: What is the connection of Malliavin calculus with differential geometry?

I know that Paul Malliavin was heavily influenced by ideas from differential geometry while developing his calculus on Wiener space. But what are the concrete analogies between both areas of ...

**23**

votes

**9**answers

6k views

### Why are polynomials so useful in mathematics?

This is perhaps unanswerable,
or perhaps I am too algebraically ignorant to phrase it cogently, but:
Is there some identifiable reason that polynomials over
$\mathbb{C}$,
$\mathbb{R}$, ...

**71**

votes

**16**answers

17k views

### What recent discoveries have amateur mathematicians made?

E.T. Bell called Fermat the Prince of Amateurs. One hundred years ago Ramanujan amazed the mathematical world. In between were many important amateurs and mathematicians off the beaten path, but what ...

**11**

votes

**0**answers

1k views

### Idea of presheaf cohomology vs. sheaf cohomology

Let $X$ be a topological space and $U$ an open cover of $X$.
In this thread Angelo explained beautifully how presheaf cohomology (Cech cohomology) relates to sheaf cohomology:
The zeroth Cech ...

**4**

votes

**2**answers

570 views

### What is the relation of the Kuznetsov-Bruggeman trace formula and the Selberg trace formula?

I have read that there is an elementary way to show that the above mentioned trace fromulas are equivalent in the sense, that each of them can be derived directly from the other. There should exist a ...

**19**

votes

**6**answers

3k views

### Heuristic behind the Fourier-Mukai transform

What is the heuristic idea behind the Fourier-Mukai transform? What is the connection to the classical Fourier transform?
Moreover, could someone recommend a concise introduction to the subject?

**4**

votes

**0**answers

493 views

### Differential Galois number theory

Following http://math.stackexchange.com/questions/635659/can-the-error-term-involved-in-the-pnt-be-expressed-in-a-galois-theoretic-framew?noredirect=1#comment1341143_635659, I vainly tried to find ...