René Descartes (auch René des Cartes, Des Cartes oder Des-Cartes, latinisiert Renatus Cartesius; * 31. März 1596 in La Haye en Touraine; † 11. Februar…
185 KB (22.465 Wörter) – 11:31, 1. Aug. 2026
Die Wissenschaftstheorie (auch Wissenschaftsphilosophie, Wissenschaftslehre) ist ein Teilgebiet der Philosophie, das sich mit den Voraussetzungen, Methoden…
65 KB (7.129 Wörter) – 18:20, 22. Jul. 2026
Die Geschichte der Analysis beschreibt die Entwicklung eines der wichtigsten Teilgebiete der Mathematik. Das Gebiet, welches als „Rechnung mit dem unendlich…
88 KB (10.196 Wörter) – 12:40, 26. Mai 2026
Luitzen Egbertus Jan (Bertus) Brouwer (* 27. Februar 1881 in Overschie (heute zu Rotterdam); † 2. Dezember 1966 in Blaricum) war ein niederländischer Mathematiker…
53 KB (6.316 Wörter) – 11:59, 2. Apr. 2026
Oskar Joachim Becker (* 5. September 1889 in Leipzig; † 13. November 1964 in Bonn) war ein deutscher Philosoph, Logiker und Mathematiker. Er gehört neben…
11 KB (1.260 Wörter) – 04:30, 1. Aug. 2026
eigen + Name | m. Benennung einer Person, Persönlichkeit; als Kompositum zuerst im 16. Jh. bezeugt (für lat. nōmen proprium, s. auch Name). Ein Eigenname…
23 KB (2.670 Wörter) – 07:57, 2. Apr. 2026
rechtfertig-ung Sprachstufe::deu. benennen, begründen einer Berechtigung, eines Recht; sich zu rechtfertigen und und die Begründung die etwas nach Recht…
285 Bytes (25 Wörter) – 17:41, 8. Dez. 2025
Der mathematische Konstruktivismus ist eine Richtung der Philosophie der Mathematik, die den ontologischen Standpunkt vertritt, dass die Existenz mathematischer…
10 KB (1.024 Wörter) – 06:08, 19. Apr. 2026
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…
9 KB (1.122 Wörter) – 06:22, 29. Jul. 2026
Die Beweistheorie ist ein Teilgebiet der mathematischen Logik, das Beweise als formale mathematische Objekte behandelt, was deren Analyse mit mathematischen…
10 KB (1.089 Wörter) – 19:45, 1. Aug. 2026
Die dialogische Logik (engl.: dialogical logic auch: game semantics) ist ein von den deutschen Logikern und Philosophen Kuno Lorenz und Paul Lorenzen entwickelter…
13 KB (1.376 Wörter) – 07:39, 2. Apr. 2026
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
wahr-heit Sprachstufe::ahd.-deu. f. ‘das Wahre, Wirklichkeit’, ahd. (9. Jh.), mhd. wārheit. Wrtdtng: Als so seiend wahrgenommen im Gegensatz zu Fürwahrhalten;…
22 KB (4.608 Wörter) – 12:40, 30. Jul. 2026
Werk:Stoicheia Stoicheia Buch I. Die Elemente (im Original Στοιχεῖα Stoicheia „Anfangsgründe“) sind eine Abhandlung des griechischen Mathematikers Euklid…
28 KB (3.065 Wörter) – 07:50, 22. Apr. 2026
Die Philosophischen Untersuchungen (PU) sind Ludwig Wittgensteins spätes, zweites Hauptwerk. Das Buch formuliert die Grundgedanken der Philosophie der…
16 KB (2.061 Wörter) – 08:52, 21. Jul. 2026
Eigenname-n Mz. —Nwf. z.…
109 Bytes (5 Wörter) – 17:21, 8. Dez. 2025
Der Gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen…
36 KB (4.195 Wörter) – 09:32, 12. Aug. 2026
szient--ismus Sprachstufe::lat.-frz.-deu. "Wissenschaft ist das Muß', Szientismus (von lat. scientia ‚Wissen‘, ‚Wissenschaft‘), auch Szientizismus oder…
20 KB (2.216 Wörter) – 10:16, 30. Jul. 2026
generell–Term Sprachstufe::lat.-frz.-deu. 'genereller Term, Prädikator' Das logische Prädikat in dieser rein formalen Rolle wird auch als Prädikator oder…
661 Bytes (59 Wörter) – 17:11, 8. Dez. 2025
generell–Terme Sprachstufe::lat.-frz.-deu. 'generelle Terme, Prädikatoren' Mz. —Nwf. z. Generellterm…
207 Bytes (13 Wörter) – 17:09, 8. Dez. 2025
