Translation of "Decidability" in German
The
illusion
of
sovereign
action
on
the
part
of
the
individual
and
the
romantic
notion
of
anthropomorphic
decidability
are
tempered
as
a
result.
Die
Illusion
des
souveränen
Handelns
des
Individuums
und
die
Romantik
der
anthropomorphen
Entscheidbarkeit
wird
gedämpft.
ParaCrawl v7.1
Turing
did
not
forget
about
questions
of
decidability
which
had
been
the
starting
point
for
his
brilliant
mathematical
publications.
Turing
nicht
vergessen,
über
Fragen
der
decidability
das
war
der
Ausgangspunkt
für
seine
brillante
mathematische
Publikationen.
ParaCrawl v7.1
There
are
variations
on
the
rules
about
adjacent
tiles,
and
for
each
rule
the
decidability
question
and
the
periodicity
question
have
been
settled.
Es
gibt
Variationen
über
die
Regeln
für
den
Umgang
mit
angrenzenden
Fliesen,
und
für
jede
Regel
die
Frage
decidability
und
Periodizität
der
Frage
wurden
abgewickelt.
ParaCrawl v7.1
In
1934
Gentzen
gave
the
method
of
succinct
Sequenzen,
rules
of
consequents,
which
were
particularly
useful
for
deriving
metalogical
decidability
results.
Im
Jahr
1934
gab
Gentzen
die
Methode
der
knappen
Sequenzen,
die
Regeln
der
consequents,
die
besonders
nützlich
für
die
Ableitung
metalogical
decidability
Ergebnisse.
ParaCrawl v7.1
But
because
only
two
positions
are
needed,
every
decidability
awakens
the
fiction
of
feasibility,
which
evokes
a
pragmatics
of
trial
and
error
that
ascribes
everything
to
the
probability
of
actual
choices,
so
long
as
anything
is
countable
and
therefore
manageable.
Jede
Entscheidbarkeit
aber
weckt,
weil
sie
allein
zwei
Positionen
benötigt,
die
Fiktion
einer
Machbarkeit,
die
eine
Pragmatik
der
Probe
evoziert,
welche
alles
auf
die
Wahrscheinlichkeit
von
tatsächlichen
Wahlen
zurückführt,
solange
etwas
überhaupt
zählbar
und
daher
überschaubar
ist.
ParaCrawl v7.1
In
one
sense
'decidability'
was
a
simple
question,
namely
given
a
mathematical
proposition
could
one
find
an
algorithm
which
would
decide
if
the
proposition
was
true
of
false.
In
gewissem
Sinne
"decidability
'war
eine
einfache
Frage,
nämlich
eine
mathematische
Aussage
könnte
man
finden,
ein
Algorithmus,
würde
entscheiden,
ob
der
Vorschlag
gilt
für
falsch.
ParaCrawl v7.1
During
the
early
1960s
Malcev
worked
on
problems
of
decidability
of
elementary
theories
of
various
algebraic
structures.
In
den
frühen
1960er
Jahren
arbeitete
Malcev
auf
Probleme
der
decidability
elementarer
Theorien
der
verschiedenen
algebraischen
Strukturen.
ParaCrawl v7.1
This
result
also
covers
the
decidability
of
other
important
problems
for
Petri
nets
(etc.),
such
as
their
liveness.
Dieses
Resultat
beinhaltet
auch
die
Entscheidbarkeit
weiterer
wichtiger
Probleme
für
Petrinetze
(etc.),
z.B.
deren
Lebendigkeit.
ParaCrawl v7.1