**4**

votes

**1**answer

155 views

### Countable model theory for $\omega$-stable theories?

This is a bit of a fishing expedition, because I'm not sure what I'm looking for. Very vaguely stated, here's the driving question:
What conditions on an $\omega$-stable theory make the class of ...

**3**

votes

**4**answers

272 views

### Which fields could be applied to neurosciences?

I have a friend who wants to study something applied to neurosciences. He is going to begin his grad studies in mathematics.
He asked me which areas of mathematics could be applied to neurosciences.
...

**11**

votes

**3**answers

2k views

### Reading Papers in a Language you don't Speak

First, I apologize if I'm posting this to the wrong place, but it seems correct.
My adviser sent me the SGA text of Grothendieck which is in French. Though I can piece together parts of the text, I'm ...

**8**

votes

**0**answers

152 views

### Literature that helps explain what the theory of numerosities contributes with

Since 2003 a group of Italian mathematicians (Benci, Di Nasso and Forti) has developed a new measure for infinite sets that satisfies the Euclidian principle: The whole is greater than the part. The ...

**3**

votes

**0**answers

64 views

### Almost everywhere in a rectangle [duplicate]

I would like to ask a question about the product (Lebesgue) measure on rectangle. I tried to solve the problem but I couldn't.
Let $S$ be a subset of a region, say $R$ which is enclosed by a ...

**80**

votes

**16**answers

7k views

### How does one justify funding for mathematics research?

G. H. Hardy's A Mathematician's Apology provides an answer as to why one would do mathematics, but I'm unable to find an answer as to why mathematics deserves public funding. Mathematics can be ...

**37**

votes

**8**answers

3k views

### What recent programmes to alter highly-entrenched mathematical terminology have succeeded, and under what conditions do they tend to succeed or fail?

I think we all occasionally come across terminology that we'd like to see supplanted (e.g. by something more systematic). What I'd like to know is, under what circumstances is it reasonable to believe ...

**6**

votes

**1**answer

389 views

### Differences in philosophy between Lie Groups and Differential Galois Theory

As far as I have heard,Sophus Lie's aim was to construct an analogue of galois theory for differential galois theory. I am familiar with lie group but not with differential galois theory. What is the ...

**31**

votes

**2**answers

1k views

### Do's and don'ts of writing survey papers

I am not sure if this is the appropriate forum to ask as it is not directly related to a research level (math) problem, but I figured it was worth a try. I recently attended a conference and felt that ...

**4**

votes

**0**answers

176 views

### Why is the density function of a sum of many iid random variables (i.e., the Gaussian) self-dual?

In the usual proof of the central limit theorem via characteristic functions, we note that if $X_1, \dots, X_n$ are independent and identically distributed, with probability density function $f(x)$, ...

**20**

votes

**0**answers

468 views

### Good ways to organize old personal mathematical resources

I am wondering how the other Mathematicians organize their old mathematical resources, like calculation drafts, class and seminar notes etc.
These old resources may be related to a wide range of ...

**28**

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

**1**answer

218 views

### What do Hilbert and Bernays mean when they say “finitist number theory”? [closed]

Perhaps it is not a fair question to be addressed here. Anyway, when I read that Hilbert and Bernays develop finitist number theory. What does "finitist number theory" mean here?

**6**

votes

**5**answers

2k views

### Optical methods for number theory?

I found a paper: 'A New Method of Finding the Distribution of Prime Number', saying
We stack discs and annuluses with certain rules then turn on the light to illuminate. The projection of ...

**27**

votes

**9**answers

4k views

### Why differential forms are important?

Importance of differential forms is obvious to any geometer and some analysts dealing with manifolds, partly because so many results in modern geometry and related areas cannot even be formulated ...

**6**

votes

**2**answers

319 views

### Are there any organized websites for seminar/conference videos?

These days, there are many conference centers and universities recording seminars and conference talks and make them available on the web. Some examples:
http://www.fields.utoronto.ca/video-archive
...

**91**

votes

**9**answers

5k views

### What non-categorical applications are there of homotopical algebra?

(To be honest, I actually mean something more general than 'homotopical algebra' - topos theory, $\infty$-categories, operads, anything that sounds like its natural home would be on the nLab.)
More ...

