The gm.general-mathematics tag has no usage guidance.

**60**

votes

**9**answers

6k views

### Have you solved problems in your sleep?

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

**12**

votes

**2**answers

974 views

### Anything special (historical?) about surface $x\cdot y\cdot z\ +\ x+y+z=0$?

QUESTION
I wanted to introduce and develop the complex logarithm from scratch. As the result I've arrived a couple of months ago at the following identity after which the road to complex logarithm is ...

**-1**

votes

**1**answer

51 views

### Idempotent solutions to the implict function theorem other than the identity?

I am interested in the following problem. Assume that an (anti)symmetric function $g:\mathbb{R}^2 \to \mathbb{R}$ satisfies the implicit function theorem. That is, $g(x,y) = \pm g(y,x)$ and $g(x,y)=0$ ...

**2**

votes

**2**answers

342 views

### A logarithmic cotangent inequality

I must be a terrible googling searcher but I cannot find a reference to the following inequality:
$$ \forall_{\phi\in(0;\frac \pi 4)}\ \ln(\cot(\phi)))\, <\, \cot(2\!\cdot\!\phi) $$
I have just ...

**14**

votes

**12**answers

3k views

### Why semigroups could be important?

There is known a lot about the use of groups -- they just really appear a lot, and appear naturally. Is there any known nice use of semigroups in Maths to sort of prove they are indeed important in ...

**59**

votes

**15**answers

6k views

### Sophisticated treatments of topics in school mathematics

Sophisticated mathematical concepts typically shed light on sophisticated mathematics. But in a few cases they also apply to elementary mathematics in an interesting way. I find such examples ...

**2**

votes

**1**answer

118 views

### Conic sections in high dimensions

Can every $n$-dimensional ellipsoid be obtained as a (spherical) conic section?
This is false for generic quadrics but seems true for ellipsoid.
Does anybody have any references?

**16**

votes

**36**answers

3k views

### Basic results with three or more hypotheses

Consider the following statement of the Arzela-Ascoli theorem.
Theorem. Let K be a compact topological space and let S be a subset of C(K). Then S is relatively compact if and only if S is uniformly ...

**15**

votes

**7**answers

2k views

### Is this a rational function?

Is $$\sum_{n=1}^{\infty} \frac{z^n}{2^n-1} \in \mathbb{C}(z)\ ?$$
In a slightly different vein, given a sequence of real numbers $\{a_n\}_{n=0}^\infty$, what are some necessary and sufficient ...

**32**

votes

**4**answers

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

**141**

votes

**37**answers

24k views

### Demonstrating that rigour is important

Any pure mathematician will from time to time discuss, or think about, the question of why we care about proofs, or to put the question in a more precise form, why we seem to be so much happier with ...

**114**

votes

**16**answers

15k views

### When should a supervisor be a co-author?

What are people's views on this? To be specific: suppose a PhD student has produced a piece of original mathematical research. Suppose that student's supervisor suggested the problem, and gave a few ...

**40**

votes

**9**answers

6k views

### How does a mathematician choose on which problem to work?

Main question:
How does a mathematician choose on which problem to work?
An example approach to framing one's answer:
What is a mathematical problem - big or small - that you solved or are ...

**91**

votes

**94**answers

12k views

### What would you want to see at the Museum of Mathematics?

EDIT (30 Nov 2012): MoMath is opening in a couple of weeks, so this seems like it might be a good time for any last-minute additions to this question before I vote to close my own question as "no ...

**1**

vote

**1**answer

72 views

### Discrete summation of Gaussian functions. Decay time problem

I am facing the following problem. I have a function which is defined through a discrete sum of Gaussians
$$F_M(t) = 2\sum\limits_{n=1}^{M}e^{-t^2 \sigma^2 n^2}\times \sum\limits_{k=n}^{M}p_k p_{k-n} ...

**21**

votes

**2**answers

1k views

### What might extraterrestrial mathematics look like? [closed]

In an extensive anthropological joint research project concerning the necessities in the development of life and civilisation my group is concerned with mathematics. This forum seems to be extremely ...

**47**

votes

**7**answers

4k views

### Has anyone thought about creating a formal proof wiki with verifier?

Mathematics has undergone some rather nice developments recently with the adoption of new techologies, things like on-line journals, the arXiv, this website, etc. I imagine there must be many further ...

**16**

votes

**4**answers

900 views

