
Der Brouwer - Hilbert - Streit ( Grundlagenstreit ) war eine Debatte in der Mathematik des 20. Jahrhunderts über grundlegende Fragen der Konsistenz von Axiomen und der Rolle von Semantik und Syntax in der Mathematik. L.
Kategorie
7 Artikel

Der Brouwer - Hilbert - Streit ( Grundlagenstreit ) war eine Debatte in der Mathematik des 20. Jahrhunderts über grundlegende Fragen der Konsistenz von Axiomen und der Rolle von Semantik und Syntax in der Mathematik. L.
Henri Léon Lebesgue ( / l ə ˈ b ɛ ɡ / ; Französisch: ; 28. Juni 1875 – 26. Juli 1941) war ein französischer Mathematiker, der für seine Integrationstheorie bekannt ist .
In der Philosophie der Mathematik bezeichnet der Intuitionismus bzw. Neointuitionismus (im Gegensatz zum Präintuitionismus ) einen Ansatz, der Mathematik als reines Ergebnis konstruktiver geistiger Tätigkeit des Menschen
Luitzen Egbertus Jan „ Bertus “ Brouwer (27. Februar 1881 – 2. Dezember 1966) war ein niederländischer Mathematiker und Philosoph , der sich mit Topologie , Mengenlehre , Maßtheorie und komplexer Analysis befasste .
Leopold Kronecker ( 7. Dezember 1823 – 29. Dezember 1891) war ein deutscher Mathematiker , der sich mit Zahlentheorie , abstrakter Algebra und Logik befasste und Georg Cantors Arbeiten zur Mengenlehre kritisierte .
Sir Michael Anthony Eardley Dummett ( / ˈdʌmɪt / ; 27. Juni 1925 – 27. Dezember 2011) war ein englischer Akademiker , der als „einer der bedeutendsten britischen Philosophen des letzten Jahrhunderts und führender Kämpfer
In der Logik ist das Peircesche Gesetz nach dem Philosophen und Logiker Charles Sanders Peirce benannt . Es wurde in seiner ersten Axiomatisierung der Aussagenlogik als Axiom eingeführt .