Formalism (deductive)

Der BSSN-Formalismus (Baumgarte-Shapiro-Shibata-Nakamura-Formalismus) ist ein Formalismus der allgemeinen Relativitätstheorie , der zwischen 1987 und 1999 von Thomas W. Baumgarte , Stuart L.

David Hilbert ( / ˈ h ɪ l b ər t / ; Deutsch: ; 23. Januar 1862 – 14. Februar 1943) war ein deutscher Mathematiker und Philosoph der Mathematik und einer der einflussreichsten Mathematiker aller Zeiten.

Die formale Erkenntnistheorie nutzt formale Methoden aus Entscheidungstheorie , Logik , Wahrscheinlichkeitstheorie und Berechenbarkeitstheorie, um erkenntnistheoretisch relevante Fragestellungen zu modellieren und zu

In der Philosophie der Mathematik bezeichnet Formalismus die Auffassung, dass Aussagen der Mathematik und Logik als Aussagen über die Konsequenzen der Manipulation von Zeichenketten (alphanumerischen Symbolfolgen,

In Mathematik und Informatik bezeichnet die kanonische , normale oder Standardform eines mathematischen Objekts eine standardisierte Darstellungsweise dieses Objekts als mathematischen Ausdruck .

Der Rechtsformalismus ist sowohl eine deskriptive Theorie der richterlichen Entscheidungsfindung als auch eine normative Theorie der richterlichen Entscheidungsfindung .

Der scotistische Realismus (auch scotistischer Realismus oder scotistischer Formalismus ) ist die scotistische Position zum Universalienproblem .