Questions designed to generate a "big list" of certain results, examples, conjectures, etc. via many individual answers, each contributing one or a few instances. Such a question should typically be in Community Wiki mode (CW); after asking, please, flag for moderators attention requesting the ...

learn more… | top users | synonyms

0
votes
0answers
90 views

Any result, example or conjecture about the computational complexity of transcendental number that can not be computed by linear time Turing Machine [on hold]

The Hartmanis-Stearns Conjecture is restated by Prof.Lipton as: Suppose that a linear time Turing Machine computes the first $n$ digits of the real number $r$ in base ten. Then, the number is either a ...
77
votes
28answers
13k views

Are there other nice math books close to the style of Tristan Needham?

Hello, I've been very positively impressed by Tristan Needham's book "Visual Complex Analysis", a very original and atypical mathematics book which is more oriented to helping intuition and insight ...
6
votes
1answer
220 views

Rational points techniques on curves not using their Jacobian

Let $C/K$ be a curve of genus > 2 over a number field $K$ and suppose there exists a $p \in C(K)$. Then a recurring theme in studying $C(K)$ is using the map $C \to J(C)$ normalized by sending $p$ to ...
110
votes
29answers
33k views

Real-world applications of mathematics, by arxiv subject area?

What are the most important applications outside of mathematics of each of the major fields of mathematics? For concreteness, let's divide up mathematics according to arxiv mathematics categories, ...
88
votes
19answers
20k views

Examples of unexpected mathematical images

I try to generate a lot of examples in my research to get a better feel for what I am doing. Sometimes, I generate a plot, or a figure, that really surprises me, and makes my research take an ...
75
votes
42answers
16k 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 ...
6
votes
4answers
732 views

Proofs of the Chevalley-Warning Theorem

A well known proof of the Chevally-Warning Theorem is the one listed on wikipedia: http://en.wikipedia.org/wiki/Chevalley%E2%80%93Warning_theorem Are there any other proofs of this, or ...
5
votes
2answers
1k views

Consequences of Legendre's conjecture

I am looking for a list/reference which explores the consequences of Legendre's conjecture, which states that one can always find a prime number between $n^2$ and $(n+1)^2$.
40
votes
13answers
5k views

Contest problems with connections to deeper mathematics.

Hi, I already posted this on math.stackexchange, but I'm also posting it here because I think that it might get more and better answers here! Hope this is okay. We all know that problems from, for ...
2
votes
1answer
228 views

Does every mathematics article have a DOI (Digital Object Identifier)?

Most articles nowadays have DOI's. I am looking for a list of mathematics journals in which some (or all) articles lack this piece of metadata. I don't have access to MathSciNet, but even if I had, a ...
19
votes
32answers
1k views

Formalizations of category theory in proof assistants

What are the existing formalizations of category theory in proof assistants? I'm primarily interested in public-domain code implementing category theory in a proof assistant (Coq, Agda, ...
44
votes
25answers
7k views

Cocktail party math [closed]

Ok, hotshots. You're at a party, and you're chatting with some non-mathematicians. You tell them that you're a mathematician, and then they ask you to elaborate a bit on what you study, or they ask ...
12
votes
4answers
682 views

Examples of research on how people perceive mathematical objects

What examples are there on research related to human perception and mathematical objects? For example, the shape of a beer glass influences drinking habits, since people are bad at integrating. ...
45
votes
11answers
14k views

Top specialized journals

In geometry/topology, there are (at least) three specialized journals that end up publishing a large fraction of the best papers in the subject -- Geometry and Topology, JDG, and GAFA. What journals ...
20
votes
10answers
2k views

What math institutes offer research in pairs/research in teams?

Some math institutes offer programs in which a small number of researchers are enabled to meet at the institute for a week or more. A list seemed as if it could be useful.
58
votes
23answers
7k views

Papers that debunk common myths in the history of mathematics

What are some good papers that debunk common myths in the history of mathematics? To give you an idea of what I'm looking for, here are some examples. Tony Rothman, "Genius and biographers: The ...
7
votes
2answers
342 views

Undecidable puzzles

There are plenty of popular NP-hard puzzles, for example, generalized Sudoku ($n^2 \times n^2$-board), Flow (I cannot give a source for this), Minesweeper, etc. Recently, I read a bit about aperiodic ...
42
votes
34answers
3k views

Dimension Leaps

Many mathematical areas have a notion of "dimension", either rigorously or naively, and different dimensions can exhibit wildly different behaviour. Often, the behaviour is similar for "nearby" ...
23
votes
15answers
4k views

Examples of famous 'workhorse' theorems

I use the term 'workhorse' to describe a theorem which is technically challenging to prove, perhaps very deep, but the statement is either uninteresting at first glance or too imposing to be ...
12
votes
9answers
1k views

Probabilistic method used to prove existence theorems

I am aiming for a "big list" of theorems using probability techniques to prove existence of some objects. And in each case, there is an interesting question -- can we find an explicit example? Was the ...
49
votes
13answers
4k 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 ...
50
votes
26answers
4k 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 ...
38
votes
19answers
6k views

Mathematicians whose works were criticized by contemporaries but became widely accepted later

