mengenlehre in Vietnamese

@die Mengenlehre
- {theory of quantities}

Sentence patterns related to "mengenlehre"

1. Martin ist für Arbeiten in der axiomatischen Mengenlehre bekannt.

2. Marczewskis Interessenfelder waren Maßtheorie, deskriptive Mengenlehre, topologische Geometrie, Wahrscheinlichkeitstheorie und Algebra.

3. Neben Cantor war auch Richard Dedekind ein wichtiger Wegbereiter der Mengenlehre.

Ngoài Cantor, Richard Dedekind là một nhà tiên phong quan trọng của lý thuyết về lý thuyết tập hợp.

4. Die Mengenlehre wurde von Georg Cantor in den Jahren 1874 bis 1897 begründet.

Lý thuyết tập hợp được sáng lập bởi Georg Cantor trong những năm 1874 đến năm 1897.

5. Ein Satz in der axiomatischen Mengenlehre über eine Partitionsfunktion ist nach ihm und James Baumgartner benannt.

6. Die endgültige Anerkennung der ZF-Mengenlehre in der Praxis zog sich allerdings noch über längere Zeit hin.

Tuy nhiên, sự công nhận cuối cùng của lý thuyết tập hợp ZF trong thực tế trì hoãn trong một thời gian dài.

7. Krivine entwickelte ein Programm um dieses Konzept der Realisierbarkeit und wandte es in den 2000er Jahren auch auf die axiomatische Mengenlehre an, um neue Modelle der Zermelo Fraenkel Mengenlehre zu gewinnen, die nicht auf dem Forcing Konzept beruhen.

8. Die Arbeiten von Heine über Fourierreihen waren ein Ausgangspunkt für Georg Cantors Untersuchungen, die zu dessen Entwicklung der Mengenlehre führten.

9. Statt des Begriffs Menge benutzte er anfangs Wörter wie „Inbegriff“ oder „Mannigfaltigkeit“; von Mengen und Mengenlehre sprach er erst später.

Thay cho thuật ngữ "tập hợp", ban đầu ông ta đã sử dụng những từ như "biểu hiện" (inbegriff) hoặc "sự đa dạng" (Mannigfaltigkeit); Về tập hợp và Lý thuyết tập hợp, ông chỉ nói sau đó.

10. In den 1960er Jahren wurde es dann allgemein bekannt, dass sich die ZF-Mengenlehre als Grundlage der Mathematik eignet.

Trong những năm 1960, nó trở nên phổ biến rộng rãi rằng, lý thuyết tập hợp ZF thích hợp là cơ sở cho toán học.

11. Die Resultate ermöglichen eine neue und natürliche Motivierung für die Axiome der Zermelo-Fraenkel-Mengenlehre mit Auswahlaxiom (ZFC).

12. Einige Ansätze definieren die reellen Zahlen ausdrücklich als Strukturen, die sich aus den rationalen Zahlen ergeben, durch axiomatische Mengenlehre.

13. Letztlich erwies sie sich aber als unzulänglich für Cantors Mengenlehre und konnte sich auch wegen ihrer Kompliziertheit nicht durchsetzen.

Cuối cùng, tuy nhiên, nó chứng tỏ là không thích hợp với lý thuyết tập hợp của Cantor và cũng không thể vượt qua được sự phức tạp của nó.

14. Cantors Mengendefinition beabsichtigt aber keine solche naive Mengenlehre, wie sein Beweis der Allklasse als Nichtmenge durch die zweite Cantorsche Antinomie belegt.

Tuy nhiên, định nghĩa của Cantor không có ý muốn nói tới một lý thuyết tập hợp ngây thơ như vậy, như chứng minh của ông về loại tất cả là Nichtmenge cho thấy bởi nghịch lý Cantor thứ hai .

15. Gödels Entdeckungen steckten nur Hilberts Programm, die Mathematik und Mengenlehre auf eine nachweislich widerspruchsfreie axiomatische Basis zu stellen, eine Grenze, aber hinderten den Erfolg der Mengenlehre in keiner Weise, so dass von einer Grundlagenkrise der Mathematik, von der Anhänger des Intuitionismus sprachen, in Wirklichkeit nichts zu spüren war.

Những khám phá Gödel chỉ là chương trình của Hilbert để cung cấp toán học và lý thuyết tập hợp vào một cơ sở tiên đề không mâu thuẫn được chứng minh, một giới hạn, nhưng không cản trở sự thành công của lý thuyết trong bất kỳ cách nào, vì vậy mà một khủng hoảng nền tảng của toán học, mà những người ủng hộ của Intuitionismus, trong thực tế không được cảm thấy.

16. New Foundations (NF) ist der Name einer axiomatischen Mengenlehre von Willard Van Orman Quine, benannt nach dessen Aufsatz New Foundations for Mathematical Logic (Neue Grundlagen der mathematischen Logik) von 1937.

17. Er arbeitete in Berlin auf den Gebieten der Algebra , Zahlentheorie und Funktionentheorie . Er glaubte, die Mathematik sei auf ganze Zahlen zurückzuführen und wurde mit dieser Ansicht ein Gegner von Georg Cantor und dessen Mengenlehre .

18. Die Mathematiker-Gruppe mit Pseudonym Nicolas Bourbaki trug wesentlich zu dieser Anerkennung bei; sie wollte die Mathematik auf Basis der Mengenlehre einheitlich neu darstellen und setzte dies ab 1939 in zentralen Mathematikgebieten erfolgreich um.

Nhóm toán học với bút danh Nicolas Bourbaki đã đóng góp đáng kể cho sự công nhận này; họ muốn mô tả mới toán học đồng nhất dựa trên lý thuyết tập hợp và biến đổi nó vào năm 1939 tại các lãnh vực toán học chính thành công.

19. Er befasst sich mit Modulräumen von Vektorbündeln, höherer nichtabelscher De Rham Kohomologie (Hodge Theorie), Theorie höherer Kategorien und Verifikation von Beweisen mit Computern (er schrieb zum Beispiel Programme zu Beweisen in Zermelo-Fraenkel-Mengenlehre im Programmsystem Coq).