### What is the term for combining functions $f_1,f_2,\dots,f_n$ into a tuple $(f_1,\dots,f_n)$?

This is an embarrassingly simple question, but I was not able to find a definitive answer from literature search.
Suppose one has some collection of functions $f_1: X \to Y_1, \dots, f_n: X \to Y_n$ ...

**32**

votes

**9**answers

4k views

### Dimensional Analysis in Mathematics

Is there a sensible and useful definition of units in mathematics? In other words, is there a theory of dimensional analysis for mathematics?
In physics, an extremely useful tool is the Buckingham Pi ...

**8**

votes

**1**answer

257 views

### Geometric meaning of unimodular matrix

Rotations are given by unitary matrices.
What is the geometric meaning of unimodular matrices that are not unitary?

**2**

votes

**0**answers

44 views

### Find Moment condition for generalized method of moments

Consider a scalar system with 2K outputs and K+2 unknowns
$y_{k,1}=x_ka_1+n_{k,1} \quad y_{k,2}=x_ka_2+n_{k,1}$.
The variables $n_{k,\ell}$ are zero mean noise variables.
To estimate $a_1$ and $a_2$, ...

**6**

votes

**1**answer

739 views

### Windows into new mathematical worlds [closed]

Yitang Zhang's Annals of Mathematics primes-gap result
opened a new window, which
Polymath's reduction from $70\times 10^6$ to $246$ attests.
Perhaps
Harald Helfgott's
celebrated proof of the odd ...

**5**

votes

**1**answer

125 views

### Solution to $(A+x^2)e^x=B$ with Lambert W function

Is it possible to obtain a analytical solution for $(A+x^2)e^x=B$, where we want to solve for $x$ with $A,B$ as constants?

**2**

votes

**1**answer

478 views

### What is the rate of convergence? [closed]

How quickly does the series defined by $$x_0 = 0, \ x_{n+1} = \frac{x_n^2+1}{2}$$ converge to $1$?

**4**

votes

**2**answers

185 views

### Find the expansion of the exact solution (beyond Taylor)

In a paper by Kitagawa & Ueda Squeezed spin states they give an argument that the minimum variance in one-axis twisting Hamiltonian scales like $V_{min} \propto S^{-2/3}$. I will shortly describe ...

**28**

votes

**2**answers

898 views

### Applications of Lawvere's fixed point theorem

Lawvere's fixed point theorem states that in a cartesian closed category, if there is a morphism $A \to X^A$ which is point-surjective (meaning that $\hom(1,A) \to \hom(1,X^A)$ is surjective), then ...

**17**

votes

**1**answer

2k views

### Why do people use “formal calculation” to describe informal calculations?

Many times, I see the word formal being used to describe a calculation that is not rigorous. I would think that such calculations should rather be termed informal than formal. What is the explanation ...

**1**

vote

**0**answers

121 views

### General procedure to find the determinant of an operator?

I want to learn to find the determinant of an operator.
I am given an operator like
$\Sigma _{\alpha\beta}=-k^2g_{\alpha\beta}+i\theta\epsilon_{\alpha\beta\gamma} k^\gamma$
$k^2=k^μk_μ$, $g^{αβ}$ ...

**18**

votes

**3**answers

1k views

### Which way for reading the proofs?

I am a master student in mathematics. For me a large part of doing mathematics is thinking about, reading and verifying the proof of theorems that I find them in my field of study. I can do this ...

**2**

votes

**6**answers

3k views

### Proofs by induction [closed]

Background
I'm interested in the issue of "explanatory" mathematical proofs and would like to try to find out what intuitions mathematicians have about induction, because there seems to be some ...

**25**

votes

**5**answers

2k views

### Collaboration or acknowledgment?

