Formal - Logic and Mathematics

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)

    Neither Aristotelian nor Russellian rules give the exact logic of any expression of ordinary language; for ordinary language has no exact logic.
    Sir Peter Frederick Strawson (b. 1919)

    It is a monstrous thing to force a child to learn Latin or Greek or mathematics on the ground that they are an indispensable gymnastic for the mental powers. It would be monstrous even if it were true.
    George Bernard Shaw (1856–1950)