MATH
Login Or Sign up

List Question

15
78
Views

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

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

How Brouwer think about mathematics as a non linguistic phenomenon?

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

Intuitionist Logic Question

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

Propositional Intuitionistic Logic Question

Published on
#logic #intuitionistic-logic
269
Views

Why should we adopt the cumulative universe convention?

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

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

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

Equivariant homotopy theory, topos theory and intuitionistic algebraic topology

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

Type theoretic counterpart of calculus of constructions?

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

Basic Constructive Modal Logic and Monoidal Endofunctors

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

Normal forms of proofs in intuitionistic logic?

Published on
#intuitionistic-logic
519
Views

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

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

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

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

Constructivist proofs + LEM = classical math?

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

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

Published on
#first-order-logic #intuitionistic-logic #decidability
538
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

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.