Translation of "Intuitionistic" in German
The
reader
is
taken
rapidly
to
the
heart
of
several
different
branches
of
intuitionistic
mathematics.
Der
Leser
wird
schnell
zum
Mittelpunkt
der
verschiedenen
Zweige
der
Mathematik
intuitionistic.
ParaCrawl v7.1
This
is
an
introduction
to
intuitionistic
mathematics
for
mature
mathematicians.
Dies
ist
eine
Einführung
in
intuitionistic
Mathematik
für
Mathematiker
reifen.
ParaCrawl v7.1
The
Lindenbaum
algebra
of
propositional
intuitionistic
logic
is
a
Heyting
algebra.
Die
Lindenbaum-Algebra
der
intuitionistischen
Aussagenlogik
ist
eine
Heyting-Algebra.
WikiMatrix v1
Stronger
classical
logics
such
as
second-order
logic
or
infinitary
logic
are
also
studied,
along
with
nonclassical
logics
such
as
intuitionistic
logic.
Die
Aussagenlogik,
stärkere
klassische
Logiken
wie
Prädikatenlogik
der
zweiten
Stufe
oder
nicht-klassische
Logiken
wie
intuitionistische
Logik
werden
ebenfalls
untersucht.
Wikipedia v1.0
Heyting
arithmetic
should
not
be
confused
with
Heyting
algebras,
which
are
the
intuitionistic
analogue
of
Boolean
algebras.
Die
Heyting-Arithmetik
sollte
nicht
mit
Heyting-Algebren
verwechselt
werden,
die
das
intuitionistische
Analogon
zu
Boolschen
Algebren
sind.
WikiMatrix v1
In
mathematical
logic,
the
Brouwer–Heyting–Kolmogorov
interpretation,
or
BHK
interpretation,
of
intuitionistic
logic
was
proposed
by
L.
E.
J.
Brouwer
and
Arend
Heyting,
and
independently
by
Andrey
Kolmogorov.
Die
Brouwer-Heyting-Kolmogorow-Interpretation,
kurz
BHK-Interpretation,
ist
in
der
mathematischen
Logik
eine
Interpretation
der
intuitionistischen
Logik,
die
von
L.
E.
J.
Brouwer
und
Arend
Heyting
und
unabhängig
von
ihnen
von
Andrei
Kolmogorow
vorgeschlagen
wurde.
WikiMatrix v1
Two
well-known
type
theories
that
can
serve
as
mathematical
foundations
are
Alonzo
Church's
typed
?-calculus
and
Per
Martin-Löf's
intuitionistic
type
theory.
Zwei
populäre
Typentheorien,
die
als
mathematische
Grundlagen
genutzt
werden,
sind
Alonzo
Churchs
typisierter
Lambda
Kalkül
und
Per
Martin-Löfs
intuitionistische
Typentheorie.
WikiMatrix v1
In
the
first
chapter
Int
defends
intuitionistic
mathematics
against
the
criticism
of
the
others,
asking
them
finally
to
judge
for
themselves.
Im
ersten
Kapitel
Int
verteidigt
intuitionistic
Mathematik
gegen
die
Kritik
der
anderen
und
sie
aufgefordert,
endlich
für
sich
selbst
beurteilen.
ParaCrawl v7.1
Also
in
1920
he
published
Intuitionistic
Set
Theory,
then
in
1927
he
developed
a
theory
of
functions
On
the
Domains
of
Definition
of
Functions
without
the
use
of
the
Principle
of
the
Excluded
Middle.
Auch
im
Jahr
1920
veröffentlichte
er
Intuitionistic
Set
Theory,
dann
im
Jahre
1927
entwickelte
er
eine
Theorie
der
Funktionen
auf
dem
Gebiet
der
Definition
von
Funktionen,
ohne
die
Anwendung
des
Grundsatzes
der
ausgeschlossenen
Mitte.
ParaCrawl v7.1
The
reasoning
underlying
the
theory
is
mainly
intuitionistic,
avoiding
the
use
of
negation.
Die
Begründung
der
zugrunde
liegenden
Theorie
ist
vor
allem
intuitionistic,
die
Vermeidung
der
Verwendung
der
Negation.
ParaCrawl v7.1
Kleene
developed
a
diverse
array
of
topics
in
computability:
the
arithmetical
hierarchy,
degrees
of
computability,
computable
ordinals
and
hyperarithmetic
theory,
finite
automata
and
regular
sets
with
enormous
consequences
for
computer
science,
computability
on
higher
types,
recursive
realizability
for
intuitionistic
arithmetic
with
consequences
for
philosophy
and
for
program
correctness
in
computer
science.
Kleene
entwickelt
ein
vielfältiges
Spektrum
von
Themen
in
computability:
das
arithmetische
Hierarchie,
Grad
der
computability,
berechenbar
ordinals
und
hyperarithmetic
Theorie,
endliche
Automaten
und
regulären
Sets
mit
enormen
Folgen
für
Informatik,
computability
in
höheren
Arten,
rekursive
Realisierbarkeit
für
intuitionistic
Arithmetik
mit
Folgen
für
Philosophie
Programm
und
für
die
Richtigkeit
der
Informatik.
ParaCrawl v7.1
His
dissertation
"Intuitionistische
axiomatieks
der
projektieve
meetkunde"
(Intuitionistic
axiomatics
of
projective
geometry)
was
the
first
study
of
axiomatisation
in
constructive
mathematics.
Seine
Dissertation
"Intuitionistische
axiomatieks
der
projektieve
meetkunde"
(Intuitionistic
axiomatics
der
projektiven
Geometrie)
war
die
erste
Studie
über
axiomatisation
in
konstruktive
Mathematik.
ParaCrawl v7.1