The gm.general-mathematics tag has no wiki summary.

**116**

votes

**36**answers

21k views

### Demonstrating that rigour is important

Any pure mathematician will from time to time discuss, or think about, the question of why we care about proofs, or to put the question in a more precise form, why we seem to be so much happier with ...

**94**

votes

**14**answers

12k views

### When should a supervisor be a co-author?

What are people's views on this? To be specific: suppose a PhD student has produced a piece of original mathematical research. Suppose that student's supervisor suggested the problem, and gave a few ...

**80**

votes

**90**answers

11k views

### What would you want to see at the Museum of Mathematics?

EDIT (30 Nov 2012): MoMath is opening in a couple of weeks, so this seems like it might be a good time for any last-minute additions to this question before I vote to close my own question as "no ...

**78**

votes

**19**answers

11k views

### Mathematical habits of thought and action which would be of use to non-mathematicians

Once again I come to MO for help with something I'm writing for the public.
Which habits of mathematicians -- aspects of the way we approach problems, the way we argue, the way we function as a ...

**53**

votes

**26**answers

5k views

### Proof synopsis collection

I hate to keep going with the big lists, but the question about one-sentence summaries of topics/areas spurred this question...and I just can't help myself!
Definition (Fraleigh): A proof synopsis ...

**50**

votes

**8**answers

4k views

### Have you solved problems in your sleep? [closed]

I have hit upon major (for me—relative to my trivial accomplishments)
insights in my research
in various sleep-deprived altered states of consciousness,
e.g., long solo car-drives extending ...

**47**

votes

**6**answers

6k views

### Still Difficult After All These Years

I think we all secretly hope that in the long run mathematics becomes easier, in that with advances of perspective, today's difficult results will seem easier to future mathematicians. If I were ...

**46**

votes

**5**answers

4k views

### Changing field of study post-PhD

I am doing my PhD in algebraic graph theory, for not much more reason than that was what was available. However, I love deep structure and theory in mathematics, and I do not particularly want to be ...

**43**

votes

**6**answers

5k views

### Does a referee have to check carefully the proof ?

I have always checked very carefully the papers I was refereeing when I wanted to suggest "accept". Actually I spend almost as much time checking the maths of a paper I referee than checking the maths ...

**41**

votes

**17**answers

8k views

### Is rigour just a ritual that most mathematicians wish to get rid of if they could?

"No". That was my answer till this afternoon! "Mathematics without proofs isn't really mathematics at all" probably was my longer answer. Yet, I am a mathematics educator who was one of the panelists ...

**38**

votes

**19**answers

5k views

### Are there proofs that you feel you did not “understand” for a long time?

Perhaps the "proofs" of ABC conjecture or newly released weak version of twin prime conjecture or alike readily come to your mind. These are not the proofs I am looking for. Indeed my question was ...

**37**

votes

**14**answers

3k views

### A set for which it is hard to determine whether or not it is countable.

I got thinking recently, while trying to come up with a problem, that I did not know of any sets which were reasonable to define but for which it was very difficult to determine whether or not they ...

**33**

votes

**33**answers

4k views

### Structures that turn out to exhibit a symmetry even though their definition doesn't

Sometimes (often?) a structure depending on several parameters turns out to be symmetric w.r.t. interchanging two of the parameters, even though the definition gives a priori no clue of that symmetry. ...

**30**

votes

**6**answers

2k views

### Negative impact of wrong or non-rigorous proofs

The recent talks of Voevodsky (for example, http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations_files/2014_IAS.pdf), which describe subtle errors in proofs by him as well as others, as well ...

**30**

votes

**6**answers

4k views

### Why is the Gaussian so pervasive in mathematics?

This is a heuristic question that I think was once asked by Serge Lang. The gaussian: $e^{-x^2}$ appears as the fixed point to the Fourier transform, in the punchline to the central limit theorem, as ...

**29**

votes

**9**answers

3k views

### Dimensional Analysis in Mathematics

Is there a sensible and useful definition of units in mathematics? In other words, is there a theory of dimensional analysis for mathematics?
In physics, an extremely useful tool is the Buckingham Pi ...

**25**

votes

**15**answers

2k views

### Objects which can't be defined without making choices but which end up independent of the choice

It happens a lot of times that when one defines a new object (ring, module, space, group, algebra, morphism, whatever) out of given data one first chooses some additional structure. And sometimes ...

**23**

