请输入您要查询的英文单词:

 

单词 mathematical logic
释义

mathematical logic


mathematical logic

n. See symbolic 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.
Thesaurus
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 validityformal logic, symbolic logiclogical system, system of logic, logic - a system of reasoningBoolean algebra, Boolean logic - a system of symbolic logic devised by George Boole; used in computerspropositional calculus, propositional logic - a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate themfunctional 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 conceptsfuzzy logic - a form of mathematical logic in which truth can assume a continuum of values between 0 and 1

mathematical logic


mathematical logic:

see symbolic logicsymbolic logic
or mathematical logic,
formalized system of deductive logic, employing abstract symbols for the various aspects of natural language. Symbolic logic draws on the concepts and techniques of mathematics, notably set theory, and in turn has contributed to
..... Click the link for more information.
.

Mathematical Logic

 

a branch of logic that makes use of mathematical methods.

The use of formal languages with an exact syntax and precise semantics that unambiguously define the meaning of formulas is characteristic of mathematical logic. The need for such a logic arose in the early 20th century in connection with the intensive development of the foundations of mathematics, the emergence of set theory in which antinomies had been discovered, the refinement of the concept of an algorithm, as well as with other profound and fundamental problems of mathematical science. The importance of mathematical logic for science as a whole, however, is not exhausted by its mathematical applications, since all sciences require good reasoning and methods of proof. This is why mathematical logic can rightfully be called logic in its most recent development.

A. A. MARKOV

mathematical logic

[¦math·ə¦mad·ə·kəl ′läj·ik] (mathematics) The study of mathematical theories from the viewpoint of model theory, recursive function theory, proof theory, and set theory.

mathematical logic


  • noun

Synonyms for mathematical logic

noun any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity

Synonyms

  • formal logic
  • symbolic logic

Related Words

  • logical system
  • system of logic
  • logic
  • Boolean algebra
  • Boolean logic
  • propositional calculus
  • propositional logic
  • functional calculus
  • predicate calculus
  • modal logic
  • fuzzy logic
随便看

 

英语词典包含2567994条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/3/3 4:51:25