user avatar
user avatar
user avatar
Physical Mathematics
  • Member for 3 years, 9 months
  • Last seen more than a week ago
9 votes
3 answers
248 views

Strong deformation retract of a singleton implies locally path connected at that point?

6 votes
1 answer
240 views

Possible significant error in proof of the spectral theorem, Brian C Hall, Quantum Theory for Mathematicians

6 votes
1 answer
399 views

Why does Archive of Formal Proofs use Isabelle/HOL as opposed to Isabelle/ZF?

5 votes
1 answer
295 views

Formalist understanding of metalogical proofs

5 votes
1 answer
214 views

Unnecessary assumption in Rudin PMA Theorem 5.5

5 votes
2 answers
150 views

Foundations without axiom schema of replacement

4 votes
0 answers
222 views

Converse of inverse function theorem

4 votes
1 answer
77 views

Are there always multiple scalar multiplications over non-prime fields?

4 votes
0 answers
47 views

Every Lebesgue measure $0$ set in $\mathbb R$ has a disjoint translation [duplicate]

3 votes
1 answer
114 views

Is the $\sigma$-algebra generated by weak topology of (non-separable) Banach space equal Borel $\sigma$-algebra?

3 votes
1 answer
269 views

Proof of Stokes' theorem for differentiable manifolds

3 votes
0 answers
54 views

A fat Cantor set essentially containing a positive measure subset and uncountably many of its translates

3 votes
0 answers
104 views

Riemannian geometry before semi-Riemannian geometry?

3 votes
2 answers
189 views

Help with Gelfand and Fomin section 3 theorem 2, calculus of variations

3 votes
1 answer
187 views

Is there a constructive version of the logic of Isabelle/HOL?

3 votes
1 answer
162 views

Consistency of PA from a Formalist Perspective

3 votes
1 answer
93 views

Euler-Lagrange-type equation for a more natural variational problem

3 votes
1 answer
222 views

Does Lebesgue Change of Variables only hold for Borel functions?

2 votes
1 answer
242 views

Every smooth manifold embeds in Euclidean space (reference request)

2 votes
0 answers
120 views

"Mathematically mature" book on numerical analysis of PDE

2 votes
1 answer
98 views

Equivalence or Isomorphism of Types

2 votes
1 answer
61 views

Spectral subspace is nontrivial iff it has a non-trivial intersection with an invariant closed subspace

2 votes
2 answers
365 views

Countable sum of orthogonal projections with orthogonal ranges; uniformly bounded monotone sequence of self-adjoint operators is strongly convergent

2 votes
1 answer
43 views

Terminology of Operator Topologies

2 votes
1 answer
100 views

Constructive proofs for statements about rational numbers in Constructive Analysis

2 votes
1 answer
107 views

Uniqueness of solutions to elliptic PDE in $W^{1,1}$

2 votes
1 answer
44 views

Absolutely convergent doubles sums in Banach spaces

2 votes
2 answers
205 views

Meaning of a $(0,2)$ tensor field being "nondegenerate"

2 votes
1 answer
55 views

Outer Measure on $\mathbb R$ with trivial measurable sets

2 votes
0 answers
67 views

Distribution-valued integrals