Schneller Zugriff als Browser!
27 Beziehungen: Allklasse, Antinomie, Arnold Oberschelp, Axiomatische Mengenlehre, Axiomensystem, Barbier-Paradoxon, Bertrand Russell, Burali-Forti-Paradoxon, Cantorsche Antinomie, Currys Paradoxon, Ernst Zermelo, Fundierungsaxiom, Gottlob Frege, Grelling-Nelson-Antinomie, Grundlagen der Mathematik, Intuitionismus (Logik und Mathematik), Klasse (Mengenlehre), Klassenlogik, Menge (Mathematik), Naive Mengenlehre, Neumann-Bernays-Gödel-Mengenlehre, Paradoxon, Prädikatenlogik, Reductio ad absurdum, Typentheorie, Zermelo-Fraenkel-Mengenlehre, Zermelo-Mengenlehre.
Allklasse
Die Allklasse bezeichnet die Klasse, die alle Elemente einer mathematischen Theorie enthält; in der Mengenlehre ist das die Klasse aller Mengen.
Neu!!: Russellsche Antinomie und Allklasse · Mehr sehen »
Antinomie
Eine Antinomie („gegen“ und nomos „Gesetz“; sinngemäß „Unvereinbarkeit von Gesetzen“) ist eine spezielle Art des logischen Widerspruchs, bei der die zueinander in Widerspruch stehenden Aussagen gleichermaßen gut begründet oder (im Fall formaler Systeme) bewiesen sind.
Neu!!: Russellsche Antinomie und Antinomie · Mehr sehen »
Arnold Oberschelp
Arnold Oberschelp (* 5. Februar 1932 in Recklinghausen) ist ein deutscher Mathematiker und Logiker und war lange Jahre Professor für Logik und Wissenschaftslehre in Kiel.
Neu!!: Russellsche Antinomie und Arnold Oberschelp · Mehr sehen »
Axiomatische Mengenlehre
Als axiomatische Mengenlehre gilt jede Axiomatisierung der Mengenlehre, die die bekannten Antinomien der naiven Mengenlehre vermeidet.
Neu!!: Russellsche Antinomie und Axiomatische Mengenlehre · Mehr sehen »
Axiomensystem
Ein Axiomensystem (auch: Axiomatisches System) ist ein System von grundlegenden Aussagen, Axiomen, die ohne Beweis angenommen und aus denen alle Sätze (Theoreme) einer Theorie logisch abgeleitet werden.
Neu!!: Russellsche Antinomie und Axiomensystem · Mehr sehen »
Barbier-Paradoxon
Das Barbier-Paradoxon oder die Antinomie des Barbiers ist in der Logik und der Mengenlehre eine anschauliche Variante der Russell’schen Antinomie, die 1918 von Bertrand Russell selbst aufgestellt wurde.
Neu!!: Russellsche Antinomie und Barbier-Paradoxon · Mehr sehen »
Bertrand Russell
Bertrand Russell (1957) Bertrand Arthur William Russell, 3.
Neu!!: Russellsche Antinomie und Bertrand Russell · Mehr sehen »
Burali-Forti-Paradoxon
Das Burali-Forti-Paradoxon ist das älteste Paradoxon der naiven Mengenlehre, publiziert am 28.
Neu!!: Russellsche Antinomie und Burali-Forti-Paradoxon · Mehr sehen »
Cantorsche Antinomie
Georg Cantor beschrieb in den Jahren 1897 bis 1899 mehrere Antinomien, durch die er bewies, dass bestimmte Klassen keine Mengen sind.
Neu!!: Russellsche Antinomie und Cantorsche Antinomie · Mehr sehen »
Currys Paradoxon
Currys Paradoxon ist ein Paradoxon, das Haskell Curry 1942 beschrieb; es erlaubt die Ableitung einer beliebigen Aussage aus einem selbstbezüglichen Ausdruck, der seine eigene Gültigkeit voraussetzt, mittels einfacher, allgemeiner logischer Regeln.
Neu!!: Russellsche Antinomie und Currys Paradoxon · Mehr sehen »
Ernst Zermelo
Freiburg 1953 Ernst Friedrich Ferdinand Zermelo (* 27. Juli 1871 in Berlin; † 21. Mai 1953 in Freiburg im Breisgau) war ein deutscher Mathematiker.
Neu!!: Russellsche Antinomie und Ernst Zermelo · Mehr sehen »
Fundierungsaxiom
Das Fundierungsaxiom (auch: Regularitätsaxiom) ist ein Axiom der Mengenlehre von John von Neumann von 1925,John von Neumann: Eine Axiomatisierung der Mengenlehre. In: Journal für die reine und angewandte Mathematik. Bd.
Neu!!: Russellsche Antinomie und Fundierungsaxiom · Mehr sehen »
Gottlob Frege
Gottlob Frege (1878) Friedrich Ludwig Gottlob Frege (* 8. November 1848 in Wismar; † 26. Juli 1925 in Bad Kleinen) war ein deutscher Logiker, Mathematiker und Philosoph.
Neu!!: Russellsche Antinomie und Gottlob Frege · Mehr sehen »
Grelling-Nelson-Antinomie
Die Grelling-Nelson-Antinomie ist ein semantisches selbstbezügliches Paradoxon, das 1908 von Kurt Grelling und Leonard Nelson als Variante der Russellschen Antinomie veröffentlicht wurde und manchmal fälschlicherweise Hermann Weyl zugeschrieben wird.
Neu!!: Russellsche Antinomie und Grelling-Nelson-Antinomie · Mehr sehen »
Grundlagen der Mathematik
Die Grundlagen der Mathematik sind einerseits Teil der Mathematik, andererseits bilden sie einen wichtigen Gegenstand erkenntnistheoretischer Reflexion, wenn diese sich mit den allgemeinen Grundlagen der menschlichen Erkenntnisgewinnung befasst.
Neu!!: Russellsche Antinomie und Grundlagen der Mathematik · Mehr sehen »
Intuitionismus (Logik und Mathematik)
Der Intuitionismus ist eine von L. E. J. Brouwer begründete Richtung der Philosophie der Mathematik, bei der die Mathematik als Tätigkeit des exakten Denkens angesehen wird, die ihre eigenen Objekte hervorbringt und nicht voraussetzt.
Neu!!: Russellsche Antinomie und Intuitionismus (Logik und Mathematik) · Mehr sehen »
Klasse (Mengenlehre)
Als Klasse gilt in der Mathematik, Klassenlogik und Mengenlehre eine Zusammenfassung beliebiger Objekte, definiert durch eine logische Eigenschaft, die alle Objekte der Klasse erfüllen.
Neu!!: Russellsche Antinomie und Klasse (Mengenlehre) · Mehr sehen »
Klassenlogik
Die Klassenlogik ist im weiteren Sinn eine Logik, deren Objekte als Klassen bezeichnet werden.
Neu!!: Russellsche Antinomie und Klassenlogik · Mehr sehen »
Menge (Mathematik)
Symbolische Darstellung einer Menge von Vielecken leer. Als Menge wird in der Mathematik ein abstraktes Objekt bezeichnet, das aus der Zusammenfassung einer Anzahl einzelner Objekte hervorgeht.
Neu!!: Russellsche Antinomie und Menge (Mathematik) · Mehr sehen »
Naive Mengenlehre
Der Begriff der naiven Mengenlehre entstand am Anfang des 20.
Neu!!: Russellsche Antinomie und Naive Mengenlehre · Mehr sehen »
Neumann-Bernays-Gödel-Mengenlehre
Die Neumann-Bernays-Gödel-Mengenlehre (NBG) ist eine Axiomatisierung der Mengenlehre.
Neu!!: Russellsche Antinomie und Neumann-Bernays-Gödel-Mengenlehre · Mehr sehen »
Paradoxon
Das Penrose-Dreieck erweckt den Anschein, es handele sich um eine geschlossene dreidimensionale Struktur aus drei rechten Winkeln, was in der euklidischen Geometrie jedoch unmöglich ist. Ein Paradoxon (sächlich; Plural Paradoxa; auch das Paradox oder die Paradoxie, Plural Paradoxe bzw. Paradoxien; vom altgriechischen Adjektiv parádoxos „wider Erwarten, wider die gewöhnliche Meinung, unerwartet, unglaublich“) ist ein Befund, eine Aussage oder Erscheinung, die dem allgemein Erwarteten, der herrschenden Meinung oder Ähnlichem auf unerwartete Weise zuwiderläuft oder beim üblichen Verständnis der betroffenen Gegenstände bzw.
Neu!!: Russellsche Antinomie und Paradoxon · Mehr sehen »
Prädikatenlogik
Die Prädikatenlogiken (auch Quantorenlogiken) bilden eine Familie logischer Systeme, die es erlauben, in der Praxis und in der Theorie vieler Wissenschaften wichtige Bereiche durch Argumente zu formalisieren und sie auf ihre Gültigkeit zu überprüfen.
Neu!!: Russellsche Antinomie und Prädikatenlogik · Mehr sehen »
Reductio ad absurdum
Die Reductio ad absurdum (von lat. für Zurückführung auf das widrig Klingende, Ungereimte, Unpassende, Sinnlose) ist eine Schlussfigur und Beweistechnik in der Logik.
Neu!!: Russellsche Antinomie und Reductio ad absurdum · Mehr sehen »
Typentheorie
In mathematischer Logik und theoretischer Informatik sind Typentheorien formale Systeme, in denen jeder Term einen Typ hat und Operationen auf bestimmte Typen beschränkt sind.
Neu!!: Russellsche Antinomie und Typentheorie · Mehr sehen »
Zermelo-Fraenkel-Mengenlehre
Die Zermelo-Fraenkel-Mengenlehre ist eine verbreitete axiomatische Mengenlehre, die nach Ernst Zermelo und Abraham Adolf Fraenkel benannt ist.
Neu!!: Russellsche Antinomie und Zermelo-Fraenkel-Mengenlehre · Mehr sehen »
Zermelo-Mengenlehre
Die Zermelo-Mengenlehre ist die erste publizierte axiomatische Mengenlehre; sie stammt von Ernst Zermelo und ist datiert auf den 30.
Neu!!: Russellsche Antinomie und Zermelo-Mengenlehre · Mehr sehen »
Leitet hier um:
Antinomien der Mengenlehre, Paradoxien der Mengenlehre, Russell'sche Antinomie, Russells Paradox, Russells Paradoxon, Russellsche Paradoxie, Russellsches Paradox, Russellsches Paradoxon.