This post is a sequel of: When should a supervisor be a co-author?
This time the topic is about the interaction between two professional mathematicians (in particular junior-senior, but not ...

**15**

votes

**2**answers

1k views

### What are the applications of operator algebras to other areas?

Question: What are the applications of operator algebras to other areas?
More precisely, I would like to know the results in mathematical areas outside of operator algebras which were proved by ...

**90**

votes

**20**answers

12k views

### Mathematical habits of thought and action which would be of use to non-mathematicians

Once again I come to MO for help with something I'm writing for the public.
Which habits of mathematicians -- aspects of the way we approach problems, the way we argue, the way we function as a ...

**40**

votes

**8**answers

3k views

### Published results: when to take them for granted?

Two kinds of papers. There are two kinds of papers: self-contained ones, and those relying on published results (which I believe are the vast majority).
Checking the result. Of course, one should ...

**9**

votes

**11**answers

3k views

### What advanced Area of Mathematics can be delved into with only basic Calculus and Linear Algebra

Hello Mathoverflow Community,
I would really appreciate some advice on this:
All I know is Basic Calculus and Basic Linear Algebra,
I want to start learning more advanced material on my own while ...

**63**

votes

**6**answers

2k views

### Good ways to engage in mathematics outreach?

Greetings all, I have often heard that it would be good if we as a community did more in the way of mathematics outreach: more to explain what it is we do to the community at large, more to expose ...

**22**

votes

**5**answers

3k views

### Where do surreal numbers come from and what do they mean?

I know about Conway's original discovery of the surreal numbers by way of games,
as well as Kruskal's way of viewing surreal numbers in terms of asymptotic behavior
of real-valued functions, leading ...

**3**

votes

**1**answer

800 views

### Mathematics of Computer science and AI [closed]

Computer science and Artificial Intelligence have been fertile grounds for research for decades, not only for Engineers but particularly for Mathematicians. What kinds of Mathematics have emerged ...

**0**

votes

**2**answers

298 views

### link to a paper by Ramanujan

Hi friends,
Does anybody know of a pdf version of the following paper ?
Ramanujan, S. “Modular Equations and Approximations to Pi.” Quart. J. Pure Appl. Math. 45, 350-372, 1913-1914.
It's ...

**2**

votes

**2**answers

633 views

### Popular books written by great mathematicians [closed]

I read:
H. Poincare. Value of science
F. Klein. Development of Mathematics in the 19th Century
J.E. Littlewood. A Mathematicians Miscellany
G.H. Hardy. A Mathematician’s Apology
R. Courant, ...

**6**

votes

**1**answer

172 views

### Compiling self-referential forms

Fix $1\leq d\in\mathbb{N}$ and set $D:=\{0,1,\ldots,d-1\}$.
Consider the system of equations
\begin{equation}
x_i=c_i + \sum_{j\in D}\delta_{x_j,i}
\end{equation}
with $c_i\in D$ given and $x_i\in D$ ...

**0**

votes

**3**answers

878 views

### Simplifying finite sum over 1/(ax+b)

Can I simplify:
\begin{equation}
\sum_{x=x_0}^{x_1} \frac{1}{ax+b}
\end{equation}

**6**

votes

**2**answers

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

**3**

votes

**1**answer

125 views

### Extension of an involutive automorphism

Suppose that $g$ is a complex semi-simple Lie algebra and $g'$ its reductive subalgebra.
If $\tau$ is an involutive automorphism of $g'$, can $\tau$ be extended to an involutive automorphism of $g$ ...

**46**

votes

**6**answers

5k views

### Does a referee have to check carefully the proof ?

I have always checked very carefully the papers I was refereeing when I wanted to suggest "accept". Actually I spend almost as much time checking the maths of a paper I referee than checking the maths ...

**16**

votes

**5**answers

615 views

### Mathematics of privacy?

I wonder to which extent the current public debate on privacy issues (not only by state sniffing, but e.g. by microtargetting ads too an issue) offers interesting questions in mathematics?
Can we ...

**1**

vote

**1**answer

222 views

### Concept of synchronizability

This thread is about the concept of synchronizability. It's a concept I tried to formalize in its most general sense but without success. The goal of this thread is therefore to try to formalize it in ...

**2**

votes

**2**answers

187 views

### Websites for Math Shopping [closed]

I was wondering if anyone knows about good websites or stores to buy math related products. On etsy there are normal distribution plushes and famous mathematicians in coasters. However when I search ...

**1**

vote

**2**answers

164 views

### iterative solution better than analytic solution? [closed]

My supervisor and I were discussing a specific optimisation problem this afternoon.
To be simple: solve for $R$ in the equation $Rx=y$, where $x$, $y$ are made of samples in two difference ...

**46**

votes

**17**answers

9k views

### Is rigour just a ritual that most mathematicians wish to get rid of if they could?

"No". That was my answer till this afternoon! "Mathematics without proofs isn't really mathematics at all" probably was my longer answer. Yet, I am a mathematics educator who was one of the panelists ...