Two short texts about mathematics and philosophy

Аннотация

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 (alphanumeric sequences of symbols, usually as equations) using established manipulation rules. In Platonism, the truth-values of our mathematical assertions depend on facts involving Platonic entities that reside in a realm outside of space-time. In the philosophy of mathematics, constructivism asserts that it is necessary to find (or "construct") a specific example of a mathematical object in order to prove that an example exists. For Logicism, mathematics is an extension of logic, some or all of mathematics is reducible to logic, or some or all of mathematics may be modelled in logic. KEYWORDS “Adib Ben Jebara’.