Übersetzung für "Axiomatization" in Deutsch
The
mathematical
aspects
of
this
unification
and
Duhem's
priority
in
the
axiomatization
of
thermodynamics
are
emphasized.
Die
mathematische
Aspekte
dieser
Einigung
und
Duhem's
Priorität
in
der
axiomatization
der
Thermodynamik
betont
werden.
ParaCrawl v7.1
Fischer
and
Rabin
also
proved
that
for
any
reasonable
axiomatization
(defined
precisely
in
their
paper),
there
exist
theorems
of
length
"n"
which
have
doubly
exponential
length
proofs.
Fischer
und
Rabin
zeigten
auch,
dass
für
jede
(in
einem
von
ihnen
präzisierten
Sinne)
vernünftige
Axiomatisierung
Sätze
beliebiger
Länge
existieren,
deren
kürzester
Beweis
von
doppelt-exponentieller
Länge
ist.
Wikipedia v1.0
In
the
1970s,
he
worked
on
the
fundamentals
of
physics,
including
an
axiomatization
of
space-time
and
the
group
theoretical
properties
of
the
axioms
of
quantum
mechanics.
In
den
1970er
Jahren
widmete
er
sich
den
Grundlagen
der
Physik,
unter
anderem
einer
Axiomatisierung
der
Raum-Zeit
und
den
gruppentheoretischen
Eigenschaften
der
Axiome
der
Quantenmechanik.
WikiMatrix v1
Fischer
and
Rabin
also
proved
that
for
any
reasonable
axiomatization
(defined
precisely
in
their
paper),
there
exist
theorems
of
length
n
which
have
doubly
exponential
length
proofs.
Fischer
und
Rabin
zeigten
auch,
dass
für
jede
(in
einem
von
ihnen
präzisierten
Sinne)
vernünftige
Axiomatisierung
Sätze
beliebiger
Länge
existieren,
deren
kürzester
Beweis
von
doppelt-exponentieller
Länge
ist.
WikiMatrix v1
But
the
Austrian-American
mathematician
Kurt
Gödel
(1906
to
1978)
demonstrated
with
his
so-called
incompleteness
theorems
that
no
axiomatization
is
capable
of
solving
all
questions
in
mathematics.
Der
österreichisch-amerikanische
Mathematiker
Kurt
Gödel
(1906
bis
1978)
hat
mit
seinen
sogenannten
Unvollständigkeitssätzen
jedoch
gezeigt,
dass
es
keine
Axiomatisierung
geben
kann,
die
in
der
Lage
ist,
alle
Fragen
der
Mathematik
zu
lösen.
ParaCrawl v7.1
Every
axiomatization
will
contain
questions,
or
sentences,
that
are
'independent',
in
other
words
are
neither
provable
nor
disprovable
and
consequently
cannot
be
decided
as
true
or
false.
In
jeder
Axiomatisierung
wird
es
immer
Fragen
beziehungsweise
Sätze
geben,
die
"unabhängig",
also
weder
beweisbar
noch
widerlegbar
sind
und
damit
nicht
als
wahr
oder
falsch
entschieden
werden
können.
ParaCrawl v7.1
She
published
Axiomatization
of
the
infinite-valued
predicate
calculus
in
the
Journal
of
Symbolic
Logic
in
1963
in
which
she
gave
a
set
of
nine
axiom
schemes
and
two
rules
for
the
predicate
calculus
based
on
the
infinite-valued
sentential
calculus
of
Lukasiewicz
.
Sie
veröffentlichte
Axiomatization
der
unendlich-Wert
Prädikat
Kalkül
im
Journal
of
Symbolic
Logic
im
Jahr
1963,
in
dem
sie
gab
eine
Reihe
von
neun
Axiom
Systeme
und
zwei
Regeln
für
das
Prädikat
Kalkül
beruht
auf
der
unendlich-Wert
sentential
Calculus
of
Lukasiewicz.
ParaCrawl v7.1