Newbetuts
.
New posts in constructive-mathematics
Axiom of Choice - Type Theory (Proof)
logic
axiom-of-choice
type-theory
constructive-mathematics
Dense topology <=> double negation operator in a constructive metatheory?
logic
topos-theory
constructive-mathematics
grothendieck-topologies
Are there still mathematicians who don't accept proof by contradiction?
soft-question
philosophy
constructive-mathematics
What is the dual of implication?
logic
category-theory
constructive-mathematics
constructive canonical form of orthogonal matrix
linear-algebra
matrices
numerical-methods
orthogonal-matrices
constructive-mathematics
ZF Set Theory and Law of the Excluded Middle
logic
set-theory
constructive-mathematics
alternative-set-theories
About Gödel-Gentzen negative translation
first-order-logic
constructive-mathematics
intuitionistic-logic
Is the Knaster-Tarski Fixed Point Theorem constructive?
order-theory
lattice-orders
fixed-point-theorems
constructive-mathematics
Equivalence between Peirce's law and Excluded Middle in Intuitionistic logic
logic
propositional-calculus
constructive-mathematics
Is there any result that has applications that can't be proved in constructive mathematics?
applications
constructive-mathematics
Is there a simple example of how the law of the excluded middle can be inapplicable?
logic
constructive-mathematics
Examples of co-implication (a.k.a co-exponential)
logic
category-theory
philosophy
topos-theory
constructive-mathematics
Is there a “nice” “constructive” field of numbers?
real-analysis
computability
constructive-mathematics
Is there a clean non-contrived theorem that can only be proven by contradiction?
logic
constructive-mathematics
Law of Excluded Middle Controversy
intuition
philosophy
constructive-mathematics
intuitionistic-logic
How or why does intutionistic logic proof negations from within the theory, constructively?
propositional-calculus
proof-theory
lambda-calculus
type-theory
constructive-mathematics
Examples of non-constructive results
big-list
constructive-mathematics
Online tools for checking validity of classical, intuitionistic, ... logic formulas?
propositional-calculus
predicate-logic
first-order-logic
online-resources
constructive-mathematics
Equivalence between middle excluded law and double negation elimination in Heyting algebra
logic
lattice-orders
constructive-mathematics
Constructible problems for which the solution is non-constructible?
model-theory
constraints
constructive-mathematics
Prev
Next