**-3**

votes

**0**answers

115 views

### A question about Category Theory [on hold]

The Review of Symbolic Logic for June 2015 contains an article by Michael Ernst, in which it is proved that Unlimited Category Theory (as defined by S. Feferman) is inconsistent. This seems to me to ...

**41**

votes

**27**answers

13k views

### A Book You Would Like to Write

Writing a book from the beginning to the end is (so I heard) a very hard process. Planning a book is easier. This question is dual in a sense to the question "Books you would like to read (if somebody ...

**4**

votes

**5**answers

5k views

### Beginners text on calculus of variations

I want to begin learning Calculus of Variations. What texts would MathOverflow recommend? Amazon shows up quite a few options:
http://tinyurl.com/36koaq4
I work on Machine Learning, and that where ...

**52**

votes

**15**answers

7k views

### Contest problems with connections to deeper mathematics

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

**-3**

votes

**1**answer

103 views

### Encyclopedia of Mathematics?(non-Alphabetical) [on hold]

Do you know any Encyclopedia of Mathematics which is in non-alphabetical order, like it starts from basic mathematics and then goes up to very advanced level.
And what's the difference between say, ...

**10**

votes

**1**answer

217 views

### Finding combinatorial models / statistics

In many cases in combinatorics and especially algebraic combinatorics with some representation theory, the main problem is about finding the correct statistic on a mathematical object.
For example, ...

**27**

votes

**5**answers

1k views

### Why should we care about “higher infinities” outside of set theory?

Let's say you are a prospective mathematician with some addled ideas about cardinality.
If you assumed that the natural numbers were finite, you'd quickly vanish in a puff of logic. :)
If you ...

**12**

votes

**0**answers

205 views

### Research situation in the field of Information Geometry

I am now doing an article survey on the field of information geometry started by S.Amari and Barndorff-Nielson. I want to know some research situation in this field.
I have read (4) and parts of (3). ...

**137**

votes

**67**answers

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

**64**

votes

**16**answers

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

**22**

votes

**5**answers

1k views

### Errata database?

Some authors do a really great job by collecting errors and comments to their books and putting a list on their websites. I wonder if there is some (perhaps wiki-style) website where errata are ...

**14**

votes

**8**answers

51k views

### The factorial of -1, -2, -3, …

Well, n! is for integer n < 0 not defined -- as yet.
So the question is: How could a sensible generalization of the factorial for negative integers look like?
Clearly a good generalization should ...

**1**

vote

**1**answer

318 views

### Soft Question: Relationships Between Moduli Space and Objects They Parametrize

Apologies in advance if this question is not suitable for MO. My friend and I were wondering recently what, if any, are the relationships between the geometric properties of a moduli space and the ...

**128**

votes

**72**answers

22k views

### Your favorite surprising connections in Mathematics

There are certain things in mathematics that have caused me a pleasant surprise -- when some part of mathematics is brought to bear in a fundamental way on another, where the connection between the ...

**2**

votes

**0**answers

40 views

### Can Mumford-Shah functional be adapted to lower $L^1$ space?

The well know Mumford-Shah functional functional
$$
F(u)=\int_\Omega|\nabla u|^2+\mathcal H^{N-1}(S_u) \tag 1
$$
where $u\in SBV(\Omega)$ and $\nabla u$ is the absolutely continuous part of ...

**224**

votes

**72**answers

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

**110**

votes

**56**answers

23k views

### What are your favorite instructional counterexamples?

Related: question #879, Most interesting mathematics mistake. But the intent of this question is more pedagogical.
In many branches of mathematics, it seems to me that a good counterexample can be ...

**114**

votes

**26**answers

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

**92**

votes

**25**answers

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

**4**

votes

**2**answers

272 views

### Categories of finite objects

