MATH
Login Or Sign up

List Question

15
1.7k
Views

Constructive proof of Euler's formula

Published on
#analysis #constructive-mathematics
544
Views

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

Published on
#logic #category-theory #constructive-mathematics
394
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
630
Views

Can the proof of fixed point theorems ever be constructive?

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

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

Published on
#soft-question #proof-theory #constructive-mathematics
423
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
208
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
441
Views

Existence of a basis in constructive vector spaces

Published on
#vector-spaces #computability #axiom-of-choice #constructive-mathematics
482
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
964
Views

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

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.