Bertrand Arthur William Russell, 3. Earl Russell (* 18. Mai 1872 bei Trellech, Monmouthshire, Wales; † 2. Februar 1970 in Penrhyndeudraeth, Gwynedd, Wales)…
56 KB (6.528 Wörter) – 04:06, 1. Aug. 2026
Friedrich Ludwig Gottlob Frege (* 8. November 1848 in Wismar; † 26. Juli 1925 in Bad Kleinen) war ein deutscher Logiker, Mathematiker und Philosoph. Seine…
43 KB (4.935 Wörter) – 11:34, 1. Aug. 2026
Menge (Mathematik) Die Menge, auch Klasse genannt, ist eines der wichtigsten und grundlegendsten Konzepte der Mathematik; mit ihrer Betrachtung beschäftigt…
37 KB (4.057 Wörter) – 07:25, 2. Apr. 2026
Ernst Friedrich Ferdinand Zermelo [] (* 27. Juli 1871 in Berlin; † 21. Mai 1953 in Freiburg im Breisgau) war ein deutscher Mathematiker. Zermelo war der…
12 KB (1.278 Wörter) – 04:07, 1. Aug. 2026
log--ik Sprachstufe::agr.-lat.-deu. wrtl. die "Logisch" oder "Logig", da Logik bereits wrtl. 'logisch' entspricht und eigtl. z. agr. logikḗ téchnē 'logische…
33 KB (3.801 Wörter) – 09:15, 2. Apr. 2026
Die Philosophie der Mathematik ist ein Bereich der theoretischen Philosophie, der anstrebt, Voraussetzungen, Gegenstand, Methode und Natur der Mathematik…
18 KB (2.193 Wörter) – 10:54, 2. Apr. 2026
Die Grundlagenkrise der Mathematik war eine Phase der Verunsicherung der mathematischen Öffentlichkeit zu Anfang des 20. Jahrhunderts, beginnend mit der…
23 KB (2.767 Wörter) – 21:27, 3. Aug. 2026
Der Logizismus oder das logizistische Programm bezeichnet eine bestimmte Position in der Philosophie der Mathematik, die auch in anderen philosophischen…
6 KB (705 Wörter) – 14:58, 29. Jul. 2026
In der theoretischen Informatik heißt eine Eigenschaft auf einer Menge entscheidbar (auch rekursiv, rekursiv ableitbar), wenn es ein Entscheidungsverfahren…
14 KB (1.492 Wörter) – 08:18, 13. Jul. 2025
Als axiomatische Mengenlehre gilt jede Axiomatisierung der Mengenlehre, die die bekannten Antinomien der naiven Mengenlehre vermeidet. Die verbreitetste…
10 KB (1.163 Wörter) – 09:58, 8. Jul. 2025
Die Mengenlehre ist ein grundlegendes Teilgebiet der Mathematik, das sich mit der Untersuchung von Mengen, also von Zusammenfassungen von Objekten, beschäftigt…
33 KB (3.467 Wörter) – 13:33, 2. Apr. 2026
Eine Antinomie (ἀντί „gegen“ und νόμος „Gesetz“; sinngemäß „Unvereinbarkeit von Gesetzen“) ist eine spezielle Art des logischen Widerspruchs, bei der die…
10 KB (1.137 Wörter) – 11:20, 2. Aug. 2026
Der Begriff der naiven Mengenlehre entstand am Anfang des 20. Jahrhunderts für die Mengenlehre des 19. Jahrhunderts, in der eine ungeregelte oder unbeschränkte…
9 KB (1.054 Wörter) – 10:03, 8. Jul. 2025
In mathematischer Logik und theoretischer Informatik sind Typentheorien formale Systeme, in denen jeder Term einen Typ hat und Operationen auf bestimmte…
10 KB (1.043 Wörter) – 11:37, 2. Apr. 2026
Ex falso quodlibet, eigentlich ex falso sequitur quodlibet (lat. „aus Falschem folgt Beliebiges“), abgekürzt zu „e.f.q.“, eindeutiger ex contradictione…
12 KB (1.540 Wörter) – 10:00, 3. Jul. 2025
rational-ität Sprachstufe::lat.-frz.-deu. wrt. "Ratunglichkeit", sgm. 'Berechenbarkeit', von frz. rationalité, von slat. ratiōnālitās von lat. ratiōnālis…
89 KB (10.548 Wörter) – 13:51, 9. Jul. 2026
Mathematik–Objekt Sprachstufe::agr.-lat.-deu. 'mathematisches Objekt' Als mathematische Objekte werden die abstrakten Objekte bezeichnet, die in den verschiedenen…
9 KB (987 Wörter) – 08:09, 1. Apr. 2026
logikal-Atomismus Im Logischen Atomismus gab es zwei Arten logischer Atome: zum einen die Individuen und zum anderen die Universalien in Form der Eigenschaften…
17 KB (2.192 Wörter) – 14:56, 29. Jul. 2026
MathematikobjektWortglied::-e 'mathematische Objekte' Mz. —Nwf. z. Mathematikobjekt…
183 Bytes (8 Wörter) – 17:09, 8. Dez. 2025
Begriffsschrift Die Begriffsschrift ist ein schmales, nur etwa achtzig Seiten umfassendes Buch des Jenaer Mathematikers und Philosophen Gottlob Frege zur…
47 KB (5.071 Wörter) – 11:22, 2. Aug. 2026
