MATH
Login Or Sign up

List Question

15
205
Views

How to prove that $\lnot(a \neq b)$ doesn't imply $a=b$ in intuitionistic logic?

Published on
#logic #solution-verification #constructive-mathematics #intuitionistic-logic
83
Views

Classicalities of Homotopy Type Theory

Published on
#logic #homotopy-theory #constructive-mathematics #homotopy-type-theory
190
Views

LEM and the curry-howard correspondence

Published on
#type-theory #constructive-mathematics #intuitionistic-logic #homotopy-type-theory
55
Views

Is the set-indexed wedge of connected $1$-types a $1$-type?

Published on
#constructive-mathematics #homotopy-type-theory
177
Views

Why do constructive mathematicians claim that mathematical truth is temporal?

Published on
#logic #philosophy #constructive-mathematics
185
Views

Non-constructiveness and finite mathematics

Published on
#logic #algorithms #cyclic-groups #constructive-mathematics #intuitionistic-logic
167
Views

“Meet” of Zorn’s Lemma and Law of Excluded Middle

Published on
#logic #set-theory #axiom-of-choice #constructive-mathematics #intuitionistic-logic
176
Views

confused by nonconstructive equivalence relations

Published on
#constructive-mathematics
136
Views

Proving a theorem by proving that there must be proof of it

Published on
#logic #constructive-mathematics
70
Views

False statements in intuitionistic logic

Published on
#propositional-calculus #constructive-mathematics #intuitionistic-logic #kripke-models
64
Views

Is it possible to prove that a finitely generated linear subspace has a basis constructively?

Published on
#linear-algebra #constructive-mathematics
96
Views

Constructive Proofs in Elementary Real Analysis

Published on
#real-analysis #analysis #logic #constructive-mathematics #intuitionistic-logic
118
Views

Non-syntactic characterization of $\Delta_0$ formulae

Published on
#set-theory #constructive-mathematics #metalogic
72
Views

The equivalences between points in a locale in constructive mathematics

Published on
#ideals #lattice-orders #filters #constructive-mathematics #locales
85
Views

Construct a continuous function $f(x)$ periodic with period $2\pi$ such that the Fourier series of $f(x)$ is divergent at $x = 0$

Published on
#real-analysis #convergence-divergence #fourier-analysis #periodic-functions #constructive-mathematics

Trending Questions

Popular # Hahtags

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

Popular Questions

Copyright © 2021 JogjaFile Inc.