mathematical logic

Definition

Set of mathematical disciplines (such as Boolean algebra, predicate calculus, and prepositional calculus) employed in reducing the rules of formal logic to the rules of algebra. Its major objective is to eliminate ambiguities caused by the use of natural languages. Symbolic logic has its origins in the works of two German mathematicians, Gottfried Wilhelm Leibniz (1646-1716) and Friedrich Ludwig Gottolob Frege (1848-1925). The UK mathematician-philosopher team of Alfred North Whitehead (1861-1947) and Bertrand Arthur William Russell (1872-1970) developed it further in their 1910 book 'Principia Mathematica.' Also called symbolic logic.

单词	mathematical logic
释义	mathematical logic Definition Set of mathematical disciplines (such as Boolean algebra, predicate calculus, and prepositional calculus) employed in reducing the rules of formal logic to the rules of algebra. Its major objective is to eliminate ambiguities caused by the use of natural languages. Symbolic logic has its origins in the works of two German mathematicians, Gottfried Wilhelm Leibniz (1646-1716) and Friedrich Ludwig Gottolob Frege (1848-1925). The UK mathematician-philosopher team of Alfred North Whitehead (1861-1947) and Bertrand Arthur William Russell (1872-1970) developed it further in their 1910 book 'Principia Mathematica.' Also called symbolic logic.
随便看	co-branding co-creation code code 39 CODEC coded factors code division multiple access (CDMA) coden code of accounts code of conduct code of practice code of professional responsibility codes code share flight codesharing codetermination codex Codex Alimentarius Codex Alimentarius Commission codicil coding coefficient of concordance coefficient of correlation (r) coefficient of determination (r2) coefficient of performance (COP)