What is the translation of " SET THEORY " in German?

• Mengenlehre
• Set-theorie

Examples of using Set theory in English and their translations into German

Osma Harvalathi presents in his book a kind of visual set theory.
Osma Harvalathi präsentiert in seinem Buch eine Art visuelle Mengenleere.

Set theory, logarithmic, and geographic... every kind of cipher. Unless.
Mengenlehre, logarithmisch und geographisch, jede Art von Chiffre, es sei denn.

This trend has expanded in mathematics, set theory, linguistics, etc.
Dieser Trend hat sich in der Mathematik erweitert, Mengenlehre, Linguistik, usw.

Originally I worked in set theory and some of these problems are still being worked on intensively.
Ursprünglich arbeitete ich im Set Theorie und einige dieser Probleme sind noch immer intensiv gearbeitet.

It remains to be proven whether the standard operations of standard set theory; i. e.
Es bleibt nachgewiesen zu werden ob die Standardbetriebe der Standardmengenlehre; d.h.

It is a research area within mathematics, set theory, which describes complicated and ambiguous typologies.
Es ist ein Forschungsgebiet in der Mathematik, der Set Theory, mit der man komplizierte oder zweideutige Typologien beschreiben kann.

Differential geometry was not Finsler's research topic for long since he moved to take up set theory.
Differentialgeometrie war nicht Finsler's Forschungsthema für längst wechselte er zur Aufnahme Mengenlehre.

And a variety of paradoxes were also discovered in set theory, such as Russell's paradox.
Und eine Anzahl an Paradoxien wurde auch in der Mengenlehre entdeckt, wie z.B. Russels Paradox….

The first research group, which started at the ZiF in April 1973, was concerned with"New Mathematics" set theory.
Die erste Forschungsgruppe, die im ZiF schließlich im April 1973 startete, befasste sich mit der"Neuen Mathematik" Mengenlehre.

Starting in grade 7 students are taught algebra, set theory, and computer science.
Beginnend in Klasse 7, werden Schüler in Algebra, Mengenlehre und Informatik unterrichtet.

For set theory there are simple discrete models integrated so the application can check if a formula is valid.
Für die Mengelehre gibt es auch simple diskrete Modelle, welche zur Überprüfung der Gültigkeit von Formeln verwendet werden könnnen.

Our formal syntax is so rich, that the necessary notations and formulas of basic set theory can be expressed.
Die formale Syntax ist so reichhaltig, dass die notwendigen Schreibweisen und Formeln der elementaren Mengenlehre ausgedrückt werden können.

In Bonn, he began a lecture on set theory, which he repeated in the summer semester 1912, substantially revised and expanded.
In Bonn begann er mit einer Vorlesung über Mengenlehre, die er im Sommersemester 1912, wesentlich überarbeitet und erweitert, wiederholte.

The theorem of Alexandroff and Hausdorff was a strong impetus for further development of descriptive set theory.
Der Satz von Alexandroff und Hausdorff war ein kräftiger Impuls für die weitere Entwicklung der deskriptiven Mengenlehre.

That upside down u is just an intersection in set theory, but it's essentially saying, you know, it's a set of events in which both a and b occur.
Das umgedrehte U ist nur die Schnittmenge in der Mengenlehre, aber was es uns sagt, ist, es handelt um den Fall, dass sowohl A als auch B eintreffen.

Set theory, measure theory, topology, geometry, classical and universal algebra, algebraic logic, various branches of formal logic and metamathematics.
Mengenlehre, Maßtheorie, Topologie, Geometrie, klassische und universelle Algebra, algebraische Logik, verschiedene Zweige der formalen Logik und metamathematics.

The library collection is focussed on mathematical logic, particularly proof theory and the history and philosophy of logic and set theory.
Das Sortiment der Bücher ist ausgerichtet an mathematischer Logik, mit einem Schwerpunkt in Beweistheorie, sowie Geschichte und Philosophie der Logik, Mengenlehre und mathematischer Grundlagenforschung.

This was one of the first lectures on set theory at all; Ernst Zermelo's lectures in Göttingen College during the winter semester of 1900/1901 was a little earlier.
Dies war eine der ersten Vorlesungen über Mengenlehre überhaupt, nur Ernst Zermelos Kolleg in Göttingen im Wintersemester 1900/1901 war ein wenig früher.

After Aleksandrov's great successes Luzin did what many a supervisor might do, he realised that he had one of the greatest mathematical talents in Aleksandrov so he thought that it was worth asking him to try to solve the biggest open problem in set theory, namely the continuum hypothesis.
Nach Alexandrow große Erfolge Luzin tat, was viele vielleicht ein Betreuer tun, er erkannte, dass er eines der größten Talente in mathematischen Alexandrow, so dachte er, es sei wohl die Frage stellen, ihn zu versuchen zu lösen, der größten offenen Probleme im Set-Theorie, nämlich das Kontinuum Hypothese.

Mymble formal contents of basic set theory We have a set theory script that has all the axioms, definitions and propositions written in a formal language in it.
Mymble Formaler Inhalt elementarer Mengenlehre Wir haben ein Mengenlehreskript, welches alle Axiome, Definitionen und Propositionen in formaler Form besitzt.

