MATH
Login Or Sign up

List Question

15
458
Views

weak counterexamples and the law of trichotomy in intuitionism

Published on
#logic #real-numbers #philosophy #constructive-mathematics #intuitionistic-logic
540
Views

Does a real number in Intuitionism defined as a limit of a sequence?

Published on
#logic #real-numbers #cauchy-sequences #constructive-mathematics #intuitionistic-logic
188
Views

What is an example of a statment that one can prove in an Intuitionistic approch and cannot prove in the classic approch

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

Can a well defined function in Intuitionism come only from the natural numbers?

Published on
#logic #real-numbers #constructive-mathematics #intuitionistic-logic
349
Views

Did Errett Bishop and L.E.J. Brouwer treat the real numbers differently?

Published on
#analysis #logic #real-numbers #constructive-mathematics #intuitionistic-logic
103
Views

What is the difference between a lawlike sequence of only zeros and a lawless sequence of only zeros in Intuitionism

Published on
#logic #real-numbers #constructive-mathematics #intuitionistic-logic
355
Views

Is there a constructive well-ordering on the set of finite rooted trees?

Published on
#order-theory #proof-theory #constructive-mathematics #well-orders
162
Views

"Counterexamples" in *Constructive Analysis* (Bishop & Bridges) - Trouble with exercises

Published on
#reference-request #proof-verification #constructive-mathematics
227
Views

Is $a>b\iff \neg(b\geq a)$ true in constructive maths?

Published on
#logic #constructive-mathematics
35
Views

Completeness for intermediate logics

Published on
#logic #constructive-mathematics
1.4k
Views

Irrational numbers on the number line

Published on
#number-theory #discrete-mathematics #irrational-numbers #constructive-mathematics #number-line
68
Views

Disjunction in algebraic semantics for intuitionistic predicate logic

Published on
#logic #model-theory #constructive-mathematics
200
Views

Why this predicate formula is not provable in intuitionistic logic

Published on
#propositional-calculus #predicate-logic #first-order-logic #constructive-mathematics #intuitionistic-logic
726
Views

Natural language examples for failure of double negation elimination

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

Constructing Combinatory Terms of a Given Type

Published on
#logic #proof-theory #constructive-mathematics #lambda-calculus #type-theory

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.