MATH
Login Or Sign up

List Question

15
1.7k
Views

Constructive proof of Euler's formula

Published on
#analysis #constructive-mathematics
547
Views

Is there a formal way to describe classical logic as a reflective subcategory of constructive logic?

Published on
#logic #category-theory #constructive-mathematics
395
Views

An explicit construction for an everywhere discontinuous real function with $F((a+b)/2)\leq(F(a)+F(b))/2$?

Published on
#analysis #convex-analysis #axiom-of-choice #constructive-mathematics
631
Views

Can the proof of fixed point theorems ever be constructive?

Published on
#real-analysis #logic #fixed-point-theorems #constructive-mathematics
333
Views

What if 'proof by contradiction' is not a valid method of proof?

Published on
#soft-question #proof-theory #constructive-mathematics
424
Views

Is it possible to prove that the encoding of existentials in System F is valid?

Published on
#logic #proof-theory #higher-order-logic #constructive-mathematics
3.3k
Views

Equivalence between middle excluded law and double negation elimination in Heyting algebra

Published on
#logic #lattice-orders #constructive-mathematics
2.4k
Views

Constructive proof of pigeonhole principle

Published on
#pigeonhole-principle #constructive-mathematics
209
Views

Is intuitionistic naive set theory consistent?

Published on
#set-theory #constructive-mathematics
1.8k
Views

Equivalence between Peirce's law and Excluded Middle in Intuitionistic logic

Published on
#logic #propositional-calculus #constructive-mathematics
1.5k
Views

Is constructive proof of non-existence possible

Published on
#logic #proof-theory #constructive-mathematics
442
Views

Existence of a basis in constructive vector spaces

Published on
#vector-spaces #computability #axiom-of-choice #constructive-mathematics
483
Views

Seeking help to understand a simple Kripke model

Published on
#logic #constructive-mathematics
1.2k
Views

ZF Set Theory and Law of the Excluded Middle

Published on
#logic #set-theory #constructive-mathematics #alternative-set-theories
965
Views

Is there any case where classical logic has "proven" an incorrect result?

Published on
#logic #constructive-mathematics

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.