Begriff/ Autor/Ismus |
Pro/Versus |
Eintrag |
Literatur |
---|---|---|---|
Formalismus | Thiel I 20 Formalismus: Vollzieht sozusagen die "linguistische Wende" in der Mathematik. Es wird jetzt gefragt, was der Gegenstand der Arbeit des Mathematikers sei. Regeln für Handlungen. Symbole werden durch andere ersetzt. Dabei fragt der Formalist nicht nach der "Bedeutung". Mathematik: Lehre von den Formalismen oder formalen Systemen (Bernays). Neben dieser "kalkültheoretischen Variante" des Formalismus gibt es die "strukturtheoretische" Variante. (Hilbert) Verschiedene formale System können als von genau demselben mathematischen Objektbereichen gültig gedeutet werden. Wir können dies deren "Beschreibung" durch die formalen Systeme nennen. |
T I Chr. Thiel Philosophie und Mathematik Darmstadt 1995 |
|