**9**

votes

**2**answers

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

**47**

votes

**16**answers

7k views

### Collection of equivalent forms of Riemann Hypothesis

This forum brings together a broad enough base of mathematicians to collect a "big list" of equivalent forms of the Riemann Hypothesis...just for fun. Also, perhaps, this collection could include ...

**-3**

votes

**0**answers

85 views

### Math notation with no possible syntax errors [on hold]

It surely is possible for e.g. simple integer arithmetic
to invent a notation where every statement is syntactical
correct, just enumerate them - "#" means "0=0", "##" "0=1",
maybe "#...#" (239 of ...

**13**

votes

**2**answers

2k views

### What are examples of theorems which were once “valid”, then became “invalid” as standard definitions shifted?

That is, results established by correct proofs within some framework, yet the manner in which their author or the general mathematical community at the time would describe these results would, in ...

**12**

votes

**5**answers

493 views

### Applications of space filling curves

I am seeking articles where a space filling curve has been used as a theoretical application, such as in the study of general orthogonal polynomials.

**153**

votes

**67**answers

52k views

### Awfully sophisticated proof for simple facts [closed]

It is sometimes the case that one can produce proofs of simple facts that are of disproportionate sophistication which, however, do not involve any circularity. For example, (I think) I gave an ...

**125**

votes

**27**answers

54k 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 ...

**33**

votes

**14**answers

3k views

### Where have you used computer programming in your career as an (applied/pure) mathematician?

For background: I'm working on a book to help mathematicians learn how to program. However, I need to see some examples from people in the field that have done different kinds of things than I have.
...

**166**

votes

**22**answers

24k views

### Geometric Interpretation of Trace

This afternoon I was speaking with some graduate students in the department and we came to the following quandry;
Is there a geometric interpretation of the trace of a matrix?
This question ...

**27**

votes

**16**answers

4k views

### Interesting mathematical topics arising from Biology

I've heard that there's a relatively new field of science called Mathematical Biology.
It will certainly apply well known and less known mathematical techniques to the understanding of some ...

**21**

votes

**13**answers

2k views

### Are there any good nonconstructive “existential metatheorems”?

Are there any good examples of theorems in reasonably expressive theories (like Peano arithmetic) for which it is substantially easier to prove (in a metatheory) that a proof exists than it is ...

**562**

votes

**217**answers

142k 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 ...

**24**

votes

**2**answers

1k views

### Properties of functors and their adjoints

I am interested in collecting in this question a list of properties a functor $F$ may have and what those properties imply for left and right adjoints, $F^L$ and $F^R$, assuming they exist. There are ...

**42**

votes

**15**answers

6k views

### Abstract Thought vs Calculation

Jeremy Avigad and Erich Reck in their remarkable historical paper "Clarifying the nature of the infinite: the development of metamathematics and proof theory" claim that one of the factors of becoming ...

**99**

votes

**70**answers

15k views

### Most helpful math resources on the web

What are really helpful math resources out there on the web?
Please don't only post a link but a short description of what it does and why it is helpful.
Please only one resource per answer and let ...

**62**

votes

**25**answers

5k views

### What could be some potentially useful mathematical databases?

This is a soft question but it's not meant as a big-list question. I have recently been asked whether I want to provide feedback at the pre-beta stage on a forthcoming website that will provide a ...

**19**

votes

**12**answers

2k 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 ...

**153**

votes

**11**answers

45k views

### Have any long-suspected irrational numbers turned out to be rational?

The history of proving numbers irrational is full of interesting stories, from the ancient proofs for $\sqrt{2}$, to Lambert's irrationality proof for $\pi$, to Roger Apéry's surprise demonstration ...

**49**

votes

**9**answers

6k views

### When have we lost a body of mathematics because errors were found?

The history of mathematics over the last 200 years has many occasions when the fundamental assumptions of an area have been shown to be flawed, or even wrong. Yet I cannot think of any examples where, ...

**61**

votes

**27**answers

8k views

### Sexy vacuity …

I included this footnote in a paper in which I mentioned that the number of partitions of the empty set is 1 (every member of any partition is a non-empty set, and of course every member of the empty ...

**85**

votes

**19**answers

8k 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 ...

**14**

votes

**3**answers

3k views

### A list of machineries for computing cohomology

This is not a question, but I just hope to hear more from everyone here on it.
A list of ready-to-use machineries to compute the de Rham / Cech cohomology of a manifold / variety. As far as I know, I ...

**42**

votes

**15**answers

6k views

### Shortest/Most elegant proof for $L(1,\chi)\neq 0$

Let $\chi$ be a Dirichlet character and $L(1,\chi)$ the associated L-function evaluated at $s=1$. What would be the 'shortest' proof of the non-vanishing of $L(1,\chi)$?
Background: The non-vanishing ...

**117**

votes

**46**answers

39k views

### Ways to prove the fundamental theorem of algebra

This seems to be a favorite question everywhere, including Princeton quals. How many ways are there?
Please give a new way in each answer, and if possible give reference. I start by giving two:
...

**228**

votes

**68**answers

108k 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 ...

**28**

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

**85**

votes

**42**answers

11k 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 ...

**31**

votes

**12**answers

2k views

### Interesting conjectures “discovered” by computers and proved by humans?

There are notable examples of computers "proving" results discovered by mathematicians, what about the opposite:
Are there interesting conjectures "discovered" by computers and proved by humans?
...

**34**

votes

**14**answers

8k views

### Open problems in Euclidean geometry?

Which are some (research level) open problems in Euclidean geometry ?
(Edit: I ask just out of curiosity, to understand how -and if- nowadays this is not a "dead" field yet)
I should clarify a ...

**21**

votes

**1**answer

650 views

### Big list - Equivalent descriptions of Hodge conjecture?

I would like to know equivalent descriptions of the Hodge conjecture (with references).
Dan Freed's Version:
Consider a topological cycle (boundary less chains that are free to deform) on a ...

**22**

votes

**24**answers

7k views

### Is there an image for you that epitomizes mathematics? [closed]

Can you think of an image, whether technical or nontechnical, available for viewing online that says a lot about what you think mathematics or a particular field of mathematics is all about?
For ...

**83**

votes

**29**answers

8k views

### Examples of theorems misapplied to non-mathematical contexts

For something I'm writing -- I'm interested in examples of bad arguments which involve the application of mathematical theorems in non-mathematical contexts. E.G. folks who make theological arguments ...

**65**

votes

**56**answers

14k views

### Pseudonyms of famous mathematicians

Many mathematicians know that Lewis Carroll was quite a good mathematician, who wrote about logic (paradoxes) and determinants. He found an expansion formula, which bears his real name (Charles ...

**9**

votes

**4**answers

1k views

### problems from the scottish book

Which of the problems from the Scottish Book (pdf of English version) by Stefan Banach are still open? I know that one of the problems was solved by Per Enflo for which he got a live goose from ...

**32**

votes

**13**answers

3k 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.

**65**

votes

**10**answers

9k views

### Why do Bernoulli numbers arise everywhere?

I have seen Bernoulli numbers many times, and sometimes very surprisingly. They appear in my textbook on complex analysis, in algebraic topology, and of course, number theory. Things like the criteria ...

**42**

votes

**31**answers

7k views

### Trichotomies in mathematics

Added. Thanks to all who participated! Let me humbly apologize to those who were annoyed (quite understandably) by this thread, deeming it nothing more than an exercise in futility. If you thought the ...

**56**

votes

**55**answers

10k views

### Books you would like to see translated into English.

I have recently been told of a proposal to produce an English translation
of Landau's Handbuch der Lehre von der Verteilung der Primzahlen, and
this prompts me to ask a more general question:
...

**39**

votes

**8**answers

12k views

### Collecting proofs that finite multiplicative subgroups of fields are cyclic

I teach elementary number theory and discrete mathematics to students who come with no abstract algebra. I have found proving the key theorem that finite multiplicative subgroups of fields are cyclic ...

**155**

votes

**27**answers

19k views

### What are some reasonable-sounding statements that are independent of ZFC?

Every now and then, somebody will tell me about a question. When I start thinking about it, they say, "actually, it's undecidable in ZFC."
For example, suppose A is an abelian group such that every ...

**4**

votes

**0**answers

93 views

### Examples of combinatorial bijections found by considering functors

Let us assume that I have two sets of combinatorial objects, $A$ and $B$,
and I am looking for a bijection (in particular a map) $\psi:A \to B$ between these sets, usually required to preserve some ...

**25**

votes

**15**answers

2k views

### Big list of repositories of mathematical preprints and postprints

I'm looking for a extensive list of online repositories of mathematical preprints and postprints. I'm interested in every type of repository, including small informal and semi-formal collections, like ...

**81**

votes

**7**answers

8k 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 ...

**37**

votes

**2**answers

4k views

### Open problems/questions in representation theory and around?

What are open problems in representation theory?
What are the sources (books/papers/sites) discussing this?
Any kinds of problems/questions are welcome - big/small, vague/concrete.
Some estimation ...

**30**

votes

**35**answers

2k 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, ...

**70**

votes

**21**answers

17k views

### Examples of math hoaxes/interesting jokes published on April Fool's day?

What are examples of math hoaxes/interesting jokes published on April Fool's day?
For a start P=NP.

**113**

votes

**40**answers

11k views

### Generalizing a problem to make it easier

One of the many articles on the Tricki that was planned but has never been written was about making it easier to solve a problem by generalizing it (which initially seems paradoxical because if you ...

**26**

votes

**16**answers

3k views

### What are some examples of narrowly missed discoveries in the history of mathematics?

What are the examples of some mathematicians coming very close to a very promising theory or a correct proof of a big conjecture but not making or missing the last step?

**104**

votes

**45**answers

19k 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 ...

**29**

votes

**36**answers

4k views

### What are some mathematical sculptures?

Either intentionally or unintentionally.
Include location and sculptor, if known.