Maximal Ideal's user avatar
Maximal Ideal's user avatar
Maximal Ideal's user avatar
Maximal Ideal
  • Member for 7 years, 7 months
  • Last seen this week
14 votes
2 answers
791 views

Is there a Lagrangian that produces these equations? How can I find one if it exists?

11 votes
1 answer
389 views

Between any two continuous functions $f>g$, can we find a real-analytic function?

10 votes
2 answers
506 views

What exactly is the distinction between a theory and model in model theory if models are themselves constructed in axiomatic theories?

9 votes
4 answers
633 views

How to show that if two Platonic solids have the same number of edges, vertices, and faces, then they are similar in $\mathbb{R}^{3}$?

5 votes
1 answer
5k views

Sequential characterization of continuity - Is proof by contradiction unavoidable?

5 votes
1 answer
149 views

Can we prove "induction on wffs" in a non-circular way?

5 votes
1 answer
416 views

What is the difference between "Peano arithmetic," "second-order arithmetic," and "second-order Peano arithmetic?"

4 votes
2 answers
91 views

Is there a rote algorithm to tell whether a tensor (of two vectors) can be reduced to an elementary tensor?

4 votes
1 answer
254 views

Need help to complete/correct a proof of the spherical law of sines

4 votes
0 answers
292 views

Meaning of higher-order derivations in differential geometry?

4 votes
3 answers
258 views

How can we relate the mean of a function to the mean of some corresponding PDF?

4 votes
3 answers
207 views

Approximating $\sqrt{2}$ by Pythagorean triples? [duplicate]

3 votes
1 answer
88 views

Issue proving a dubious identity involving Dirichlet series

3 votes
3 answers
113 views

Is the trace preserved (up to scaling) by Lie algebra homomorphisms (between matrix Lie algebras)?

3 votes
1 answer
93 views

Can (a certain interpretation of) the Ross-Littlewood paradox be formalized in set theory?

3 votes
0 answers
82 views

What assumption of Noether's theorem fails in this Hamiltonian system with infinitely many particles?

3 votes
1 answer
116 views

Confusion regarding the axiom schema of replacement

3 votes
1 answer
96 views

What does the parameter $p$ refer to in this context?

3 votes
3 answers
330 views

Is there a topological characterization of Euclidean spaces?

3 votes
2 answers
266 views

Are there references that talk about the connection between curvature and compactness?

3 votes
1 answer
258 views

What computer methods are used to quickly calculate the $\zeta$-function (if any)?

3 votes
0 answers
156 views

Examples of Cauchy complete ordered fields that are not $\mathbb{R}$?

3 votes
3 answers
176 views

Evaluating $\sum_{k=0}^{n}\binom{n}{k}\binom{k}{r}\binom{k}{s}(-1)^{k}$

3 votes
1 answer
103 views

Solving $ y\frac{\partial f}{\partial x} = x\frac{\partial f}{\partial y}$ rigorously

2 votes
1 answer
59 views

Are there bounds given for the strengthened Ramsey theorem?

2 votes
1 answer
115 views

Is there any relationship between a Dirichlet series and the same series with the sequence "shifted" by one term?

2 votes
1 answer
147 views

Vector fields having zero curl wrt two different real inner-products?

2 votes
1 answer
164 views

Is the uniform limit of (bijective) metric space isometries also a (bijective) metric space isometry?

2 votes
1 answer
109 views

If $S\subseteq M$ is a submanifold, is there a canonical way to identify $T_{p}^{*}S$ as a subspace of $T_{p}^{*}M$?

2 votes
1 answer
79 views

Mathematical references that deal with Kirchhoff's integral theorem?