Logic and Mathematics
- Formal logic, logical argument based on form
- Formal cause, Aristotle's intrinsic, determining cause
- Formal power series, a generalization of power series without requiring convergence, used in combinatorics
- Formal calculation, a calculation which is systematic, but without a rigorous justification
- Formal set theory, as opposed to Naive set theory
- Formal derivative, an operation on elements of a polynomial ring which mimics the form of the derivative from calculus
Read more about this topic: Formal
Famous quotes containing the words logic and, logic and/or mathematics:
“Histories make men wise; poets witty; the mathematics subtle; natural philosophy deep; moral grave; logic and rhetoric able to contend.”
—Francis Bacon (1561–1626)
“The American Constitution, one of the few modern political documents drawn up by men who were forced by the sternest circumstances to think out what they really had to face instead of chopping logic in a university classroom.”
—George Bernard Shaw (1856–1950)
“Mathematics alone make us feel the limits of our intelligence. For we can always suppose in the case of an experiment that it is inexplicable because we don’t happen to have all the data. In mathematics we have all the data ... and yet we don’t understand. We always come back to the contemplation of our human wretchedness. What force is in relation to our will, the impenetrable opacity of mathematics is in relation to our intelligence.”
—Simone Weil (1909–1943)