Naive Mengenlehre oor Engels

Naive Mengenlehre

Vertalings in die woordeboek Duits - Engels

naive set theory

one of several theories of sets used in the discussion of the foundations of mathematics; defined informally, in natural language

naive Mengenlehre

Vertalings in die woordeboek Duits - Engels

naive set theory

naamwoord

voorbeelde

Diese werden wir hier ebenso wenig formal definieren wie Standardbegriffe aus der naiven Mengenlehre.
We will not define these formally here, nor will we define the basic concepts of set theory.

naive Mengenlehre {f}
naive set theory [noun] [math.]

naive Mengenlehre {f} [noun] [math.]
naive set theory

Wir diskutieren die Sprachmittel, die zur Formalisierung des P = N P-Problems in einer naiven Mengenlehre benötigt werden.
We discuss the language necessary to give a formalization of the P = N P-question in a Cantor's style set-theory.

ELMT entspricht der Elementrelation der naiven Mengenlehre.
ELMT corresponds to the element relation of naive set theory.

Voraussetzungen für den Leser Voraussetzung für das Studium dieses Buchs ist die naive Mengenlehre.
Prerequisites A first prerequisite for the study of this book is an acquaintance with naive set theory.

Elemente sind also keine von den Mengen unterschiedenen Objekte, wie das oft in der naiven Mengenlehre der Fall ist.
In particular elements are not objects different from sets, contrary to the view of naive set theory.

Bei CONWAYS Konstruktion reicht eine nur naiv verstandene Mengenlehre nicht mehr ganz aus.
For Conway's construction, naive set theory does not entirely suffice.

Russellsche Antinomie ergibt sich als Folge der naiven Mengenlehre der sogenannten uneingeschränkten Verständnis (oder Abstraktion) Axiom.
Russell's paradox arises as a result of naive set theory's so-called unrestricted comprehension (or abstraction) axiom.

Zwischen 1902 und 1908 schlug Bertrand Russell verschiedene Typentheorien vor, mit denen die Russellsche Antinomie der naiven Mengenlehre Gottlob Freges vermieden werden sollte.
Between 1902 and 1908 Bertrand Russell proposed various "theories of type" in response to his discovery that Gottlob Frege's version of naive set theory was afflicted with Russell's paradox.