MATH
Login Or Sign up

List Question

15
320
Views

What is an example of constructive vs. nonconstructive type theory?

Published on
#terminology #type-theory #constructive-mathematics
297
Views

distributivity of min and max over + and · without the assumption of inverses

Published on
#lattice-orders #formal-proofs #constructive-mathematics
199
Views

Strongly constructive proofs: Proofs that don't make use of decidability?

Published on
#logic #type-theory #constructive-mathematics #intuitionistic-logic #higher-order-logic
222
Views

Intuitionistic “atomic” proof of negation?

Published on
#type-theory #constructive-mathematics #intuitionistic-logic
378
Views

Type theory and constructivist mathematics with paraconsistent logic?

Published on
#logic #type-theory #constructive-mathematics #intuitionistic-logic #nonclassical-logic
1.1k
Views

Constructive vs computable real numbers

Published on
#real-analysis #real-numbers #computability #constructive-mathematics
113
Views

Identity and substitution in Intuitionistic Logic

Published on
#logic #constructive-mathematics #intuitionistic-logic
129
Views

Defining function by overlapping cases in constructive logic

Published on
#logic #constructive-mathematics #intuitionistic-logic
333
Views

Constructive logic and Russell's paradox

Published on
#logic #set-theory #foundations #constructive-mathematics
276
Views

What is the intuitionist / contructivist view of the Fermat theorem proof?

Published on
#constructive-mathematics #intuitionistic-logic
179
Views

Question about Bishop's "constructive analysis" for people familiar with bishop style constructive analysis only

Published on
#constructive-mathematics
114
Views

Quotienting by an apartness relation

Published on
#type-theory #constructive-mathematics
165
Views

Universal Quantifier $\forall$ and Generalized Conjunction $\bigwedge$ in intuitionistic logic

Published on
#logic #first-order-logic #constructive-mathematics #intuitionistic-logic
221
Views

In homotopy type theory, prove that law of excluded middle implies reduction ad absurdum

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

The law of excluded middle and the abstraction of "actual infinity".

Published on
#logic #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.