mathematical logic

mathematical logic
A subfield of logic and mathematics consisting of both the mathematical study of logic and the application of this study to other areas of mathematics, exemplified by questions on the expressive power of formal logics and the deductive power of formal proof systems.

Wikipedia foundation.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… …   Wikipedia

  • mathematical logic — n. SYMBOLIC LOGIC * * * …   Universalium

  • mathematical logic — n. SYMBOLIC LOGIC …   English World dictionary

  • 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 • Syn: ↑symbolic logic, ↑formal logic • Hypernyms: ↑logic, ↑logical system, ↑system of logic …   Useful english dictionary

  • mathematical logic — /mæθəˌmætɪkəl ˈlɒdʒɪk/ (say mathuh.matikuhl lojik) noun a modern development of formal logic employing a special notation or symbolism capable of manipulation in accordance with precise rules; symbolic logic …  

  • mathematical logic — noun Date: 1853 symbolic logic …   New Collegiate Dictionary

  • mathematical logic. — See symbolic logic. [1855 60] * * * …   Universalium

  • mathematical logic — A term for modern formal logic, particularly those logical calculi powerful enough to express classical mathematics …   Philosophy dictionary

  • mathematical logic — mathemat′ical log′ic n. pho symbolic logic • Etymology: 1855–60 …   From formal English to slang

  • mathematical logic. — See symbolic logic. [1855 60] …   Useful english dictionary

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”