Formalisierung de · NOUN
Pronunciation
- rhymes iːʁʊŋ
- [fɔʁmaliˈziːʁʊŋ]
- audio
Etymology
Ableitung des Substantivs zu formalisieren mit dem Derivatem (Ableitungsmorphem) -ung
Meanings
-
Handlung, etwas in eine eindeutige, unmissverständliche schriftliche Form zu bringen und nur in dieser zu bewahren und zu verwenden
„In der Mathematik wurde die von Frege angeregte Formalisierung nicht nur zur Verbesserung der Präzision in der Mitteilung von Wissenschaft verwendet, sondern mit der mathematischen Logik gewann die Formalisierung ein Eigenleben als eine eigenständige mathematische Teildisziplin.“
Knut Radbruch: Mathematik in den Geisteswissenschaften. Vandenhoeck & Ruprecht, Göttingen 1989, ISBN 3-525-33552-0, Seite 27.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| Formalisierungen | Case=Dat, Gender=Fem, Number=Plur | lexicographic | |
| Formalisierungen | Case=Nom, Gender=Fem, Number=Plur | lexicographic | |
| Formalisierungen | Case=Acc, Gender=Fem, Number=Plur | lexicographic | |
| Formalisierungen | Case=Gen, Gender=Fem, Number=Plur | lexicographic | |
| Formalisierung | Case=Acc, Gender=Fem, Number=Sing | lexicographic | |
| Formalisierung | Case=Gen, Gender=Fem, Number=Sing | lexicographic | |
| Formalisierung | Case=Nom, Gender=Fem, Number=Sing | lexicographic | |
| Formalisierung | Case=Dat, Gender=Fem, Number=Sing | lexicographic |