-
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...
-
Finitism & §2.2 Actualism, §3
Predicativism and Semi-Intuitionism, §4
Brouwerian Intuitionism, §5
Intuitionistic Logic and Arithmetic, §6 Intuitionistic...
- 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;...
-
disjunctions of yet not
proven or
disproven propositions, one
speaks of weak
Brouwerian counterexamples. The
theory of the real
closed field may be axiomatized...
- {\displaystyle X} . As
another example, such a
situation is
enforced in
Brouwerian intuitionistic analysis, in a case
where the
quantifier ranges over infinitely...
- Stone, M. (1938).
Topological representation of
distributive lattices and
Brouwerian logics.
Casopis Pest. Mat. Fys., 67 1–25. Cornish, W. H. (1975). On H...
-
Sequential Logic for
Information Structuring in "Mathematics of a
Hierarchy of
Brouwerian Operations" with
Yorick Wilks (Fort
Belvoir Defense Technical Information...
- "calculus of problems" and
proved that the
lattice of
Muchnik degrees is
Brouwerian.
Muchnik was
married to the
Russian mathematician Nadezhda Ermolaeva....