axiomatische Mengenlehre oor Engels
axiomatische Mengenlehre
Vertalings in die woordeboek Duits - Engels
axiomatic set theory
en
version of set theory in which axioms are taken as uninterpreted rather than as formalizations of pre-existing truths; defined using a formal logic
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
axiomatische Mengenlehre {f} [noun] [math.]
No, he' s not a spylangbot langbot
Shoenfield beschäftigte sich mit Rekursionstheorie, Modelltheorie und axiomatischer Mengenlehre.
Don' t let folks see it.They' il get worked up for nothingWikiMatrix WikiMatrix
axiomatische Mengenlehre {f}
It seemed like she picked on me a lotlangbot langbot
Aber zumindest seit 1963 (Paul Cohen) wissen wir, daß auch die axiomatische Mengenlehre Menschenwerk 53 ist.
Oh, shit, there he isLiterature Literature
Einige Ansätze definieren die reellen Zahlen ausdrücklich als Strukturen, die sich aus den rationalen Zahlen ergeben, durch axiomatische Mengenlehre.
I' veseen a lot of them, and most of them were pictures on a wallWikiMatrix WikiMatrix
Er hat über Themen der Logik erster und zweiter Ordnung, der axiomatischen Mengenlehre und über Berechenbarkeit und Komplexität gearbeitet.
For the ticketsWikiMatrix WikiMatrix
Das Mittel dafür konnte nur ein axiomatischer Aufbau der Mengenlehre oder eine logische Fundierung sein.
This' il be for my fourth birdieLiterature Literature
Vorlesung Axiomatische Mengenlehre (Wintersemester 2013/14)
I' il fucking kill youParaCrawl Corpus ParaCrawl Corpus
EuDML | Über eine Widerspruchfreiheitsfrage in der axiomatischen Mengenlehre.
What we need is another Civil WarParaCrawl Corpus ParaCrawl Corpus
Axiomatische Mengenlehre, Deskriptive Mengenlehre (Prof. Dr. Otmar Spinas)
prohibit by # March # at the latest, trade in and use of products not conforming to this DirectiveParaCrawl Corpus ParaCrawl Corpus
Neben logischen Axiomen benötigt Hilbert II nur die Axiome der axiomatischen Mengenlehre.
the flight plan is cancelled in the sending unit and the coordination is no longer relevantParaCrawl Corpus ParaCrawl Corpus
Wir haben begonnen ein Skript über axiomatische Mengenlehre zu schreiben.
Rosa, will you kiss me?ParaCrawl Corpus ParaCrawl Corpus
Die axiomatische Mengenlehre konstruiert Modelle des mathematischen Universums, insbes. um Konsistenz bzw. Unabhängigkeit mathematischer Aussagen nachzuweisen.
Come on, we charm libitum.- Really?- Do it!ParaCrawl Corpus ParaCrawl Corpus
EuDML | Über eine Widerspruchfreiheitsfrage in der axiomatischen Mengenlehre.
Not understood in those # years I expected from youParaCrawl Corpus ParaCrawl Corpus
Axiomatische Mengenlehre 1
I mean, I was an intern foreverParaCrawl Corpus ParaCrawl Corpus
Wir haben ein einfaches LaTeX-Dokument, das wie jedes andere mathematische Textbuch über axiomatische Mengenlehre aussieht.
That line should be brought down to the #th parallel which is internationally recognized as a northern communityParaCrawl Corpus ParaCrawl Corpus
Die Banach-Tarski-Paradoxon war ein wichtiger Beitrag zu den laufenden Arbeiten in axiomatisch Mengenlehre in diesem Zeitraum.
When I met you, Dennis Rodman looked better in a dressParaCrawl Corpus ParaCrawl Corpus
Es dauerte ein halbes Jahrhundert, bis John von Neumann die erste formal exakte Definition der transfiniten Zahlen innerhalb der axiomatischen Mengenlehre geben konnte.
No, don' t wake him upParaCrawl Corpus ParaCrawl Corpus
Die Zermelo-Fraenkel-Mengenlehre ist eine verbreitete axiomatische Mengenlehre, die nach Ernst Zermelo und Abraham Adolf Fraenkel benannt ist. Sie ist heute Grundlage fast aller Zweige der Mathematik.
Or did I do wrong?ParaCrawl Corpus ParaCrawl Corpus
Er leistete maßgebliche Beiträge zur Prädikatenlogik (Vollständigkeit und Entscheidungsproblem in der Arithmetik und der axiomatischen Mengenlehre), zu den Beziehungen der intuitionistischen Logik sowohl zur klassischen Logik als auch zur Modallogik sowie zur Relativitätstheorie in der Physik.
She has her duty as a NoroParaCrawl Corpus ParaCrawl Corpus
Außerdem befasste er sich mit axiomatischer Mengenlehre. Bar-Hillel wuchs in Berlin auf. Er emigrierte 1933 nach Palästina, lebte kurz in einem Kibbuz und schloss sich im Zweiten Weltkrieg der Jüdischen Brigade der Britischen Armee an.
You could go backParaCrawl Corpus ParaCrawl Corpus
↑ Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre.
You may now kiss the brideParaCrawl Corpus ParaCrawl Corpus
↑ Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre.
And, surely, your father can' t be in favor of thatParaCrawl Corpus ParaCrawl Corpus
↑ Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre.
Such a major impairment might be, for example, where no technical facilities for the use of the alternative are available or economically feasibleParaCrawl Corpus ParaCrawl Corpus
Unter anderem werden die folgenden Themen behandelt: Geschichte der mathematischen Logik, formale Systeme, axiomatische Zahlentheorie und Mengenlehre, Beweistheorie, die Gödel‘schen Unvollständigkeitssätze, Berechenbarkeitstheorie, algorithmische Informationstheorie, Modelltheorie.
Car accidentParaCrawl Corpus ParaCrawl Corpus
26 sinne gevind in 9 ms. Hulle kom uit baie bronne en word nie nagegaan nie.