Newbetuts
.
New posts in constructive-mathematics
Countable choice and term extraction
logic
proof-verification
computability
axiom-of-choice
constructive-mathematics
Understanding a proof of Diaconescu's theorem
axiom-of-choice
constructive-mathematics
Double negation elimination in constructive logic
logic
constructive-mathematics
Does double negation distribute over implication intuitionistically?
logic
propositional-calculus
constructive-mathematics
intuitionistic-logic
sequent-calculus
How far is it true that statements dependent on Axiom of Choice are not constructive.
set-theory
axiom-of-choice
axioms
constructive-mathematics
a "natural" real number that is not computable
real-analysis
logic
constructive-mathematics
Minimal difference between classical and intuitionistic sequent calculus
logic
proof-theory
constructive-mathematics
Aren't constructive math proofs more "sound"?
proof-theory
constructive-mathematics
Defining arbitrary join on the set of complete ideals of a Heyting Algebra
order-theory
lattice-orders
constructive-mathematics
What is a constructive proof of $\lnot\lnot(P\vee\lnot P)$?
logic
propositional-calculus
constructive-mathematics
Constructive Proof of Kronecker-Weber?
abstract-algebra
galois-theory
constructive-mathematics
What practical proofs work in intuitionistic but not minimal logic?
logic
constructive-mathematics
Prove that a construction exists: is this a constructive proof or existential proof?
logic
proof-writing
proof-theory
constructive-mathematics
Why can't you prove the law of the excluded middle in intuitionistic logic (for layman)?
logic
proof-theory
constructive-mathematics
Difference between proof of negation and proof by contradiction
logic
constructive-mathematics
intuitionistic-logic
Approximate spectral decomposition
linear-algebra
complex-analysis
functional-analysis
computability
constructive-mathematics
Is there a decision procedure for *monadic* intuitionist first-order logic?
logic
first-order-logic
constructive-mathematics
intuitionistic-logic
Can one prove by contraposition in intuitionistic logic?
logic
constructive-mathematics
A few questions about intuitionistic mathematics
logic
axiom-of-choice
philosophy
constructive-mathematics
Can the principle of explosion be removed from constructive logic?
reference-request
logic
constructive-mathematics
Prev
Next