Gauss famously discarded Abel's proof that an algebraic equation of degree five or more cannot have a general solution (Abel himself had rejected divergent series as the work of the devil). Cantor's ...
87
votes
26answers
12k 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 ...
92
votes
59answers
16k 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): ...
56
votes
31answers
15k 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 ...
16
votes
22answers
12k views

What are the worst notations, in your opinion ? [closed]

With which notation do you feel uncomfortable ?
11
votes
7answers
692 views

Properties of rings that have an elegant description in terms of the associated category of modules

Suppose $A$ is a ring. Then $A$ happens to be a division ring iff every left $A$-module is free. (See here for proofs). I think this is very beautiful; what other properties of rings have an elegant ...
27
votes
26answers
4k views

Mathematicians who made important contributions outside their own field? [closed]

It is often said that scientists who cross disciplinary borders can make unexpected discoveries thanks to their fresh view of the problems at hand. I am looking for mathematicians who did just that. ...
0
votes
0answers
43 views

The set of (property) elements of a locally compact group is closed

For which properties $(P)$ is the following statement known to be true? In any locally compact group $G$, the elements of $G$ that satisfy $(P)$ form a closed subset of $G$. In other words, the ...
2
votes
1answer
130 views

Distance matrices

We say that a matrix $M\in\mathbb{R}^{n\times n}$ is a distance matrix on a metric space $(X,d)$, if there exist $x_1,\cdots,x_n \in X$ such that $M=[d(x_i,x_j)]_{n\times n}$. Question. For which ...
38
votes
24answers
6k 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. ...
18
votes
8answers
2k views

Fantastic properties of Z/2Z

Recently I gave a lecture to master's students about some nice properties of the group with two elements $\mathbb{Z}/2\mathbb{Z}$. Typically, I wanted to present simple, natural situations where the ...
80
votes
37answers
14k 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 ...
25
votes
6answers
835 views

Link Repository of International Dissertations

This question (cry for help?) grew out of Colin Tan's question: does anyone have a copy of schmid’s effective work on hilbert 17th? which was a request for a copy of an Habilitationsschrift. We've ...
162
votes
61answers
85k views

Proofs without words

Can you give examples of proofs without words? In particular, can you give examples of proofs without words for non-trivial results? (One could ask if this is of interest to mathematicians, and I ...
11
votes
8answers
740 views

Interesting examples of generic behavior of mathematical objects being either unreasonably structured or simply unreasonable

My experience seems to be that quite often "generic" mathematical objects tend to be either extremely well behaved or structured, or at the opposite extreme are as unstructured as possible. For ...
45
votes
27answers
4k views

books well-motivated with explicit examples

It is ultimately a matter of personal taste, but I prefer to see a long explicit example, before jumping into the usual definition-theorem path (hopefully I am not the only one here). My problem is ...
75
votes
19answers
11k views

Do you read the masters?

I often hear the advice, "Read the masters" (i.e., read old, classic texts by great mathematicians). But frankly, I have hardly ever followed it. What I am wondering is, is this a principle that ...
6
votes
10answers
826 views

Examples of “Unusual” Classifications

When one says "classification" in math, usually one of a handful of examples springs to mind: -Classification of Finite Simple Groups with 18 infinite families and 26 sporadic examples (assuming one ...
12
votes
11answers
1k views

Classic applications of Baire category theorem

I've seen Baire category theorem used to prove existence of objects with certain properties. But it seems there is another class of interesting applications of Baire category theorem that I have yet ...
15
votes
12answers
5k views

What is your favorite proof of Tychonoff's Theorem?

Here is mine. It's taken from page 11 of "An Introduction To Abstract Harmonic Analysis", 1953, by Loomis: http://www.archive.org/details/introductiontoab031610mbp ...
66
votes
6answers
7k views

Mistakes in mathematics, false illusions about conjectures

Since long time ago I have been thinking in two problems that I have not been able to solve. It seems that one of them was recently solved. I have been thinking a lot about the motivation and its ...
69
votes
16answers
15k 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 ...
399
votes
178answers
103k views

Examples of common false beliefs in mathematics

The first thing to say is that this is not the same as the question about interesting mathematical mistakes. I am interested about the type of false beliefs that many intelligent people have while ...
192
votes
72answers
77k views

Video lectures of mathematics courses available online for free

It can be difficult to learn mathematics on your own from textbooks, and I often wish universities videotaped their mathematics courses and distributed them for free online. Fortunately, some ...
19
votes
14answers
4k views

Applications of finite continued fractions

I know some applications of finite continued fractions. Probably you know more. Can you add anything? (For for Applications of periodic continued fractions I have made a special topic.) 1) (Trivial) ...
49
votes
26answers
8k 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. ...
37
votes
11answers
2k views

Important open problems that have already been reduced to a finite but infeasible amount of computation

Most open problems, when formalized, naturally involve quantification over infinite sets, thereby obviating the possibility, even in principle, of "just putting it on a computer." Some questions ...
18
votes
15answers
2k views

Non-rigorous reasoning in rigorous mathematics

I was wondering what role non-rigorous, heuristic type arguments play in rigorous math. Are there examples of rigorous, formal proofs in which a non-rigorous reasoning still plays a central part? ...