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

**18**

votes

**3**answers

2k views

### What would remain of current mathematics without axiom of power set? [closed]

The power set of every infinite set is uncountable. An infinite set (as an element of the power set) cannot be defined by writing the infinite sequence of its elements but only by a finite formula. By ...

**-6**

votes

**3**answers

747 views

### Where is the belly button of the Universe? [closed]

It's fine and nice and wonderful when a part of learning mathematics is chaotic, ad hoc, spontaneous, social, ...
However it would be perhaps of fundamental value to know a very central point of ...

**11**

votes

**2**answers

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

**26**

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

**42**

votes

**19**answers

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

**0**

votes

**2**answers

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

**1**

vote

**0**answers

103 views

### Reference needed for: Automatic generation of relevant mathematical exercises (similar to ones written by human) with the help of machine learning

I am doing research on automatic generation of relevant mathematical exercises (similar to ones written by human) with the help of machine learning.
I have found several research papers on ...

**3**

votes

**2**answers

267 views

### Asymptotics of a function

I hope this question is not too simple, but I would like to know the asymptotic behaviour of the following function $f: \mathbb{N}^{+} \rightarrow \mathbb{Q}$ where
$$
f(n) = \sum_{i=1}^{n} ...

**6**

votes

**5**answers

2k views

### What does a mathematician expect from mathematics education? [closed]

Consider that my question is not a personal and/or subjective question. Perhaps, you have hired a mathematics educator in your department and you are interested in finding a way to communicate with ...

**5**

votes

**1**answer

715 views

### Why do mathematicians prefer one definition over the other when they both define the same concept?

Here is a basic, though very important, example:
Hilbert takes as primary the notion of “congruence” (or “equal”) between segments. His first axiom of congruence “requires the possibility of ...

**44**

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

**2**

votes

**3**answers

517 views

### Strong notions of general position

Hi!
I am looking for notions of general position that are stronger than linear general position.
To illustrate, 3 points in linear general position don't lie on a line. I want a notion that would ...

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

**4**answers

1k views

### How to refer to a theorem that you have shown to be wrong

I am writing a paper about a flaw that I found in a published paper. There, the statement is called “Theorem 2”. In my paper, I am reproducing the other paper’s definitions, and steps leading towards ...

**4**

votes

**1**answer

424 views

### Characterise all pairs of n/m stars that have the same inner radius

