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:

    “Logic and fact keep interfering with the easy flow of conversation.”
    —Mason Cooley (b. 1927)

    “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)

    “In mathematics he was greater
    Than Tycho Brahe, or Erra Pater:
    For he, by geometric scale,
    Could take the size of pots of ale;
    Resolve, by sines and tangents straight,
    If bread and butter wanted weight;
    And wisely tell what hour o’ th’ day
    The clock doth strike, by algebra.”
    —Samuel Butler (1612–1680)