mathematical logic


Also found in: Thesaurus, Encyclopedia, Wikipedia.

mathematical logic

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

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.
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
References in periodicals archive ?
Drawing on concepts from psychology, human factors, knowledge representation, artificial intelligence, mathematical logic, and signal processing, they provide an explanation of data and information fusion for command and control systems.
in mathematical logic from Stanford University and a BA in mathematics from Drake University.
Hyder is an Adjunct Professor of Computer Science at McGill University where he conducts research in Mathematical Logic and Artificial Intelligence.
These proceedings from the October 2003 workshop and conference include invited and contributed talks on mathematical logic.
Because of Millennium Solution's mathematical logic, Walker was able to identify the only module that needed to be modified for Year 2000 bugs.
of Michigan) covers modern mathematical logic from propositional, first-order and infinitary logic and Godel's incompleteness theorems, leading to introductions to set theory, model theory and recursion (computability) theory.
Recall that the branch of mathematical logic called Proof Theory is only concerned with validity and varieties of constructivity.
Ramsey theory originated in the work of Frank Plumpton Ramsey, a mathematician at the University of Cambridge in England who was keenly interested in mathematical logic, philosophy, and economics.
With cEDGE, we found a way to make the most efficient use of the limited mathematical logic contained in a DVD player.
It its 2009 incarnation, the international ferment of computer science and mathematical logic attracted 130 papers, from which 39 were selected for inclusion in these proceedings.
He performed two years of doctoral studies in mathematical logic and set theory at the University of Colorado before joining SRI International in Silicon Valley as a Scientific Programmer/Analyst.
Wittgenstein's thought was supported and nurtured by the development of mathematical logic.

Full browser ?