Geometry, algebra, and examples
Let n and m be integers, with 2 ≤ m < n/2. Consider the bounding polygon of an n/m star (that is, a star with n points each of which connects to the two points ±m ...

**0**

votes

**0**answers

81 views

### Asymptotic inverses of asymptotic functions

The prime number theorem states that two functions are asymptotic. Their inverses (as functions of an integral variable) are also asymptotic. In general, under what conditions are the inverses of ...

**7**

votes

**3**answers

676 views

### Formal writing: numbers under 10

I've been tasked with proofreading an Engineering/Mathematics thesis paper. I was always told that numbers under 10 should be spelled out (one, two, three, ...) but I was wondering if this rule holds ...

**4**

votes

**4**answers

493 views

### Why do we choose the standard total order on the integers?

I understand why the set of natural numbers $\mathbb N = \{ 0, 1, 2, \cdots \}$ is equipped with a total order. Indeed, every monoid has a pre-order, where $$n' \succeq n \quad \mathrm{if~and~only~if} ...

**0**

votes

**1**answer

43 views

### Multivariate expansion in terms of single variate products: what is the name for this?

In some situations we have access to a representation like this:
$ f(x,y) = \sum_i u_i(x) v_i(y) $
What is this called? (I know when you jam this into PDE get to call it 'separation of variables' ...

**12**

votes

**0**answers

350 views

### Which limit to take as a key applied math decision

The Borel-Kolmogorov paradox refers to situations where non-uniqueness in the notion of conditioning on a set of measure zero leads to apparent contradictions. As a formal matter, one requires ...

**20**

votes

**2**answers

1k views

### Center of mass from the abstract point of view, or could the ancient Greeks invent modern analysis?

This is a very open-ended question, which may or may not have a perfect answer, and for which I have a few ideas but nothing like a clear picture. However, I guess it won't hurt to ask to see if ...

**6**

votes

**4**answers

1k views

### On similar concepts in mathematics whose similarity is a non-trivial fact.

Recently, while undertaking a study of commutative algebra, I learned three concepts: (i) a local ring, (ii) a regular local ring and (iii) a regular ring.
At the end, I found myself asking this ...

**2**

votes

**1**answer

386 views

### Integer triangle

Is there a triangle whose vertices, as well as the four classical points, the centroid, the orthocenter, the incenter, and the circumcenter, all have integer coordinates?

**7**

votes

**1**answer

344 views

### Experimental mathematics: how are floating point equations discovered/converted to exact equations?

the 2005 AMS article/survey on experimental mathematics[1] by Bailey/Borwein mentions many remarkable successes in the field including new formulas for $\pi$ that were discovered via the PSLQ ...

**2**

votes

**2**answers

578 views

### Has the notion of “space” been reconsidered in 20th century?

The original title, "has the bases of geometry been reconsidered in 20th century" of this question refers to Riemann's paper "On the Hypotheses which lie at the Bases of Geometry"， an English version ...

**1**

vote

**2**answers

768 views

### What constitutes the division between discrete and non-discrete math? Are there any math subject where it's being blurred? [closed]

I often heard about this division but always in a non-formal manner. What constitutes it? Is it a limit operation? Or a fundamental distinction between countable and uncountable sets? And what math ...

**2**

votes

**1**answer

307 views

### Computer algebra system (CAS) with good re-presenting or transformation support

Such heavy-weight transformations as expanding or factoring are provided by most of CAS-es, but what about light-weight, but a useful transformations, like "reorder some terms to make expression more ...

**6**

votes

**8**answers

2k views

### Beautiful theorems with short proof [closed]

I like to ask for beautiful mathematical theorems with short proof. A proof is short in my sense if it is at most one page assuming basic notations and very basic results a second year student will ...

**1**

vote

**1**answer

258 views

### Distance calculation in metric space

Dear All,
I want to calculate the distance between two sets in which the maximum distance between the sets are minimized. Formally problem defined as,
$\displaystyle \min_{a \in A} \max_{b \in B}$ ...

**3**

votes

**4**answers

820 views

### Another Chicken or Egg: Sequence or Series

This is a side question which is more motivated by teaching than research.
First, I am trying to convince myself that sequences appear before series (as numerical approximations to "interesting" ...

**1**

vote

**0**answers

279 views

### Allocation game optimal strategy

There are two players, Alice and Bob. There is an initial pool of 100 dollars. Alice proposes an allocation of the dollars (real numbers, not necessarily integers), and Bob can either accept or ...

**7**

votes

**0**answers

244 views

### Modelling the difficulty of mental calculation. [closed]

Are you aware of any work that tries to model the difficulty of evaluating a formula mentally (for your average, numerate, person, not a trained mental calculator)?
For instance, evaluating an ...

**1**

vote

**1**answer

483 views

### Quantifiers in function definition — is this legitimate?

I've encountered a working paper in which the author discusses two different notions about the legitimate definition of a certain functional. He expresses these notions using the universal and ...

**3**

votes

**0**answers

118 views

### Reference request: name of a transform

Define a transform on polynomials which is linear and acts on each monomial as $$\widehat{z^k} = \frac{(1+z)(2+z)\ldots(k+z)}{k!}.$$ Does anyone know whether this has a name (and therefore has been ...

**18**

votes

**3**answers

991 views

### Results that are easy to prove with a computer, but hard to prove by hand [closed]

Consider the assertion:
There is no completely multiplicative function $f:\mathbb{N}\rightarrow \{\pm 1\}$ with $\left|\sum_{n\leq x}f(n)\right|\leq 2$ for all $x\geq 0$.
One can write a very short ...

**4**

votes

**0**answers

244 views

### Seminar Notes Repository

On Seminars, people actually talk a lot more about motivations than when they write in paper. It would be a good idea if there is an online repository where people can upload notes (handwritten, ...

**11**

votes

**9**answers

1k views

### math circles video lectures for school children?

Hello,
I am from India. I find the mathoverflow amazing.
I have a question: Are there any good quality video lectures on school math topics?
There are a lot of high quality lectures available on ...

**11**

votes

**4**answers

867 views

### Applications of Zariski topology outside alg. geometry

Are there applications of the Zariski topology in mathematics that are not within the scope of algebraic geometry (including schemes and algebraic groups) ?
There is an older question with a similar ...

**0**

votes

**3**answers

859 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}

**12**

votes

**1**answer

553 views

### Continued fractions and projective resolutions

Hello,
This question might be vague and not thought-through enough.
If we have a real positive number $x$, we can start to write it as a continued fraction:
$x = a_0 + \frac{1}{x_1} , \ldots , ...

**6**

votes

**2**answers

525 views

### Where is the Euler/Goldbach correspondence?

I know that there is a 1965 volume containing the Euler/Goldbach correspondence, but I'm interested in looking at the original manuscripts. I'm not finding anything at University of Basel or ...

**5**

votes

**0**answers

549 views

### Open problems with practical outcome in a visible future ? [closed]

I believe that any non-trivial idea will sooner or later find application in real life.
However "sooner" is better than "later":)
If we look at famous open problems - e.g. Millennium Prize problems - ...

**1**

vote

**1**answer

218 views

### “Highly balanced” periodic functions

The function $f(x) = e^{2\pi ix}$ on the domain $\mathbb{R}/\mathbb{Z}$ has the property that, for every $n > 1$ and every $x$, $\displaystyle \sum_{i = 0}^{n-1} f(x + \frac{i}{n}) = 0$.
Other ...

**15**

votes

**7**answers

1k views

### Unexpected applications of the fact that nth degree polynomials are determined by n+1 points

I had a funny idea for proving an identity in Euclidean geometry. While it didn't end up being a very nice proof strategy in my case, I would still like to collect nice examples of where the proof ...

**2**

votes

**2**answers

1k views

### Sum of products of exponentials and polynomials

Hi,
I am looking for a closed-form expression for the finite sum of the product of an exponential function with a polynomial function --- that is, the sum
...

**4**

votes

**0**answers

649 views

### How to find a problem ??? [closed]

Hi All,
To do math, of course every one always finds some interesting problems and then try to solve them and then publish them as articles. In particular, in doing PhD, thesis advisors normally give ...

**-4**

votes

**2**answers

1k views

### what part of using vieta's formulas violates quintic non-solvability? [closed]

You can write the n roots of an n degree polynomial in terms of its n coefficients, i.e., "Vieta's" formulas.
You can solve this system of nonlinear equations using Newton's method and the Jacobian. ...

**0**

votes

**0**answers

95 views

### Repeated function resulting in quadratic time.

Let $$r(f, x) = k$$ such that
$$f^k (x) < 2 \hbox{ and } f^{k-1} (x) \geq 2$$
For example $$r(n \rightarrow n-1, 2^n) = 2^n-1; r(n \rightarrow n/2, 2^n) = n.$$
For an arbitrary $c$, we have $$r( ...

**1**

vote

**2**answers

1k views

### Normal distribution with positive SEMI-definite covariance matrix

Hi
In [1] is noted, that a covariance matrix is "positive- semi definite and symmetric". I wonder if it is possible to a multivariate normal distribution with a covariance matrix that is only ...

**2**

votes

**0**answers

1k views

### Good math speakers [closed]

Physics has had great speakers and popularizers (Carl Sagan would be the first to come to my mind). Mathematics, on the other hand, seems to be short on this. At least that is my impression... Or am I ...