**0**

votes

**0**answers

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

**28**answers

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

**1**answer

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

**29**answers

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

**19**answers

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

**42**answers

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

**4**answers

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

**2**answers

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

**13**answers

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

**1**answer

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

**32**answers

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

**25**answers

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

**4**answers

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

**11**answers

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

**10**answers

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

**23**answers

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

**2**answers

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

**34**answers

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

**15**answers

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

**9**answers

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

**13**answers

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

**26**answers

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

**19**answers

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

**26**answers

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

**59**answers

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

**31**answers

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

**22**answers

12k views

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

With which notation do you feel uncomfortable ?

**11**

votes

**7**answers

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

**26**answers

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

**0**answers

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

**1**answer

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

**24**answers

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

**8**answers

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

**37**answers

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

**6**answers

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

**61**answers

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

**8**answers

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

**27**answers

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

**19**answers

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

**10**answers

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

**11**answers

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

**12**answers

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

**6**answers

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

**16**answers

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

**178**answers

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

**72**answers

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

**14**answers

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

**26**answers

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

**11**answers

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

**15**answers

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?
...