Translation of "Undecidable" in German
The
word
problem
for
an
ARS
is
undecidable
in
general.
Das
Wortproblem
für
ein
ARS
ist
im
Allgemeinen
unentscheidbar.
Wikipedia v1.0
We
show
that
the
closed
formula
B(k)
is
undecidable.
Wir
zeigen,
daß
die
abgeschlossene
Formel
B(k)
unentscheidbar
ist.
EuroPat v2
The
artist
translates
this
undecidable
ambivalence
in
the
original
into
the
medium
of
the
video
installation.
Diese
unentscheidbare
Ambivalenz
der
Vorlage
übersetzt
die
Künstlerin
in
das
Medium
der
Videoinstallation.
ParaCrawl v7.1
Wang
tiles
can
be
generalized
in
various
ways,
all
of
which
are
also
undecidable
in
the
above
sense.
Wang-Kacheln
können
in
verschiedenster
Weise
verallgemeinert
werden,
die
alle
unentscheidbar
in
obigem
Sinne
sind.
WikiMatrix v1
In
a
series
of
papers
Robinson
showed
that
a
number
of
mathematical
theories
are
undecidable.
In
einer
Reihe
von
Papieren
Robinson
zeigte,
dass
eine
Reihe
von
mathematischen
Theorien
sind
unentscheidbare.
ParaCrawl v7.1
At
this
level
the
disagreement
between
analytic
and
concrete
systems
theory
would
seem
to
be
undecidable.
Auf
dieser
Ebene
scheint
der
Streit
zwischen
analytischen
und
konkreten
Systemtheorien
unentscheidbar
zu
sein.
ParaCrawl v7.1
This
is
in
strong
contrast
to
many
other
attempts
to
derive
type
inference
algorithms,
which
often
came
out
to
be
NP-hard,
if
not
undecidable
with
respect
to
termination.
Es
steht
damit
in
starkem
Kontrast
zu
vielen
anderen
Versuchen,
ein
Typinferenzverfahren
herzustellen,
die
sich
oft
als
NP-schwer,
wenn
nicht
unentscheidbar
bzgl.
Terminierung
herausgestellt
haben.
WikiMatrix v1
Gödel?s
Incompleteness
Theorem
says
that
every
formal
number
theory
contains
an
undecidable
formula,
that
is,
neither
the
formula
nor
its
negation
are
provable
in
the
theory.
Gödels
Unvollständigkeitssatz
besagt,
daß
es
in
jeder
formalen
Zahlentheorie
eine
unentscheidbare
Formel
gibt,
d.
h.
weder
diese
Formel
noch
ihre
Negation
sind
in
der
Zahlentheorie
beweisbar.
EuroPat v2
In
the
proof
in
Table
3,
the
undecidable
formula
is
produced
by
the
composition
procedure
which
applies
Rules
14-20.
Im
Beweis
in
Tabelle
3
wird
die
unentscheidbare
Formel
durch
das
Kompositionsverfahren
erzeugt,
das
die
Regeln
14-20
anwendet.
EuroPat v2
Starting
with
the
work
of
Novikov
and
Boone
from
the
1950's,
all
three
problems
turned
out
to
be
undecidable
in
general.
Startend
mit
Arbeiten
von
Novikov
und
Boone
aus
den
1950er
Jahren
wurden
alle
drei
Probleme
als
unentscheidbar
nachgewiesen.
ParaCrawl v7.1
From
an
epistemological
point
of
view
the
conflict
between
economic
subjectivism
and
moral
objectivism
in
Christian
Social
Ethics
is
undecidable.
Auf
rein
erkenntnistheoretischer
Ebene
ist
der
Konflikt
zwischen
ökonomischem
Subjektivismus
und
dem
ethischen
Objektivismus
in
der
christlichen
Sozialethik
unentscheidbar.
ParaCrawl v7.1
In
her
thesis
Definability
and
decision
problems
in
arithmetic
Robinson
proved
that
the
arithmetic
of
rational
numbers
is
undecidable
by
giving
an
arithmetical
definition
of
the
integers
in
the
rationals.
In
ihrer
Diplomarbeit
Definability
Entscheidung
und
Probleme
in
Arithmetik
Robinson
bewiesen,
dass
die
Arithmetik
der
reellen
Zahlen
ist
unentscheidbare,
indem
er
ein
arithmetische
Definition
der
ganzen
Zahlen
in
die
rationale.
ParaCrawl v7.1
Moreover,
in
cybersecurity,
some
problems
require
so
much
computational
capacity
–
or
are
so
time-consuming
–
that
even
a
machine
learning
algorithm
would
be
ineffective
in
solving
them
–
making
them
practically
undecidable.
Darüber
hinaus
verlangen
einige
Probleme
in
der
Cyber
Security
so
viel
Rechenkapazität
–
oder
sind
so
zeitaufwändig
–
dass
selbst
ein
Machine
Learning
Algorithmus
bei
der
Lösung
eines
Problems
unwirksam
wäre,
weil
es
quasi
"unentscheidbar"
ist.
ParaCrawl v7.1
Well,
to
return
to
our
problem,
that
is,
if
there
can
be
a
program
capable
of
detecting
any
virus,
Leonard
Max
Adleman
has
shown
that
this
problem
is
equivalent
to
the
better
known
"halting
problem"
and
therefore
it
too
undecidable.
Um
auf
unser
Problem
zurückzukommen:
Wenn
es
ein
Programm
gibt,
das
Viren
erkennen
kann,
hat
Leonard
Max
Adleman
gezeigt,
dass
dieses
Problem
dem
bekannteren
"Stopping-Problem"
entspricht
und
daher
auch
unentscheidbar.
CCAligned v1
In
addition
to
work
on
Hilbert
's
Tenth
Problem,
Robinson
also
wrote
other
important
mathematics
papers:
on
general
recursive
functions
(1950),
on
primitive
recursive
functions
(1955),
on
the
undecidability
of
algebraic
rings
and
fields
(1959)
and
on
decision
problems
for
algebraic
rings
in
1962
in
which
she
showed
that
rings
of
integers
of
various
fields
of
algebraic
numbers
are
undecidable.
Neben
der
Arbeit
an
Hilbert
's
Zehnten
Problem,
Robinson
schrieb
auch
andere
wichtige
Papiere
Mathematik:
über
die
allgemeine
rekursive
Funktionen
(1950),
in
primitiven
rekursiven
Funktionen
(1955),
in
der
Unentscheidbarkeit
algebraischer
Ringe
und
Felder
(1959)
und
Entscheidung
über
die
Probleme
Algebraische
Ringe
im
Jahr
1962,
in
denen
sie
zeigten,
dass
die
Ringe
von
ganzen
Zahlen
von
verschiedenen
Bereichen
der
algebraischen
Zahlen
sind
unentscheidbare.
ParaCrawl v7.1