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

**-2**

votes

**2**answers

678 views

### Accidental, unplanned breakthroughs in Mathematics [closed]

In math/physics, or generally in science, there are many moments where the success and the triumph come from the accidental, unplanned attempts. Moreover, there are some cases that originally having ...

**45**

votes

**18**answers

7k views

### Examples of major theorems with very hard proofs that have NOT dramatically improved over time

This question complement a previous MO question: Examples of theorems with proofs that have dramatically improved over time.
I am looking for a list of major theorems in mathematics whose proofs are ...

**0**

votes

**2**answers

209 views

### Intuition about covariant derivative/connections on real and complex manifolds

I was hoping to gain more intuition about the similarities and differences between the covariant derivative (of any connection, not necessarily the Levi Civita one if it exists) on real and complex ...

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

**7**

votes

**2**answers

380 views

### Adelic methods for classical modular forms

Many conjectures about properties of automorphic forms on $\mathrm{GL}(2)$ can be formulated in the basic language of classical modular forms (i.e. Hecke forms that are holomorphic on $\mathbb{H}$ or ...

**28**

votes

**14**answers

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

**6**

votes

**4**answers

1k views

### Interactions of number theoretic conjectures and other fields of mathematics

There are many interesting open conjectures in number theory. My question is not about partial results or possible ways to prove them. It is about their interactions with the other fields of ...

**3**

votes

**1**answer

212 views

### Symmetries of the standard probability space

The standard probability space $(I, \mathcal B, \lambda)$ consists of the interval $I = [0,1]$, its Borel $\sigma$-algebra $\mathcal B := \mathcal B(I)$ and Lebesgue measure $\lambda$. In ...

**12**

votes

**3**answers

789 views

### Writing Mathematics : Linking words

I'm trying to write mathematics in English and I'm clearly missing something : linking words. I'm writing "so, we get", "Observe that" too many times and I'm afraid to use some expressions : "it ...

**78**

votes

**10**answers

11k views

### Work of plenary speakers at ICM 2014

The next International Congress of Mathematicians (ICM) will take place in 2014 in Seoul, Korea. The present question is meant to gather brief overviews of the work of the plenary speakers for the ICM ...

**22**

votes

**4**answers

993 views

### Multiplying by irrational numbers in combinatorial problems

This is getting no attention on stackexchange.
Everybody knows that the number of derangements of a set of size $n$ is the nearest integer to $n!/e$.
It had escaped my attention until last week, ...

**5**

votes

**1**answer

1k views

### Hodge Theory (Voisin)

I have a strong understanding of Representation Theory but am interested in learning from
Voisin, Hodge Theory and Complex Algebraic Geometry.
What are the prerequisites to learning from this ...

**12**

votes

**2**answers

538 views

### Occurrences of D. H. Lehmer's 10-th degree polynomial

Salem numbers and Lehmer's minimum height problem are venerated not only in number theory and diophantine analysis, where they are considered naturally interesting for their own sake, but also in ...

**38**

votes

**18**answers

5k views

### What are some deep theorems, and why are they considered deep?

All mathematicians are used to thinking that certain theorems are deep, and we would probably all point to examples such as Dirichlet's theorem on primes in arithmetic progressions, the prime number ...

**18**

votes

**5**answers

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

**12**

votes

**1**answer

372 views

### Applications of non-separable Hilbert spaces

In applications, Hilbert spaces of interest are often assumed to be separable. In addition to being extremely convenient mathematically, this assumption can often be justified on computational or ...

**17**

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

**2**

votes

**1**answer

188 views

### Properties of the weak-$*$ topology

Let $X$ be a topological affine space over a complete base field $\mathbb S := \mathbb C$, $\mathbb R$ or $\mathbb Q_p$. Let $X^*$ be the dual space of continuous affine functionals equipped with the ...

**16**

votes

**10**answers

2k views

### An example of a proof that is explanatory but not beautiful? (or vice versa)

This question has a philosophical bent, but hopefully it will evoke straightforward, mathematical answers that would be appropriate for this list (like my earlier question about beautiful proofs ...

**34**

votes

**9**answers

2k views

### Homotopy as a general organizing principle

One of the realizations that led to the development of Homotopy Type Theory (HoTT) is that the ideas of homotopy theory have very broad applicability in mathematics. Indeed, Quillen model categories ...

**43**

votes

**1**answer

3k views

### What if the Riemann Hypothesis were false?

There are lots of known and interesting consequences of the Riemann Hypothesis being true. Are there any known and interesting consequences of the Riemann Hypothesis being false?

**9**

votes

**6**answers

1k views

### Math research in the app store [closed]

What apps can be found in the Apple app store, Google Play, Blackberry World etc. showcasing specific mathematics research?
(Edit - Since the first version of the question got closed, examples should ...

**23**

votes

**3**answers

2k views

### Nearly all math classes are lecture+problem set based; this seems particularly true at the graduate level. What are some concrete examples of techniques other than the “standard math class” used at the *Graduate* level?

In the fall, I am teaching one undergraduate and one graduate course, and in planning these courses I have been thinking about alternatives to the "standard math class". I have found it much easier ...

**18**

votes

**21**answers

2k views

### What are some examples of mathematicians who had an unconventional education? [duplicate]

Possible Duplicate:
Famous mathematicians with background in arts/humanities/law etc
What are some examples of mathematicians who had an unconventional education and yet, went on to make an ...

**7**

votes

**5**answers

910 views

### Mathematics for ebook readers

Project Gutenberg has a mathematics section, and they prepare their more recent publications in a format that works very well on an ebook reader of moderate size: they generate PDFs in a size of ...

**39**

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

**64**

votes

**24**answers

7k views

### Modern Mathematical Achievements Accessible to Undergraduates

While there is tremendous progress happening in mathematics, most of it is just accessible to specialists. In many cases, the proofs of great results are both long and use difficult techniques. Even ...

**15**

votes

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

**13**

votes

**0**answers

435 views

### What are some examples of weak ω-categories?

As is usual, let's say an (n, k)-category is something with
objects, morphisms, 2-morphisms, ..., n-morphisms, such that all
j-morphisms for j > k are invertible, everything meant in the
weak sense. ...

**2**

votes

**2**answers

265 views

### Stronger theorem not resulting from proof analysis

Suppose that we proved $\varphi$ from a theory $T$. Often we ask whether or not we could have proved $\varphi$ with a weaker theory, to find out we usually analyze the proof and try to figure out ...

**28**

votes

**13**answers

2k views

### Great mathematics books by pre-modern authors

Last summer, I read Euclid's Elements, and it was an eye-opening experience; I had assumed that three thousand years' difference would make the notation incomprehensible and the reasoning alien, but ...

**7**

votes

**7**answers

1k views

### Gelfand representation and functional calculus applications beyond Functional Analysis

I think it is fair to say that the fields of Operator Algebras, Operator Theory, and Banach Algebras rely on Gelfand representation and functional calculus in a crucial way.
I am curious about ...

**28**

votes

**33**answers

5k views

### Fixed point theorems

It is surprising that fixed point theorems (FPTs) appear in so many different contexts throughout Mathematics: Applying Kakutani's FPT earned Nash a Nobel prize; I am aware of some uses in logic; and ...

**4**

votes

**2**answers

1k views

### List of Charlatans in Mathematics [closed]

Recently, while looking for articles and documents to learn about the Riemann Hyopthesis, I came across a strange funny document of a chinese "mathematician" called Jiang Chun-Xuang who claimed to ...

**10**

votes

**3**answers

3k views

### Two questions about combinatorics journals

Hello,
I have two questions regarding combinatorics journals. I hope that this is the right place for such questions.
Which combinatorics/DM journals would you consider as the "top tier"?
I tried ...

**9**

votes

**4**answers

1k views

### Role of applications in modern mathematics [closed]

Older days scientists were universalists and philosophy, physics and mathematics were a part the same question - understanding the world.
Nowadays one may get feeling that the role of applications ...

**9**

votes

**4**answers

727 views

### Connections between topos theory and topology

What are some "applications to" / "connections with" topology that one could hope to reasonably cover in a first course on topos theory (for master students)? I have an idea of what parts of the ...

**0**

votes

**1**answer

353 views

### Applications of the natural bilinear forms on the direct sum between a vector space and its dual

As is known, the vector space $V\oplus V^\ast$ admits the natural symmetric and skew-symmetric bilinear forms
$$\langle X+\xi,Y+\eta\rangle|_\pm:=\frac 1 2 (\xi(Y) \pm \eta(X)).$$
I am interested in ...

**15**

votes

**3**answers

1k views

### Research level applications of “row rank = column rank”?

No less an authority than Gilbert Strang frames "row rank equals column rank" (and a couple of other facts) as "The Fundamental Theorem of Linear Algebra."
I'd simply like to assemble (for teaching ...

**8**

votes

**0**answers

1k views

### “Must read ”papers on analytic number theory

Question: What would be some must-read
papers for an aspiring analytic number
theorist? In other words, what are the papers that any analytic number theorist would have read? (Background: ...

**4**

votes

**1**answer

281 views

### Repertory of the different sorts of operads

Many different types of operads have emerged in recent years (symmetric, shuffle, cyclic, anticyclic, coloured, etc.).
I would like, for any of these, list the following data:
Description of the ...

**50**

votes

**5**answers

2k views

### Math Annotate Platform?

Suppose most mathematical research papers were freely accessible online.
Suppose a well-organized platform existed where responsible users could write comments on any paper (linking to its doi, ...

**6**

votes

**3**answers

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

**11**

votes

**2**answers

905 views

### Using schemes to prove things about rings

I apologize for asking a big list question, I've tried to avoid doing so for a while. I'll give my justification in a moment.
The question is as follows:
What are examples of strict applications ...

**39**

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

**6**

votes

**3**answers

1k views

### group of diffeomorphisms of a manifold

How much has been the group of diffeomorphisms of a manifold " been studied.
I got this information from wiki.
" Quite a lot is known about the group of diffeomorphisms of the circle. Its Lie algebra ...

**19**

votes

**8**answers

2k views

### How many proofs that $\pi_n(S^n)=\mathbb{Z}$ are there?

Offhand I can think of two ways in classical homotopy theory:
Show that $\pi_k(S^n)=0$ for $k\lt n$ by deforming a map $S^k\to S^n$ to be non-surjective, then contracting it away from a point not in ...

**1**

vote

**0**answers

308 views

### applications of gauss-bonnet theorem

In wikipedia,I was pretty amazed to find a proof of fundamental theorem of algebra
using gauss bonnet theorem.I think given how central it is to mathematics with its far reaching generalizations like ...

**37**

votes

**32**answers

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