MATH
Login Or Sign up

List Question

15
367
Views

When do DeMorgan's laws hold in a Heyting algebra

Published on
#general-topology #lattice-orders #universal-algebra #constructive-mathematics
695
Views

What's wrong with the classical Cauchy construction of the reals?

Published on
#real-analysis #analysis #cauchy-sequences #constructive-mathematics
520
Views

Goedel's completeness theorem in and/or for intuitionistic first order logic

Published on
#model-theory #foundations #constructive-mathematics
96
Views

Constructivist Interpretation of a Function

Published on
#logic #philosophy #constructive-mathematics
558
Views

What is the purpose of defining the negation of a proposition A as A $\rightarrow \bot$?

Published on
#logic #constructive-mathematics
315
Views

Example of an interesting theorem that fails in intuitionistic set theory but is classically valid?

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

Elliptical Cone

Published on
#geometry #mathematical-modeling #constructive-mathematics
1.2k
Views

a "natural" real number that is not computable

Published on
#real-analysis #logic #constructive-mathematics
150
Views

Equivalence between $\neg\neg\bot$ and $\bot$ in intuitionistic logic.

Published on
#logic #constructive-mathematics
371
Views

Construct a Fourier series that diverges almost everywhere.

Published on
#analysis #fourier-series #constructive-mathematics #almost-everywhere
87
Views

$(\forall x,\, p\vee q(x))\leftrightarrow p\vee\forall x,\, q(x)$

Published on
#logic #constructive-mathematics
4.7k
Views

Can one prove by contraposition in intuitionistic logic?

Published on
#logic #constructive-mathematics
321
Views

Is there such a thing as 'overtification' (dual to compactification)?

Published on
#general-topology #category-theory #lattice-orders #constructive-mathematics
324
Views

Algebraically, What Does $\Bbb R$ get us?

Published on
#soft-question #constructive-mathematics #binary-operations
1.1k
Views

Completeness theorem for intuitionistic logic

Published on
#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.