votes

**4**answers

2k views

### Overview of the interplay of Harmonic Analysis and Number Theory

I'm kind of disappointed that the question here was never sharpened.
The Laplacian $\Delta$ on the upper half-plane is $-y^{2}(\partial^{2}/\partial x^{2}+\partial^{2}/\partial y^{2}))$. Suppose $D$ ...

**23**

votes

**3**answers

2k views

### An elementary problem in Euclidean geometry [closed]

This problem was first put to me by Luke Pebody (who did not know the answer at the time) and after some work I am yet to find a proof or counterexample. I would be grateful of any insights.
Call a ...

**23**

votes

**1**answer

551 views

### Applications of Lawvere's fixed point theorem

Lawvere's fixed point theorem states that in a cartesian closed category, if there is a morphism $A \to X^A$ which is point-surjective (meaning that $\hom(1,A) \to \hom(1,X^A)$ is surjective), then ...

**18**

votes

**4**answers

2k views

### Where do surreal numbers come from and what do they mean?

I know about Conway's original discovery of the surreal numbers by way of games,
as well as Kruskal's way of viewing surreal numbers in terms of asymptotic behavior
of real-valued functions, leading ...

**18**

votes

**5**answers

659 views

### Online high quality colloquium talks

In my department we're thinking about showing online lectures one day per week at lunch, as sort of a virtual colloquium appropriate to mathematics undergraduates as well as faculty. To start with ...

**17**

votes

**3**answers

2k views

### What would remain of current mathematics without axiom of power set? [closed]

The power set of every infinite set is uncountable. An infinite set (as an element of the power set) cannot be defined by writing the infinite sequence of its elements but only by a finite formula. By ...

**17**

votes

**2**answers

984 views

### Center of mass from the abstract point of view, or could the ancient Greeks invent modern analysis?

This is a very open-ended question, which may or may not have a perfect answer, and for which I have a few ideas but nothing like a clear picture. However, I guess it won't hurt to ask to see if ...

**16**

votes

**3**answers

2k views

### Famous vacuously true statements

I am interested to know other examples vacuously true statements that are non-trivial. My starting example is Turan's result in regards to the Riemann hypothesis, which states
Suppose that for each ...

**16**

votes

**3**answers

922 views

### Results that are easy to prove with a computer, but hard to prove by hand [closed]

Consider the assertion:
There is no completely multiplicative function $f:\mathbb{N}\rightarrow \{\pm 1\}$ with $\left|\sum_{n\leq x}f(n)\right|\leq 2$ for all $x\geq 0$.
One can write a very short ...

**15**

votes

**7**answers

1k views

### Unexpected applications of the fact that nth degree polynomials are determined by n+1 points

I had a funny idea for proving an identity in Euclidean geometry. While it didn't end up being a very nice proof strategy in my case, I would still like to collect nice examples of where the proof ...

**15**

votes

**3**answers

768 views

### Thom's Principle: rich structures are more numerous in low dimension

Marcel Berger states Thom's Principle as:
"rich structures are more numerous in low dimension,
and poor structures are more numerous in high dimension."
This is in
Geometry II
...

**14**

votes

**35**answers

2k views

### Basic results with three or more hypotheses

Consider the following statement of the Arzela-Ascoli theorem.
Theorem. Let K be a compact topological space and let S be a subset of C(K). Then S is relatively compact if and only if S is uniformly ...

**14**

votes

**14**answers

3k views

### What are some examples of “chimeras” in mathematics?

The best example I can think of at the moment is Conway's surreal number system, which
combines 2-adic behavior in-the-small with $\infty$-adic behavior in the large. The surreally
simplest element ...

**14**

votes

**12**answers

2k views

### Why semigroups could be important?

There is known a lot about the use of groups -- they just really appear a lot, and appear naturally. Is there any known nice use of semigroups in Maths to sort of prove they are indeed important in ...

**14**

votes

**5**answers

553 views

### Mathematics of privacy?

I wonder to which extent the current public debate on privacy issues (not only by state sniffing, but e.g. by microtargetting ads too an issue) offers interesting questions in mathematics?
Can we ...

**13**

votes

**1**answer

672 views

### Relation between math and piano music

What, if any, is the relation between Cantor's function and Ligeti studio: Devil's Staircase?

**13**

votes

**2**answers

829 views

### Is there a name for sets for which it is easier to test membership than to find members---and vice versa?

