mathematical logic

(redirected from Mathematical logician)
Also found in: Thesaurus, Encyclopedia.
Related to Mathematical logician: formal logic

mathematical logic

American Heritage® Dictionary of the English Language, Fifth Edition. Copyright © 2016 by Houghton Mifflin Harcourt Publishing Company. Published by Houghton Mifflin Harcourt Publishing Company. All rights reserved.

mathematical logic

n
1. (Logic) symbolic logic, esp that branch concerned with the foundations of mathematics
2. (Mathematics) symbolic logic, esp that branch concerned with the foundations of mathematics
Collins English Dictionary – Complete and Unabridged, 12th Edition 2014 © HarperCollins Publishers 1991, 1994, 1998, 2000, 2003, 2006, 2007, 2009, 2011, 2014

symbol′ic log′ic


n.
a modern development of formal logic employing a special notation or symbolism capable of manipulation in accordance with precise rules. Also called mathematical logic.
Random House Kernerman Webster's College Dictionary, © 2010 K Dictionaries Ltd. Copyright 2005, 1997, 1991 by Random House, Inc. All rights reserved.
ThesaurusAntonymsRelated WordsSynonymsLegend:
Noun1.mathematical logic - any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validitymathematical logic - any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
logical system, system of logic, logic - a system of reasoning
Boolean algebra, Boolean logic - a system of symbolic logic devised by George Boole; used in computers
propositional calculus, propositional logic - a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
functional calculus, predicate calculus - a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
modal logic - a system of logic whose formal properties resemble certain moral and epistemological concepts
fuzzy logic - a form of mathematical logic in which truth can assume a continuum of values between 0 and 1
Based on WordNet 3.0, Farlex clipart collection. © 2003-2012 Princeton University, Farlex Inc.
References in periodicals archive ?
To celebrate the 60th birthday of renowned mathematical logician Victor Selivanov, friends and colleagues present 17 papers on computability and hierarchies, the leading themes of his scientific work.
He was also a first-rate mathematical logician; his philosophy of mathematics builds on his intricate knowledge of mathematics and his own robust metaphysical and epistemological systems.
This volume collects 18 essays by mathematical logician Murawski (Adam Mickiewicz U., Poland), with half dedicated to topics in the philosophy of mathematics and half devoted to the history of mathematics and logic.

Full browser ?