**3**

votes

**0**answers

75 views

### Choice of MIP (mixed integer programming) solver

I would start using MIP solver for the research on the tiling.
I know (heard of) the open source solver jump:
https://github.com/JuliaOpt/JuMP.jl
and also the gold standard solver from IBM cplex.
...

**75**

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

**10**

votes

**1**answer

342 views

### Sources to find industrial jobs for mathematicians with a Ph.D., or with advanced backgrounds? (preferably research positions but not necessarily)

Several companies (google, IBM etc.) are known to hire mathematicians with advanced degrees (Ph.D. and so) to work in different sectors; I mean mostly research oriented positions in industry but could ...

**0**

votes

**2**answers

421 views

### Guidelines for writing proofs in math papers [closed]

In the light of the recent "proof wars" in symplectic geometry (in which some groups contend that proofs given by some other groups are wrong, see here, here and here) I thought it would be good to ...

**5**

votes

**2**answers

848 views

### Why can't mathematics be formalised in terms of classes rather than sets? [closed]

I've always been curious about the seeming compulsion to found mathematics upon sets, be it ZF(C) or some other system. Of course, there are other approaches these days like category theory and type ...

**8**

votes

**3**answers

624 views

### Correct spelling of names, Chebychev and Cholesky [closed]

I'm writing a paper on orthogonal polynomials and I have to cite results by Chebychev and Cholesky. I found several and different translitterations from Russian. I wonder if there is a standard and ...

**14**

votes

**8**answers

1k views

### Should a theorem be numbered by where it is first stated or where it is proven?

Suppose I am writing a paper in which an important lemma has a proof which is either long and unenlightening or requires additional background of the reader (or both). Thus, to avoid disrupting the ...

**20**

votes

**4**answers

760 views

### Which journals allow authors to retain copyright…?

I became motivated to ask this question after seeing the inspiring "© The Author(s) 2013 " in the header of this very interesting article, published in Compositio Mathematica.
Apart from open access ...

**11**

votes

**4**answers

1k views

### Does formalizing math require search and creativity, or is it near-mechanical?

I remember reading somewhere that it takes about a week to convert a page of math into something a proof-assistant like Isabelle or HOL Light would accept.
Is this type of conversion something that ...

**4**

votes

**1**answer

625 views

### What is the critical idea behind Hardy-Littlewood circle method?

I want to know what the critical idea behind Hardy-Littlewood circle method is. It seems that they divide the circle into major arcs and minor arcs to ignore the singularities of generating function ...

**5**

votes

**1**answer

253 views

### Where can I find resources for creating a mathematics “bridge course”?

My department is in the very early stages of developing a "bridge course" or "introduction to proofs" course, motivated by our lower-level courses not currently doing a good job of preparing our ...

**0**

votes

**1**answer

196 views

### Choosing Notation for Variable Substitution into Derivative Expressed with Differentials [closed]

Consider function $f(x)$. I've counted 4 possible notations to write a derivative of $f(x)$ at point $x = a$:
$f'(a)$;
$\frac{\operatorname{d}{f(a)}}{\operatorname{d}x}$;
...

**8**

votes

**3**answers

290 views

### Punctuation and Other Rules for Variables and Their Verbal Definitions in Math Narrative [closed]

To better understand what I'm asking about, let's immediately define some examples. Imagine that you are writing some paper which involves a lot of math narrative. And you have a term, say, computing ...

**6**

votes

**1**answer

806 views

### Is there a “big program” in mathematics at the moment? [closed]

I apologize in the event that you should find this question off topic. Please feel free to delete it if that is the case.
Years ago, I studied undergrad mathematics at university. The understanding ...

**0**

votes

**0**answers

115 views

### Why “Fourier”-Mukai? [duplicate]

The Fourier-Mukai functor is one of the most important tools to work with in the derived category. While it is clear why the name of S.Mukai appears there,
why does Joseph Fourier appear in the name ...

**11**

votes

**8**answers

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

**6**

votes

**4**answers

2k views

### 'Category-theory'-free areas of pure math, 'category-theory'-loaded areas of applied math

To put it short: In which active research areas of (pure) mathematics no (or only minimal) knowledge in category theory is required ?
To put it long: I know almost nothing about category theory - but ...

