Translation of "Predicate calculus" in German
Basis
for
the
mathematical
argumentation
is
the
so
called
predicate
calculus.
Grundlage
der
mathematischen
Argumentation
ist
die
sogenannte
Prädikatenlogik.
ParaCrawl v7.1
Thus,
there
exist
extensions
of
the
field
of
real
numbers
that
possess
all
the
properties
of
the
system
of
real
numbers
that
are
formulated
in
the
lower
predicate
calculus
in
terms
of
some
given
set
of
relations.
So
gibt
es
Erweiterungen
im
Bereich
der
reellen
Zahlen,
die
über
alle
Eigenschaften
des
Systems
der
reellen
Zahlen
formuliert
werden,
dass
in
der
unteren
Prädikat
Kalkül
in
Bezug
auf
einen
bestimmten
Satz
von
Beziehungen.
ParaCrawl v7.1
By
starting
"Load
All
Modules
From
Project
Home
Page"
all
QEDEQ
modules
known
to
the
prototype
are
downloaded
from
the
website,
loaded
and
checked
(see
propositional
calculus
and
predicate
calculus).
Durch
Start
von
"Load
All
Modules
From
Project
Home
Page"
werden
automatisch
alle
dem
Prototypen
bekannten
QEDEQ-Module
von
der
Website
geladen
(siehe
Aussagenlogik
und
Prädikatenlogik).
ParaCrawl v7.1
He
worked
on
mathematical
logic
solving
certain
cases
of
the
decision
problem
for
the
first
order
predicate
calculus,
simplified
results
of
Bernays,
and
worked
on
ideas
of
Post,
Gödel
and
Church
.
Er
arbeitete
in
der
mathematischen
Logik
der
Lösung
von
bestimmten
Fällen
die
Entscheidung
für
das
Problem
zum
ersten
Mal
bestellen
Prädikat
Kalkül,
vereinfachte
Ergebnisse
Bernays,
und
arbeitete
auf
Ideen
von
Post,
Gödel
und
Kirche.
ParaCrawl v7.1
It
states
that
if
a
theory
within
first-order
predicate
calculus
has
a
model
then
it
has
a
countable
model.
Es
besagt,
dass,
wenn
eine
Theorie
in
erster
Ordnung
Prädikat
Kalkül
hat
ein
Modell
ist,
hat
sie
ein
Modell
zählbar.
ParaCrawl v7.1
His
contributions
relating
to
mathematics
include
his
discovery
of
Russell's
paradox,
his
defence
of
logicism
(the
view
that
mathematics
is,
in
some
significant
sense,
reducible
to
formal
logic),
his
introduction
of
the
theory
of
types,
and
his
refining
and
popularizing
of
the
first-order
predicate
calculus.
Seine
Beiträge
im
Zusammenhang
mit
der
Mathematik
sind
seine
Entdeckung
der
Russellsche
Antinomie,
seine
Verteidigung
der
logicism
(die
Auffassung,
dass
die
Mathematik
ist
in
einigen
wichtigen
Sinn,
reduzierbar
auf
formale
Logik),
seine
Einführung
der
Theorie
der
Arten,
und
seine
Raffination
und
Popularisierung
der
ersten
Ordnung
Prädikat
Kalkül.
ParaCrawl v7.1
The
core
vision
of
AI
says
that
a
version
of
first-order
predicate
logic
(“first-order
predicate
calculus”
or
“FOPC”)
supported
by
the
necessary
mechanisms
for
the
respective
problem
is
sufficient
for
representing
language
and
knowledge.
Die
zentrale
Vision
der
KI
besagt,
dass
eine
Version
von
erster-Ordnung
Prädikatenlogik
(first-order
predicate
calculus,
FOPC),
unterstützt
durch
für
die
jeweilige
Problemstellung
erforderliche
Mechanismen,
für
die
Repräsentation
von
Sprache
und
Wissen
ausreichend
ist.
ParaCrawl v7.1