David Hilbert (* 23. Januar 1862 in Königsberg; † 14. Februar 1943 in Göttingen) war ein deutscher Mathematiker und Hochschullehrer. Er gilt als einer…
66 KB (6.900 Wörter) – 04:06, 1. Aug. 2026
Kurt Friedrich Gödel (* 28. April 1906 in Brünn, Österreich-Ungarn, heute Tschechien; † 14. Januar 1978 in Princeton, New Jersey, Vereinigte Staaten) war…
59 KB (6.805 Wörter) – 04:35, 1. Aug. 2026
Paul Peter Wilhelm Lorenzen (* 24. März 1915 in Kiel; † 1. Oktober 1994 in Göttingen) war ein deutscher Philosoph, Wissenschaftstheoretiker, Mathematiker…
69 KB (7.581 Wörter) – 09:32, 2. Aug. 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
Gerhard Karl Erich Gentzen (* 24. November 1909 in Greifswald; † 4. August 1945 in Prag) war ein deutscher Mathematiker und Logiker. Gerhard Gentzen studierte…
14 KB (1.465 Wörter) – 04:16, 1. Aug. 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 Formalismus ist eine von David Hilbert gegründete Schulrichtung in der Philosophie der Mathematik bzgl. der Grundlagen der Mathematik. Zentral ist…
2 KB (167 Wörter) – 17:58, 28. 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
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 Zermelo-Fraenkel-Mengenlehre ist eine verbreitete axiomatische Mengenlehre, die nach Ernst Zermelo und Abraham Adolf Fraenkel benannt ist. Sie ist…
21 KB (2.429 Wörter) – 11:09, 2. Apr. 2026
axiomatisier-ung "Würdigung, Geltendmachung" „Unter der Axiomatisierung einer Theorie versteht man ihre Darstellung in der Weise, dass gewisse Sätze dieser…
4 KB (505 Wörter) – 15:29, 2. Aug. 2026
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
Ein Algorithmus (benannt nach dem Mathematiker und Universalgelehrten al-Chwarizmi, von arabisch: الخوارزمی al-Ḫwārizmī ist eine eindeutige Handlungsvorschrift…
31 KB (3.460 Wörter) – 14:27, 2. Apr. 2026
Ordinalzahlen sind mathematische Objekte, die das Konzept der Position oder des Index eines Elementes in einer Folge auf Wohlordnungen über beliebigen…
48 KB (5.511 Wörter) – 12:17, 2. Apr. 2026
Principia Mathematica („mathematische Prinzipien“ bzw. „Mathematische Grundlagen“) ist ein Werk in drei Bänden über die Grundlagen der Mathematik von Bertrand…
7 KB (839 Wörter) – 10:31, 2. Apr. 2026
Mit dem Begriff Strukturwissenschaften werden Wissensgebiete zusammengefasst, die allgemein funktional wirksame Formen betrachten und weder im Allgemeinen…
32 KB (3.502 Wörter) – 14:43, 27. Jul. 2026
Principia Mathematica („mathematische Prinzipien“ bzw. „Mathematische Grundlagen“) ist ein Werk in drei Bänden über die Grundlagen der Mathematik von Bertrand…
8 KB (839 Wörter) – 11:43, 21. Jul. 2026
