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

**30**

votes

**2**answers

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

**0**

votes

**2**answers

593 views

### Can one branch of mathematics be completely learned from the perspective of another branch of mathematics? [closed]

This arose from a discussion with a friend (people involved are two engineers) who argued that every result in mathematics should be transformable into another branch. For example, he argued that ...

**18**

votes

**5**answers

758 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 we'...

**7**

votes

**2**answers

931 views

### How should you respond to a student who asks whether a very nice physical example constitutes a proof? [closed]

"Is this really a proof?" is the exact question e-mailed to me today from an undergraduate mathematics student whom I know as a highly competent student. The one sentence question was accompanied with ...

**34**

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

**15**

votes

**1**answer

997 views

### Relation between math and piano music

What, if any, is the relation between Cantor's function and Ligeti studio: Devil's Staircase?

**22**

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

**4**

votes

**5**answers

303 views

### procedure-based (as opposed to definition-based) concepts

Euler's work on divergent series was guided by computational procedures, rather than any definition of the "value" of such a series. E.g., he was happy to have half a dozen procedures that indicated ...

**16**

votes

**5**answers

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

**2**

votes

**4**answers

1k views

### When did you “meet Polya”? [closed]

I guess most of us didn't meet Polya in person (this is the answer to the title)! Perhaps, it is much easier to guess that most of us have met one of his writings (or alike) on problem solving, and ...

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

**-5**

votes

**3**answers

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

**12**

votes

**2**answers

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

**28**

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

**45**

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

340 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

114 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

268 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} \frac{i^n}{...

**7**

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

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

**47**

votes

**17**answers

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

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

**6**

votes

**2**answers

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

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

439 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

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

**8**

votes

**3**answers

718 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

518 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

44 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

360 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

423 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

353 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

600 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

878 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

317 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

271 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}$ d(...

**3**

votes

**4**answers

827 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

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

**7**

votes

**0**answers

248 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

500 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

119 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

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

246 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, TeXed,...

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

**12**

votes

**4**answers

925 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

915 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

578 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 , x_n=...