**1**

vote

**2**answers

265 views

### when will the surfficient large power of a rational matrix be a integer matrix?

$A$ is a $n\times n$ matrix whose elements are all non-negative rational numbers and $Det(A)$ is a non-zero integer.Under what condition the following is true?(0) There exist a positive integer $M$ ...

**18**

votes

**1**answer

1k views

### Is two years without a referee report normal?

Firstly, the help page for Mathoverflow does not forbid asking such a question. Secondly I found a similar question on Mathoverflow and thirdly as far as I know, waiting for two years for a referee ...

**6**

votes

**3**answers

906 views

### How to publish two interdependent papers

I have two finished articles (each about 25 pages long) but the second one uses results from the first one, none of which has been published yet. I would like to send them to some standard journal for ...

**2**

votes

**0**answers

122 views

### characterization of all periodic tiling of a simple set of Wang Tile

Consider a set of Wang Tile such that all the edges are either 1 or 0.... there are 16 elements in such a set.
Now, I wish to characterize all the periodic tilings of this set (better if they are ...

**0**

votes

**0**answers

225 views

### Applied Math author order

In applied math it seems to be more common to list authors according to their contribution rather than alphabetically. This being the case, in the instance where there are more than 2 authors, I was ...

**0**

votes

**0**answers

126 views

### Basis of periodic tiling of Wang tile

Given a set of Wang tile,
Given 3 periodic tiling: A, B, C
We define 3 vector F[A], F[B], F[C]
each vector correspond to the appearing frequency of each type of tiles in the tiling.
Now, we ...

**1**

vote

**1**answer

91 views

### simple cycle analog in 2D (with application in tiling)

We know that any closed cycle of a graph could be decomposed into sum of simple cycles. To translate this theorem into tiling of 1D (Wang tile). We know that any 1D periodic tiling could be ...

**5**

votes

**3**answers

732 views

### Why isn't there more interest in “large powerset axioms”?

By a large powerset axiom, let us mean informally an axiom that says that for some cardinal numbers $\kappa$, we have that $2^\kappa$ is somehow "large" or "difficult to access from below." For ...

**51**

votes

**8**answers

4k views

### Have you solved problems in your sleep? [closed]

I have hit upon major (for me—relative to my trivial accomplishments)
insights in my research
in various sleep-deprived altered states of consciousness,
e.g., long solo car-drives extending ...

**4**

votes

**0**answers

156 views

### Stable homotopy of spheres non-locally

Are there any results/conjectures about the stable homotopy groups of spheres that relate the picture at different primes? Something like Gauss's reciprocity law in number theory?
I know about the ...

**7**

votes

**5**answers

1k views

### Advice on choosing an area of specialization

I'm not sure if this is an appropriate question for MO, but I figured it couldn't hurt to ask. I'm a second year graduate student, currently gearing up to construct a committee and syllabus for my ...

**2**

votes

**2**answers

465 views

### Have axioms / axiom schemata of this flavour been proposed or otherwise considered?

With the exception of a few miscellaneous cases, the axioms (and/or schemeta) of ZFC can roughly be divided into two kinds:
Those that guarantee the existence of more complicated sets, given that ...

**1**

vote

**0**answers

222 views

### Recreating the wheel [closed]

I recently finished my Phd in pure maths and I am looking for open problems in my research area, functional analysis. Without going into the details, I stumbled onto an interesting problem and I ...

**4**

votes

**1**answer

152 views

### What is the early history of the concepts of probabilistic independence and conditional probability/expectation?

In the 1738 second edition of The Doctrine of Chances, de Moivre writes,
Two Events are independent, when they have no connexion one with the other, and that the happening of one neither forwards ...

**6**

votes

**4**answers

1k views

### Advice for number theory library

Hi I just got a faculty position and it comes with a generous start up funds for "office supplies", which I must use or lose. What does a pure mathematician need? I have good computers already. I ...

**2**

votes

**2**answers

351 views

### Beautiful constructions in algebraic topology that facilitate one's understanding of homotopy theory [closed]

There is an army of interesting constructions in AT, and Understanding them are usually very helpful for appreciate the theory underneath. So I would like to invite you to share those examples that ...