In my experience, category theory is very successful at providing powerful machinery to reason about large objects or objects unrestricted in size, for example (logical) models (via accessible ...

**0**

votes

**1**answer

82 views

### Is there relation between vector valued RKHS and interpolation space?

Vector valued RKHS which is covered extensively in the book "Pick Interpolation and Hilbert function spaces" . In a different context interpolation space is defined in the wikipedia link: ...

**1**

vote

**0**answers

84 views

### Importance and intuition of global sections in sheaf cohomology

I am trying to understand why global sections of a sheaf are "important" or interesting objects of study. Perhaps I have too weak of a background to appreciate it (and that is certainly an acceptable ...

**10**

votes

**1**answer

282 views

### Listing ORCiD in LaTeX papers

The ORCiD unique author identifier, run by a non-profit organisation, has been around for a number of years now. Its stated goal is to become a de facto standard for uniquely identifying authors, even ...

**94**

votes

**51**answers

47k views

### Interesting mathematical documentaries

I am looking for mathematical documentaries, both technical and non-technical. They should be "interesting" in that they present either actual mathematics, mathematicians or history of mathematics. I ...

**20**

votes

**25**answers

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

**2**

votes

**0**answers

55 views

### Families of trigonal curves with hyperelliptic limit

Suppose I have a family of trigonal curves $C\to D$ over a closed disk $D$ where the central fiber $C_0$ is hyperelliptic (this is of course possible since the hyperelliptic locus is in the closure of ...

**12**

votes

**7**answers

10k views

### A symbol to denote the set of prime numbers ?

It strikes me that there is no widely accepted symbol to denote the set of usual prime numbers in $\mathbb{N}$.
Look:
$$\zeta(s)=\prod_{p\in \mathrm{?}}\frac{1}{(1-p^{-s})}$$
Wouldn't it be nicer ...

**1**

vote

**0**answers

74 views

### Can we have extension of Mercer theorem to interpolation? [closed]

This question is related to Mercer theorem, Reproducible kernel Hilbert space(RKHS) and interpolation. The wikipedia links are https://en.wikipedia.org/wiki/Mercer%27s_theorem and ...

**48**

votes

**5**answers

5k views

### Why higher category theory?

This is a soft question.
I am an undergrad and is currently seriously considering the field of math I am going into in grad school. (perhaps a little bit late, but it's better late then never.) I ...

**62**

votes

**14**answers

6k views

### How to write popular mathematics well?

Recently, some classmates and I were lamenting the fact that our classmates in other disciplines had almost no conception of what we did, despite the large mathematics population at Waterloo. Instead ...

**2**

votes

**1**answer

72 views

### Is there any parameter space of Cramér–Rao_bound

It is known that Cramér–Rao_bound is the lower bound of variance of a parameter. A useful link is https://en.wikipedia.org/wiki/Cram%C3%A9r%E2%80%93Rao_bound There is also a term called ...

**91**

votes

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

**40**

votes

**24**answers

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

**1**

vote

**2**answers

319 views

### Quadratic variation for discrete Martingale

Is there any analogue of continuous martingale quadratic variation for the discrete case? If so, are there any theorems which characterize simple random walk using quadratic variation - similar to ...

**5**

votes

**1**answer

317 views

### soft: Reference/ Suggested Read: Homological Algebraic techniques in PDEs

I was reading this article on wikipiedia and was interested by the apparent link between Homological Algebra and PDEs. What is an accessible reference which showcases the link between these topics? ...

**84**

votes

**53**answers

15k views

### Counterexamples in Algebra?

This is certainly related to "What are your favorite instructional counterexamples?", but I thought I would ask a more focused question. We've all seen Counterexamples in Analysis and Counterexamples ...

**36**

votes

**23**answers

9k views

### Open source mathematical software

I want some recommendation on which software I should install on my computer. I'm looking for an open source program for general abstract mathematical purposes (as opposed to applied mathematics).
I ...

**2**

votes

**0**answers

202 views

### Why only Normed Linear Spaces? [closed]

It is well known that "Norm on a vector space can be used to obtain a metric on that space."
I think easily we can generalize the notion of norms to groups and rings.
My questions are,
Why ...

**18**

votes

**5**answers

4k views

### number of zeroes in 100 factorial.

I was on math.stackexchange the other day and i found a question that said How many zeroes are there in 100!. I quickly factored it out and said that there where 24 zeroes. However thats only the ...

**60**

votes

**32**answers

10k views

### What notions are used but not clearly defined in modern mathematics?

"Everyone knows what a curve is, until he has studied enough mathematics to become confused through the countless number of possible exceptions."
Felix Klein
What notions are used but not ...

**10**

votes

**0**answers

398 views

### Which journals publish applied mathematics with mostly pure mathematics content?

In the spirit of Which journals publish expository work? please advise:
What consistently high quality journals$^1$ today publish results that would otherwise go to a pure mathematics journal if ...

**0**

votes

**0**answers

28 views

### Characterization of complete lattices with join-incomplete lattice endomorphisms

Let $L$ be an complete lattice. A lattice homomorphism $f: L\to L$ is said to be join-incomplete if there is an infinite set $S \subseteq L$ such that $f(\bigvee_L S) > \bigvee_L f(S).$
How can ...

**32**

votes

**2**answers

940 views

### When to postpone a proof?

One possible practice in writing mathematics is to prove every theorem and lemma right after stating it.
A long, technical proof — and sometimes even a short one — can interrupt the flow ...

**11**

votes

**1**answer

330 views

### What's the role of $H^{p}(\mathbb{R}^{n})$ in modern (harmonic) analysis?

The classical theory of $H^p$,due to it's heavy dependence on the complex function theory(such as Blaschke products), seemed to have an insurmountable obstacle barrying its extension to several ...

**29**

votes

**15**answers

1k views

### Discovering and selecting conferences

Last summer, there were several excellent summer schools in my field that I learned of only after the application date. The events I did attend were chosen without too much care. I'm planning for the ...

**21**

votes

**3**answers

786 views

### What technical and/or theoretical challenges are involved in automatically extracting proofs from books and papers into Coq code?

Over the years, advances in machine learning has allowed us to communicate and interact, using the same natural language, more and more semantically with computers, e.g. Google, Siri, Watson, etc. On ...

**22**

votes

**7**answers

6k views

### Changing Careers: Becoming a Professional Mathematician

First, I apologize if this question is too soft or doesn't comport precisely with what is considered a good question, but I know of no other place to ask it.
A little background: I obtained an ...

**0**

votes

**0**answers

119 views

### Newer list of open problems in model theory

In the book Model Theory by C. C. Chang and H. J. Keisler, there is a list of open problems in model theory. More exactly, this list is called "Open problems in classical model theory" (on page 597, ...

**12**

votes

**1**answer

441 views

### Which nice/deep elaborations on the (operators <-> sheaves) / (endomorphisms <-> objects) theme are there?

A linear operator $T:V\to V$ on a (say) vector space over a field $k$ is just a $k[T]$-module, and may be viewed as the sheaf $\mathscr F_T$ over $\mathbb A^1_k$, with fibre over $\lambda\in k$ equal ...

**29**

votes

**8**answers

3k views

### Should one attack hard problems? [closed]

When I applied for a PhD student position I had an interview with two professors. Somehow we touched the problem if $P$ is $NP$ and, once we got there, for some reason both professors made it clear ...