-
Luitzen Egbertus Jan "Bertus"
Brouwer (27
February 1881 – 2
December 1966) was a
Dutch mathematician and
philosopher who
worked in topology, set theory...
- as in
classical mathematics. However, it is also
possible to give a
Brouwerian counterexample to show that the
statement is non-constructive. This sort...
-
pseudocomplement for each two
elements is
called implicative lattice, or
Brouwerian lattice. In general, an
implicative lattice may not have a
minimal element...
-
mathematical propositions that are
merely not yet
established - see also
Brouwerian counterexamples.
Knowledge of the
validity of
either 0 ∈ A {\displaystyle...
-
disjunctions of yet not
proven or
disproven propositions, one
speaks of weak
Brouwerian counterexamples. The
theory of the real
closed field may be axiomatized...
-
Finitism & §2.2 Actualism, §3
Predicativism and Semi-Intuitionism, §4
Brouwerian Intuitionism, §5
Intuitionistic Logic and Arithmetic, §6 Intuitionistic...
- {\displaystyle X} . As
another example, such a
situation is
enforced in
Brouwerian intuitionistic analysis, in a case
where the
quantifier ranges over infinitely...
- hypersurfaces, he had come to the
conclusion (perhaps
through some kind of
Brouwerian example?) that
those surfaces could not be
constructed in any real sense;...
- Stone, M. (1938).
Topological representation of
distributive lattices and
Brouwerian logics.
Casopis Pest. Mat. Fys., 67 1–25. Cornish, W. H. (1975). On H...
-
relationships than can be
expressed with
standard linear quantification.
Brouwerian modal logic A form of
modal logic that
incorporates principles of intuitionism...