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:

    Though living is a dreadful thing
    And a dreadful thing is it
    Life the niggard will not thank,
    She will not teach who will not sing,
    And what serves, on the final bank,
    Our logic and our wit?
    Philip Larkin (1922–1986)

    Somebody who should have been born
    is gone.

    Yes, woman, such logic will lead
    to loss without death. Or say what you meant,
    you coward . . . this baby that I bleed.
    Anne Sexton (1928–1974)

    Why does man freeze to death trying to reach the North Pole? Why does man drive himself to suffer the steam and heat of the Amazon? Why does he stagger his mind with the mathematics of the sky? Once the question mark has arisen in the human brain the answer must be found, if it takes a hundred years. A thousand years.
    Walter Reisch (1903–1963)