Highest scored questions
159,026 questions
154
votes
26
answers
44k
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 ...
154
votes
7
answers
85k
views
Where to buy premium white chalk in the U.S., like they have at RIMS? [closed]
While not a research-level math question, I'm sure this is a question of interest to many research-level mathematicians, whose expertise I seek.
At RIMS (in Kyoto) in 2005, they had the best white ...
153
votes
12
answers
44k
views
"Philosophical" meaning of the Yoneda Lemma
The Yoneda Lemma is a simple result of category theory, and its proof is very straightforward.
Yet I feel like I do not truly understand what it is about; I have seen a few comments here mentioning ...
153
votes
27
answers
50k
views
A soft introduction to physics for mathematicians who don't know the first thing about physics
There have been similar questions on mathoverflow, but the answers always gave some advanced introduction to the mathematics of quantum field theory, or string theory and so forth. While those may be ...
152
votes
26
answers
39k
views
Has philosophy ever clarified mathematics?
I've recently been reading some standard textbooks on the philosophy of mathematics, and I've become quite frustrated that (surely due to my own limitations) I don't seem to be gleaning any ...
152
votes
31
answers
27k
views
Extremely messy proofs
Currently in my undergraduate courses I am being taught how to set up various machinery using slick, short proofs and then how to apply that machinery. What I am not being taught, largely, is what ...
152
votes
18
answers
24k
views
Why do we care about $L^p$ spaces besides $p = 1$, $p = 2$, and $p = \infty$?
I was helping a student study for a functional analysis exam and the question came up as to when, in practice, one needs to consider the Banach space $L^p$ for some value of $p$ other than the obvious ...
152
votes
13
answers
22k
views
Why is the fundamental group of a compact Riemann surface not free ?
Consider a compact Riemann surface $X$ of genus $g$.
It is well-known that its fundamental group $\pi_1(X)$ is the free group on the generators $a_1,b_1,...,a_g,b_g$ divided out by the normal ...
150
votes
45
answers
30k
views
Nontrivial theorems with trivial proofs
A while back I saw posted on someone's office door a statement attributed to some famous person, saying that it is an instance of the callousness of youth to think that a theorem is trivial because ...
150
votes
31
answers
70k
views
What are the most misleading alternate definitions in taught mathematics?
I suppose this question can be interpreted in two ways. It is often the case that two or more equivalent (but not necessarily semantically equivalent) definitions of the same idea/object are used in ...
150
votes
21
answers
21k
views
How does one justify funding for mathematics research?
G. H. Hardy's A Mathematician's Apology provides an answer as to why one would do mathematics, but I'm unable to find an answer as to why mathematics deserves public funding. Mathematics can be ...
150
votes
2
answers
22k
views
What is a Frobenioid?
Since there will be a long digression in a moment, let me start by reassuring you that my intention really is to ask the question in the title.
Recently, there has been a flurry of new discussion ...
149
votes
71
answers
21k
views
Nonequivalent definitions in Mathematics
I would like to ask if anyone could share any specific experiences of
discovering nonequivalent definitions in their field of mathematical research.
By that I mean discovering that in different ...
149
votes
38
answers
38k
views
Computer algebra errors
In the course of doing mathematics, I make extensive use of computer-based calculations. There's one CAS that I use mostly, even though I occasionally come across out-and-out wrong answers.
After ...
149
votes
7
answers
23k
views
Homotopy groups of Lie groups
Several times I've heard the claim that any Lie group $G$ has trivial second fundamental group $\pi_2(G)$, but I have never actually come across a proof of this fact. Is there a nice argument, ...
148
votes
4
answers
69k
views
What are "perfectoid spaces"?
This talk is about a theory of "perfectoid spaces", which "compares objects in characteristic p with objects in characteristic 0". What are those spaces, where can one read about them?
Edit: A bit ...
148
votes
26
answers
29k
views
Good "casual" advanced math books
I'm curious if there are any good math books out there that take a "casual approach" to higher level topics. I'm very interested in advanced math, but have lost the time as of late to study textbooks ...
148
votes
11
answers
30k
views
Is Fourier analysis a special case of representation theory or an analogue?
I'm asking this question because I've been told by some people that Fourier analysis is "just representation theory of $S^1$."
I've been introduced to the idea that Fourier analysis is related to ...
147
votes
66
answers
40k
views
Important formulas in combinatorics
Motivation:
The poster for the conference celebrating Noga Alon's 60th birthday, fifteen formulas describing some of Alon's work are presented. (See this post, for the poster, and cash prizes offered ...
147
votes
21
answers
23k
views
Are there examples of non-orientable manifolds in nature?
Whilst browsing through Marcel Berger's book "A Panoramic View of Riemannian Geometry" and thinking about the Klein bottle, I came across the sentence:
"The unorientable surfaces are never discussed ...
147
votes
18
answers
14k
views
Suggestions for special lectures at next ICM
(I am posting this in my capacity as chair of the ICM programme committee.)
ICM 2022 will feature a number of "special lectures", both at the sectional and plenary level, see last year's ...
147
votes
43
answers
61k
views
Where does a math person go to learn quantum mechanics?
My undergraduate advisor said something very interesting to me the other day; it was something like "not knowing quantum mechanics is like never having heard a symphony." I've been meaning to learn ...
147
votes
15
answers
22k
views
Is a free alternative to MathSciNet possible?
How could a free (i.e. free content) alternative for MathSciNet and Zentralblatt be created?
Comments
Some mathematicians have stopped writing reviews for MathSciNet because they feel their output ...
147
votes
10
answers
16k
views
What non-categorical applications are there of homotopical algebra?
(To be honest, I actually mean something more general than 'homotopical algebra' - topos theory, $\infty$-categories, operads, anything that sounds like its natural home would be on the nLab.)
More ...
145
votes
21
answers
28k
views
Mathematical software wish list
Like many other mathematicians I use mathematical software like SAGE, GAP, Polymake, and of course $\LaTeX$ extensively. When I chat with colleagues about such software tools, very often someone has ...
145
votes
14
answers
50k
views
Why study Lie algebras?
I don't mean to be rude asking this question, I know that the theory of Lie groups and Lie algebras is a very deep one, very aesthetic and that has broad applications in various areas of mathematics ...
144
votes
24
answers
19k
views
Occurrences of (co)homology in other disciplines and/or nature
I am curious if the setup for (co)homology theory appears outside the realm of pure mathematics. The idea of a family of groups linked by a series of arrows such that the composition of consecutive ...
143
votes
12
answers
30k
views
Solutions to the Continuum Hypothesis
Related MO questions: What is the general opinion on the Generalized Continuum Hypothesis? ; Completion of ZFC ; Complete resolutions of GCH How far wrong could the Continuum Hypothesis be? When was ...
143
votes
6
answers
12k
views
Gaussian prime spirals
Imagine a particle in the complex plane, starting at $c_0$, a Gaussian integer,
moving initially $\pm$ in the horizontal
or vertical directions. When it hits a Gaussian prime, it turns left $90^\circ$...
143
votes
4
answers
15k
views
If $2^x $and $3^x$ are integers, must $x$ be as well?
I'm fascinated by this open problem (if it is indeed still that) and every few years I try to check up on its status. Some background: Let $x$ be a positive real number.
If $n^x$ is an integer for ...
142
votes
17
answers
23k
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 ...
142
votes
7
answers
14k
views
Source and context of $\frac{22}{7} - \pi = \int_0^1 (x-x^2)^4 dx/(1+x^2)$?
Possibly the most striking proof of Archimedes's inequality $\pi < 22/7$ is an integral formula for the difference:
$$
\frac{22}{7} - \pi = \int_0^1 (x-x^2)^4 \frac{dx}{1+x^2},
$$
where the ...
141
votes
59
answers
32k
views
Jokes in the sense of Littlewood: examples? [closed]
First, let me make it clear that I do not mean jokes of the
"abelian grape" variety. I take my cue from the following
passage in A Mathematician's Miscellany by J.E. Littlewood
(Methuen 1953, p. 79):
...
141
votes
17
answers
38k
views
Why is differentiating mechanics and integration art?
It is often said that "Differentiation is mechanics, integration is art." We have more or less simple rules in one direction but not in the other (e.g. product rule/simple <-> integration by parts/...
141
votes
0
answers
13k
views
Grothendieck-Teichmüller conjecture
(1) In "Esquisse d'un programme", Grothendieck conjectures
Grothendieck-Teichmüller conjecture: the morphism
$$
G_{\mathbb{Q}} \longrightarrow Aut(\widehat{T})
$$
is an isomorphism.
Here $...
140
votes
7
answers
34k
views
Is the boundary $\partial S$ analogous to a derivative?
Without prethought, I mentioned in class once that the reason the symbol $\partial$
is used to represent the boundary operator in topology is
that its behavior is akin to a derivative.
But after ...
140
votes
0
answers
10k
views
Grothendieck -sad news [closed]
Sorry for that this is not a real question. But I thought people would like to know.
Alexandre Grothendieck died today: http://www.liberation.fr/sciences/2014/11/13/alexandre-grothendieck-ou-la-mort-...
139
votes
28
answers
19k
views
Which mathematical definitions should be formalised in Lean?
The question.
Which mathematical objects would you like to see formally defined in the Lean Theorem Prover?
Examples.
In the current stable version of the Lean Theorem Prover, topological groups ...
137
votes
26
answers
29k
views
What are some famous rejections of correct mathematics?
Dick Lipton has a blog post that motivated this question. He recalled the Stark-Heegner
Theorem: There are only a finite
number of imaginary quadratic fields
that have unique factorization. They
are $...
137
votes
9
answers
19k
views
Is there an underlying explanation for the magical powers of the Schwarzian derivative?
Given a function $f(z)$ on the complex plane, define the Schwarzian derivative $S(f)$ to be the function
$S(f) = \frac{f'''}{f'} - \frac{3}{2} \Big(\frac{f''}{f'}\Big)^2$
Here is a somewhat more ...
137
votes
2
answers
55k
views
Consequences resulting from Yitang Zhang's latest claimed results on Landau-Siegel zeros
Very recently, Yitang Zhang just gave a (virtual) talk about his work on Landau-Siegel zeros at Shandong University on the 5th of November's morning in China. He will also give a talk on 8th November ...
136
votes
14
answers
29k
views
Careers advice for Ph.D.s without current postdocs or university jobs
Hi,
I'm sure I'm not the only Ph.D. mathematician on MO in serious need of career advice. I'm sure there will be other readers in similar situations, who will find any good advice very helpful. Can ...
136
votes
15
answers
36k
views
Statistics for mathematicians
I'm looking for an overview of statistics suitable for the mathematically mature reader: someone familiar with measure theoretic probability at say Billingsley level, but almost completely ignorant of ...
135
votes
43
answers
38k
views
What are the most attractive Turing undecidable problems in mathematics?
What are the most attractive Turing undecidable problems in mathematics?
There are thousands of examples, so please post here only the most attractive, best examples. Some examples already appear on ...
135
votes
6
answers
23k
views
what mistakes did the Italian algebraic geometers actually make?
It's "well-known" that the 19th century Italian school of algebraic geometry made great progress but also started to flounder due to lack of rigour, possibly in part due to the fact that foundations (...
135
votes
5
answers
31k
views
Does the inverse function theorem hold for everywhere differentiable maps?
(This question was posed to me by a colleague; I was unable to answer it, so am posing it here instead.)
Let $f: {\bf R}^n \to {\bf R}^n$ be an everywhere differentiable map, and suppose that at each ...
134
votes
69
answers
227k
views
Mathematical "urban legends"
When I was a young and impressionable graduate student at Princeton, we scared each other with the story of a Final Public Oral, where Jack Milnor was dragged in against his will to sit on a committee,...
132
votes
22
answers
11k
views
Books that teach other subjects, written for a mathematician
Say I am a mathematician who doesn't know any chemistry but would like to learn it. What books should I read?
Or say I want to learn about Einstein's theory of relativity, but I don't even know much ...
132
votes
3
answers
21k
views
When is the tensor product of two fields a field?
Consider two extension fields $K/k, L/k$ of a field $k$.
A frequent question is whether the tensor product ring $K\otimes_k L$ is a field. The answer is "no" and this answer is often ...
131
votes
14
answers
30k
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 ...