-
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...
- {\displaystyle X} . As
another example, such a
situation is
enforced in
Brouwerian intuitionistic analysis, in a case
where the
quantifier ranges over infinitely...
-
disjunctions of yet not
proven or
disproven propositions, one
speaks of weak
Brouwerian counterexamples. The
theory of the real
closed field may be axiomatized...
- "calculus of problems" and
proved that the
lattice of
Muchnik degrees is
Brouwerian.
Muchnik was
married to the
Russian mathematician Nadezhda Ermolaeva....
-
Sequential Logic for
Information Structuring in "Mathematics of a
Hierarchy of
Brouwerian Operations" with
Yorick Wilks (Fort
Belvoir Defense Technical Information...
-
mathematical propositions that are
merely not yet
established - see also
Brouwerian counterexamples.
Knowledge of the
validity of
either 0 ∈ A {\displaystyle...
- {IP} }_{0}} . A
choice principle N N {\displaystyle N^{N}}
related to
Brouwerian weak
continuity fails. From any object,
there are only
countably many...