This is a question my son Bob asked me. For some sets it is relatively easy
to test for membership but a lot more difficult to find members, and for others
the reverse is true. Here is an elementary ...

**13**

votes

**3**answers

955 views

### Card game / options pricing / Brownian bridge question

We play a game. I shuffle a deck of cards and start dealing them face up. After any card you can say "stop", at which point I pay you 1 dollar for every red card dealt and you pay me 1 for every black ...

**12**

votes

**17**answers

2k views

### Individual mathematical objects whose study amounts to a (sub)discipline? [closed]

Certain mathematical objects have a theory so rich that their study
alone arguably constitutes a distinct (sub)discipline. My own list
would begin with
1) the absolute Galois group of the rationals;
...

**12**

votes

**1**answer

516 views

### Continued fractions and projective resolutions

Hello,
This question might be vague and not thought-through enough.
If we have a real positive number $x$, we can start to write it as a continued fraction:
$x = a_0 + \frac{1}{x_1} , \ldots , ...

**11**

votes

**4**answers

771 views

### Applications of Zariski topology outside alg. geometry

Are there applications of the Zariski topology in mathematics that are not within the scope of algebraic geometry (including schemes and algebraic groups) ?
There is an older question with a similar ...

**11**

votes

**9**answers

1k views

### math circles video lectures for school children?

Hello,
I am from India. I find the mathoverflow amazing.
I have a question: Are there any good quality video lectures on school math topics?
There are a lot of high quality lectures available on ...

**11**

votes

**2**answers

901 views

### What might extraterrestrial mathematics look like? [closed]

In an extensive anthropological joint research project concerning the necessities in the development of life and civilisation my group is concerned with mathematics. This forum seems to be extremely ...

**11**

votes

**2**answers

718 views

### Anything special (historical?) about surface $x\cdot y\cdot z\ +\ x+y+z=0$?

QUESTION
I wanted to introduce and develop the complex logarithm from scratch. As the result I've arrived a couple of months ago at the following identity after which the road to complex logarithm is ...

**11**

votes

**0**answers

327 views

### Which limit to take as a key applied math decision

The Borel-Kolmogorov paradox refers to situations where non-uniqueness in the notion of conditioning on a set of measure zero leads to apparent contradictions. As a formal matter, one requires ...

**10**

votes

**4**answers

1k views

### How to refer to a theorem that you have shown to be wrong

I am writing a paper about a flaw that I found in a published paper. There, the statement is called “Theorem 2”. In my paper, I am reproducing the other paper’s definitions, and steps leading towards ...

**10**

votes

**5**answers

648 views

### Accessible proofs of contemporary results in mathematics

Are there strong results in contemporary mathematical research (last 20 years) which have a proof which every mathematician (holding a PhD) can completely understand within a few days? -- If yes, ...

**9**

votes

**3**answers

886 views

### Spaces with a quasi triangle inequality

How do you call a space with a function which is symmetric, non negative, positive definite and which satisfies a quasi-triangle inequality:
$d(x,z) \leq C( d(x,y)+d(y,z) )$
for all $x,y,z$ and some ...

**8**

votes

**3**answers

591 views

### Is there any monoid in which the product of two non-invertible elements could be invertible?

I think the title speaks for itself. Thus I just explain the story behind the question. Of course, you may want to skip the story.
Story: Currently, I teach a course in linear algebra and matrices ...

**8**

votes

**2**answers

959 views

### The impact of large cardinals in mathematics [closed]

What are the main applications of large cardinals in ordinary mathematics, and what is the philosophy behind using them. In particular:
Question 1. What is the philosophy behind accepting large ...

**8**

votes

**3**answers

848 views

### P vs. NP resistant problems

According to Stephen Cook on wikipedia, http://en.wikipedia.org/wiki/P_versus_NP_problem
...it would transform mathematics by allowing a computer to find a formal proof of any theorem which has a ...

**8**

votes

**2**answers

1k views

### Naturally occurring orderings

The are many orderings that naturally occur in interesting but seemingly unrelated circumstances. Here are some examples:
The volume spectrum of orientable hyperbolic 3-manifolds has order type ...

**7**

votes

**3**answers

633 views

### Formal writing: numbers under 10

I've been tasked with proofreading an Engineering/Mathematics thesis paper. I was always told that numbers under 10 should be spelled out (one, two, three, ...) but I was wondering if this rule holds ...