Quantum redactiones paginae "Logica mathematica" differant
Content deleted Content added
No edit summary |
No edit summary |
||
Linea 1:
{{In progressu}}'''Mathematical logic''' is a field of [[mathematics]], that tries to formalize [[logic]] so that it can be used for mathematics more easily. Logic is about reasoning, mathematical logic tries to use symbols. Most of mathematical logic was developed in the 19th and 20th century.
Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. It bears close connections to metamathematics, the foundations of mathematics, and theoretical computer science.[1] The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems.
Mathematical logic is often divided into the fields of set theory, model theory, recursion theory, and proof theory. These areas share basic results on logic, particularly first-order logic, and definability. In computer science (particularly in the ACM Classification) mathematical logic encompasses additional topics not detailed in this article; see Logic in computer science for those.
XXXXXXXXXXXXxx
LOGIC
Logic is the study of the way in which valid conclusions may be drawn from given premises. It was first treated systematically by Aristotle and later developed in terms of an algebra of logic. Symbolic logic arose from traditional logic by using symbols to stand for propositions and relations between them. Modern logicians use algebraic and formal methods to study the relations between logical propositions. This has led to model theory and model logic.
== Bibliographia ==
*[https://
[[Category:Mathematica]]
| |||