Matches in DBpedia 2016-04 for { ?s ?p "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 considered to be statements about the consequences of certain string manipulation rules.For example, Euclidean geometry can be considered a game whose play consists in moving around certain strings of symbols called axioms according to a set of rules called \"rules of inference\" to generate new strings."@en }
Showing triples 1 to 1 of
1
with 100 triples per page.
- Formalism_(mathematics) comment "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 considered to be statements about the consequences of certain string manipulation rules.For example, Euclidean geometry can be considered a game whose play consists in moving around certain strings of symbols called axioms according to a set of rules called \"rules of inference\" to generate new strings.".