MATH
Login Or Sign up

List Question

15
1.5k
Views

Distance from a convex set to a point

Published on
#functional-analysis #logic #constructive-mathematics
676
Views

Maximum of real numbers

Published on
#constructive-mathematics
387
Views

Explicit/constructive example of open maps that are not continuous (especially from R to R)?

Published on
#real-analysis #general-topology #continuity #constructive-mathematics #open-map
311
Views

Locales as spaces of ideal/imaginary points

Published on
#forcing #constructive-mathematics #zariski-topology #locales
189
Views

Lie groups in synthetic differential geometry

Published on
#differential-geometry #lie-groups #constructive-mathematics #intuitionistic-logic #synthetic-differential-geometry
204
Views

Annihilator in dual space

Published on
#linear-algebra #vector-spaces #linear-transformations #constructive-mathematics #dual-spaces
316
Views

Total order on constructive real numbers

Published on
#real-numbers #constructive-mathematics #intuitionistic-logic
458
Views

Logic for physics

Published on
#logic #reference-request #mathematical-physics #topos-theory #constructive-mathematics
269
Views

Constructive proof of $\Vert x \Vert = 0 \Rightarrow x = {\mathbf0}$.

Published on
#normed-spaces #constructive-mathematics
950
Views

Constructive proof of the Cauchy Schwarz inequality

Published on
#analysis #inequality #cauchy-schwarz-inequality #constructive-mathematics
212
Views

Do either of Markov's Principle and the Fan Theorem imply the other?

Published on
#constructive-mathematics
611
Views

Constructive intermediate value theorem

Published on
#analysis #logic #constructive-mathematics
3.8k
Views

Why is the principle of explosion accepted in constructive mathematics?

Published on
#logic #foundations #constructive-mathematics
281
Views

Proof verification in constructive analysis

Published on
#proof-verification #convex-analysis #constructive-mathematics #intuitionistic-logic
88
Views

Proof in constructive mathematics using decidability.

Published on
#proof-verification #constructive-mathematics #intuitionistic-logic #decidability

Trending Questions

Popular # Hahtags

geometry circles algebraic-number-theory functions real-analysis elementary-set-theory proof-verification proof-writing number-theory elementary-number-theory puzzle game-theory calculus multivariable-calculus partial-derivative complex-analysis logic set-theory second-order-logic homotopy-theory winding-number ordinary-differential-equations numerical-methods derivatives integration definite-integrals probability limits sequences-and-series algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.