MATH
Login Or Sign up

List Question

15
84
Views

Why is this infinite series _intuitionistically_ Cauchy?

Published on
#cauchy-sequences #intuitionistic-logic #goldbachs-conjecture
207
Views

Can a formula with only unique variables be an intuitionistic tautology?

Published on
#logic #propositional-calculus #intuitionistic-logic
133
Views

Constructive Proof that Intuitionistic Higher-Order Logic is Conservative over Constructive First-Order Logic

Published on
#topos-theory #intuitionistic-logic
491
Views

is proof by contradiction essential for proving the Pigeonhole Principle?

Published on
#logic #alternative-proof #intuitionistic-logic
139
Views

Is (Hausdorff $\implies$ Unique Limits) intuitionistic?

Published on
#general-topology #intuitionistic-logic
106
Views

Do we have a translation from intuitionistic logic to classical logic which can translate all formulas with their precise meaning?(not only theorems)

Published on
#logic #model-theory #intuitionistic-logic
326
Views

Is there a reverse double-negation translation?

Published on
#logic #propositional-calculus #intuitionistic-logic
99
Views

Model theory of intuistionistic logic

Published on
#logic #first-order-logic #model-theory #proof-theory #intuitionistic-logic
491
Views

The simplication of left implication rule in intuitionistic sequent calculus

Published on
#logic #intuitionistic-logic #sequent-calculus
322
Views

What is the reasoning behind the negation definition in Intuitionistic Logic Forcing and Set Theory Forcing?

Published on
#logic #model-theory #forcing #intuitionistic-logic
77
Views

Measure and Integration theory based on intuitionism

Published on
#measure-theory #lebesgue-integral #axiom-of-choice #intuitionistic-logic
182
Views

Why do intuitionists think that proving $\neg \neg P$ merely constitutes a proof of the inexistence of a proof for $\neg P$?

Published on
#logic #axioms #constructive-mathematics #intuitionistic-logic
74
Views

How to efficiently enumerate all valid propositional formulas from implicational fragment of intuitionistic logic?

Published on
#logic #algorithms #intuitionistic-logic #decidability
232
Views

Curry-Howard Isomorphism For Classical Logic

Published on
#logic #lambda-calculus #intuitionistic-logic #sequent-calculus
108
Views

is the NNO in a sheaf topos a model of classical PA?

Published on
#logic #topos-theory #intuitionistic-logic #categorical-logic

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.