Beginning with fun-filled monkey tricks and classic brain-teasers with devilish new twists, Professor Smullyan spins a logical labyrinth of even more complex and challenging problems as he delves into some of the deepest paradoxes of logic and set theory, including Gödel 's revolutionary theorem of undecidability.
Beginnend mit Spaß-gefüllt Affe Tricks und klassische Brain-Teaser mit teuflisch neuen Wendungen, Professor Smullyan dreht eine logische Labyrinth der noch komplexer und anspruchsvoller Probleme befasst, wie er in einige der tiefsten Paradoxien der Logik und der Mengenlehre, einschließlich Gödel's revolutionären Theorem der Unentscheidbarkeit.

His work in set theory considered a function as a set of ordered pairs and this made the function notion as proposed by Frege, Charles Peirce and Schröder redundant.
Seine Arbeit im Set-Theorie als eine Funktion als eine Menge von Paaren bestellt und diese aus der Funktion Begriff, wie sie von Frege, Charles Peirce und Schröder überflüssig.

Tattvacintāmani dealt with all the important aspects of Indian philosophy, logic, set theory, and especially epistemology, which Gangeśa examined rigorously, developing and improving the Nyāya scheme.
Die Tattvachintamani behandelt sämtliche wichtigen Aspekte der indischen Philosophie, der Logik, der Mengenlehre und besonders der Epistemologie, die von Gangeśa explizit untersucht wurde.

Logic, set theory, relations(equivalence relations, order relations), functions, groups, rings, fields(complex numbers), isomorphisms, linear algebra(vector spaces, matrices, systems of linear equations), geometry skalar product, projections.
Logik, Mengenlehre, Relationen(Äquivalenzrelationen und Ordnungsrelationen), Funktionen, Gruppen, Ringe, Körper(komplexe Zahlen), Isomorphismen, lineare Algebra(Vektorräume, Matrizen und Gleichungssysteme) sowie Geometrie Skalarprodukt und Projektionen.

He worked tirelessly and published, in addition to the expanded edition of his work on set theory, seven works on topology and descriptive set theory, all published in Polish magazines: one in Studia Mathematica, the others in Fundamenta Mathematicae.
Er arbeitete unermüdlich weiter und publizierte neben der erweiterten Neuauflage seiner"Mengenlehre" noch sieben Arbeiten zur Topologie und deskriptiven Mengenlehre, die alle in polnischen Zeitschriften erschienen: eine in"Studia Mathematica", die übrigen in"Fundamenta Mathematicae.

Descriptive set theory, measure theory and analysis===In 1916, Alexandroff and Hausdorff independently solved the continuum problem for Borel sets: Every Borel set in a complete separable metric space is either countable or has the cardinality of the continuum.
Deskriptive Mengenlehre, Maßtheorie und Analysis ===Im Jahre 1916 lösten Hausdorff und Alexandroff unabhängig voneinander das Kontinuumproblem für Borelmengen: Jede Borelmenge in einem vollständigen separablen metrischen Raum ist entweder höchstens abzählbar oder sie hat die Mächtigkeit des Kontinuums.

The project will be addressed by three different disciplines in order to illuminate the development of forcing and its significance: the historical section will illustrate the application and the resulting development and practice of forcing in mathematics up to the present; the mathematical section will show how this instrument has reconfigured set theory and consequently the foundations of mathematics; and the philosophical section will investigate the influence forcing has on philosophical questions and on research programmes.
Das Projekt wird sich der Methoden dreier Fachrichtungen bedienen, um die Entwicklung von Forcing und deren Bedeutung nachzuzeichnen: Der geschichtliche Teil wird die Anwendung und die dadurch bewirkte Entwicklung in der Mathematik bis heute darstellen; der mathematische Teil wird zeigen, wie das Instrument die Mengenlehre und damit die Grundlagen der Mathematik neu geordnet hat; und der philosophische Teil wird erforschen, welchen Einfluss Forcing auf philosophische Fragestellungen und Forschungsprogramme hat.

Kuratowski gave an elementary course on set theory, and I asked some questions, then I talked to him after classes, and he became interested in a young student who evidently was interested in mathematics and had some ideas.
Kuratowski gab einen elementaren Kurs über Mengenlehre, und ich einige Fragen gestellt, dann muss ich sprach mit ihm nach Klassen, und er interessiert sich eine junge Studentin, war offenbar Interesse an Mathematik und hatte einige Ideen.

Formulate and write down facts using propositional calculus and set theory in a logically and formally correct way, represent numbers in different number systems und perform calculations in Z_m using finite field arithmetic;
Sachverhalte mithilfe der Aussagenlogik und Mengenlehre logisch korrekt zu formulieren und formal richtig anzuschreiben, Zahlen in unterschiedlichen Zahlensystemen darzustellen und Rechenoperationen in Z_m mithilfe modularer Arithmetik durchzuführen;

Algebra The module covers the Algebra Linear Algebra with the basics of mathematical logic and set theory, algebraic structures, theory of vector spaces, linear transformations, determinants, eigenvalues of endomorphisms, vector spaces, and Euclidean and unitary Jordan form, and in Higher Algebra theories about groups, rings, fields, homomorphisms and isomorphisms.
Algebra Das Modul Algebra behandelt die Lineare Algebra1/2 mit den Grundlagen der mathematischen Logik und Mengenlehre, algebraische Strukturen, Theorie der Vektorräume, lineare Abbildungen, Determinanten, Eigenwerte von Endomorphismen, Euklidische und unitäre Vektorräume sowie Jordansche Normalform sowie in der Höheren Algebra die Theorien über Gruppen, Ringe, Körper, Homomorphismen und Isomorphismen.