mathematical logic

mathematical logic: see symbolic logic.

The Columbia Electronic Encyclopedia, 6th ed. Copyright © 2012, Columbia University Press. All rights reserved.

More on mathematical logic from Fact Monster:

  • symbolic logic - symbolic logic symbolic logic or mathematical logic,formalized system of deductive logic, employing ...
  • logic: Mathematics and Logic - Mathematics and Logic With the development of symbolic logic by George Boole and Augustus De Morgan ...
  • symbolic logic: Bibliography - Bibliography See D. Hilbert and W. Ackermann, Principles of Mathematical Logic (tr. of 2d ed. ...
  • proof, in mathematics - proof proof, in mathematics, finite sequence of propositions each of which is either an axiom or ...
  • Hui Shih - Hui Shih Hui Shih , c.380–c.300 B.C., Chinese logician, remembered for his paradoxes. Little ...

See more Encyclopedia articles on: Mathematics