MATH
Login Or Sign up

List Question

15
80
Views

What kind of logical assumptions do I need for proving this topology theorem?

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

How Brouwer think about mathematics as a non linguistic phenomenon?

Published on
#logic #philosophy #intuitionistic-logic
55
Views

Intuitionist Logic Question

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

Propositional Intuitionistic Logic Question

Published on
#logic #intuitionistic-logic
271
Views

Why should we adopt the cumulative universe convention?

Published on
#type-theory #intuitionistic-logic #homotopy-type-theory
822
Views

Syntactic proof that Peirce's law doesn't hold in simply-typed lambda calculus

Published on
#lambda-calculus #intuitionistic-logic
162
Views

Equivariant homotopy theory, topos theory and intuitionistic algebraic topology

Published on
#algebraic-topology #homotopy-theory #topos-theory #intuitionistic-logic #equivariant-topology
85
Views

Type theoretic counterpart of calculus of constructions?

Published on
#reference-request #online-resources #type-theory #intuitionistic-logic
41
Views

Basic Constructive Modal Logic and Monoidal Endofunctors

Published on
#modal-logic #intuitionistic-logic #categorical-logic
91
Views

Normal forms of proofs in intuitionistic logic?

Published on
#intuitionistic-logic
521
Views

Difference between proof of negation vs proof by contradiction in practice?

Published on
#type-theory #intuitionistic-logic
70
Views

How does $\neg \phi$ as $\phi \to \textbf{false}$ fit in intuitionist philosophy?

Published on
#type-theory #intuitionistic-logic
516
Views

Constructivist proofs + LEM = classical math?

Published on
#logic #constructive-mathematics #intuitionistic-logic
81
Views

Is intuitionistic first-order logic with no function or relation symbols decidable?

Published on
#first-order-logic #intuitionistic-logic #decidability
542
Views

Difference between $\lambda$-$\mu$-calculus and intuitionistic type theory + LEM for classical proofs?

Published on
#logic #type-theory #intuitionistic-logic #automated-theorem-proving

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.