| Information | |
|---|---|
| has gloss | (noun) (philosophy) the philosophical theory that formal (logical or mathematical) statements have no meaning but that its symbols (regarded as physical entities) exhibit a form that has useful applications formalism |
| has gloss | eng: In foundations of mathematics, philosophy of mathematics, and philosophy of logic, formalism is a theory that holds that statements of mathematics and logic can be thought of as statements about the consequences of certain string manipulation rules. |
| lexicalization | eng: Formalism |
| subclass of | (noun) a doctrine accepted by adherents to a philosophy philosophical doctrine, philosophical theory |
| Meaning | |
|---|---|
| Catalan | |
| lexicalization | cat: formalisme |
| German | |
| has gloss | deu: Der Formalismus ist eine von David Hilbert gegründete Schulrichtung der Grundlagenforschung in der Mathematik. |
| lexicalization | deu: Formalismus |
| Esperanto | |
| lexicalization | epo: formalismo |
| French | |
| lexicalization | fra: formalisme |
| Italian | |
| lexicalization | ita: formalismo |
| Dutch | |
| has gloss | nld: In de grondslagen--, de filosofie van de wiskunde, en de filosofie van de logica is het formalisme een theorie, die het geven van enige betekenis van wiskundige symbolen, noch objectief (zoals voorgesteld in het platonisme), noch subjectief (zoals voorgesteld in het intuïtionisme) veroordeelt. Uitspraken over wiskunde en logica moeten worden gezien als uitspraken over de gevolgen van bepaalde regels met betrekking tot het manipuleren van reeksen symbolen. het doen van afleidingen binnen een formeel systeem. |
| lexicalization | nld: formalisme |
| Portuguese | |
| lexicalization | por: formalismo |
| Russian | |
| has gloss | rus: Формализм — один из подходов к философии математики, пытающийся свести проблему оснований математики к изучению формальных систем. Наряду с логицизмом и интуиционизмом считался в XX веке одним из направлений фундаментализма в философии математики. |
| lexicalization | rus: формализм |
| Slovak | |
| Show unreliable ▼ | |
| lexicalization | slk: formalizmus |
| Castilian | |
| lexicalization | spa: formalismo |
| Links | |
|---|---|
| has category | (noun) the rational investigation of questions about existence and knowledge and ethics philosophy |
| Show unreliable ▼ | |
| similar | e/Formalism (mathematics) |
| Media | |
|---|---|
| media:img | Hilbert.jpg |
| media:img | Hilbert1912.jpg |
Lexvo © 2008-2024 Gerard de Melo. Contact Legal Information / Imprint
