Kategorie
8 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.
In der mathematischen Logik sind die Disjunktions- und Existenzeigenschaften die „Kennzeichen“ konstruktiver Theorien wie der Heyting-Arithmetik und der konstruktiven Mengenlehre (Rathjen 2005).
Der Finitismus ist eine mathematische Philosophie , die nur die Existenz endlicher mathematischer Objekte akzeptiert .
In der Mathematik ist eine Heyting-Algebra (auch bekannt als Pseudo-Boolesche Algebra ) ein beschränkter Verband (mit den Verknüpfungs- und Schnittoperationen ∨ und ∧ und dem kleinsten Element 0 und dem größten Element
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
In der Mathematik ist die konstruktive Nichtstandardanalyse eine Version der Nichtstandardanalyse von Abraham Robinson , die von Moerdijk (1995), Palmgren (1998) und Ruokolainen (2004) entwickelt wurde.
In der Mathematik ist ein konstruktiver Beweis eine Beweismethode , die die Existenz eines mathematischen Objekts nachweist , indem sie dieses Objekt erzeugt oder eine Methode zu dessen Erzeugung angibt.
Die primitiv-rekursive Arithmetik ( PRA ) ist eine quantorenfreie Formalisierung der natürlichen Zahlen .