MATH
Login Or Sign up

List Question

15
146
Views

Real numbers cannot be constructed?

Published on
#computability #axioms #constructive-mathematics #reverse-math
83
Views

Errett Bishop's formulation of Diaconescu's theorem

Published on
#axiom-of-choice #constructive-mathematics
71
Views

About double negation and dependent function in Agda

Published on
#type-theory #constructive-mathematics
453
Views

Is intuitionist logic two-valued?

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

What is considered proof? Wondering about the construction of the reals via Dedekind cuts, and how they can be said to exist.

Published on
#real-numbers #constructive-mathematics
106
Views

Countable set in constructive mathematics

Published on
#set-theory #constructive-mathematics
102
Views

The points M and N and the circle k are given. Construct an equilateral triangle ABC inscribed in circle k such that |AM|=|BN|.

Published on
#geometry #euclidean-geometry #constructive-mathematics
194
Views

How to solve $(x-1)(x-2)=0$ constructively?

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

Defining function "constructability"

Published on
#functions #reference-request #definition #constructive-mathematics
159
Views

Proving the Existence of a Number without Constructing

Published on
#elementary-number-theory #divisibility #constructive-mathematics
188
Views

Is this proof constructive?

Published on
#constructive-mathematics
113
Views

Would a constructive proof that intuitionstic ZF has a nonconstructive model be a problem for the intuitionist?

Published on
#set-theory #foundations #constructive-mathematics #intuitionistic-logic
200
Views

If a proposition can be proved nonconstructively, does a constructive version of it also hold?

Published on
#logic #soft-question #constructive-mathematics
1.7k
Views

Why is the Principle of Explosion considered constructive?

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

Well-Ordering Principle From Recursion Theorem

Published on
#recursion #constructive-mathematics #well-orders #intuitionistic-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.