MATH
Login Or Sign up

List Question

15
260
Views

Proof methods w/o Contradiction (Intuitionistic Frameworks of Math)

Published on
#elementary-number-theory #logic #constructive-mathematics #intuitionistic-logic
137
Views

Constructive proof that the sum of a rational and an irrational is irrational

Published on
#elementary-number-theory #constructive-mathematics
198
Views

How much of the Cantor-Schröder-Bernstein theorem is constructively recoverable if the injections have retractions and decidable images?

Published on
#constructive-mathematics
390
Views

Constructive and Non-constructive Proofs of Proposition

Published on
#logic #constructive-mathematics
181
Views

Does the notion of logical independence make sense in constructive mathematics?

Published on
#logic #constructive-mathematics
212
Views

$A \rightarrow \neg \neg A$ in constructive logic with and without explosion

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

Does constructive dilemma hold in intuitionistic logic?

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

Undecidability of constructive provability

Published on
#reference-request #constructive-mathematics #decidability
115
Views

Constructive mathematics plus existence of discontinuous functions

Published on
#axiom-of-choice #constructive-mathematics #reverse-math
265
Views

Understanding the justification for Troelstra's Uniformity Principle

Published on
#logic #set-theory #foundations #philosophy #constructive-mathematics
296
Views

The free monad over an endofunctor on $\mathcal{Set}$

Published on
#category-theory #adjoint-functors #constructive-mathematics #monads
132
Views

What does intuitionism/constructivism say about this proof?

Published on
#proof-writing #philosophy #constructive-mathematics #intuitionistic-logic
1k
Views

What does a negative superscript mean on a positive Integer number

Published on
#sequences-and-series #notation #constructive-mathematics
177
Views

Results on forcing extensions for models of CZF

Published on
#reference-request #set-theory #forcing #constructive-mathematics #alternative-set-theories
357
Views

Why is the axiom of countable choice constructively valid?

Published on
#elementary-set-theory #logic #constructive-mathematics

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.