Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00035933n
Noun Concept
Categories: Philosophy of mathematics, Formalism (deductive)
EN
formalism  Formalism in the philosophy of mathematics  mathematical formalism  Mathematical formalist
EN
The doctrine that formal structure rather than content is what should be represented WordNet 3.0
English:
philosophy of mathematics
mathematics
Definitions
Relations
Sources
EN
The doctrine that formal structure rather than content is what should be represented WordNet 3.0 & Open English WordNet
In the philosophy of mathematics, formalism is the view that holds that statements of mathematics and logic can be considered to be statements about the consequences of the manipulation of strings using established manipulation rules. Wikipedia
A general philosophical approach to mathematics Wikipedia Disambiguation
View that statements of logic can be considered to be statements about the consequences of certain string manipulation rules Wikidata
One of several alternative computational paradigms for a given theory. OmegaWiki
IS A
doctrine
philosophical doctrine
HAS KIND
Poincaré sphere
HAS INSTANCE
Gupta–Bleuler formalism
abstract rewriting system
pattern theory
ANTONYM
imitation
CREATOR
Hilbert
DERIVATION
formalistic
WordNet 3.0 & Open English WordNet
EN
formalism
Wikipedia
EN
formalism (philosophy of mathematics)
Wikidata
EN
formalism
OmegaWiki
EN
formalism
Wikipedia Redirections
EN
Formalism (mathematics), Formalism in the philosophy of mathematics, Mathematical formalist
Wikidata Alias
EN
mathematical formalism

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License