Quantum redactiones paginae "Logica mathematica" differant
Content deleted Content added
No edit summary |
|||
Linea 1:
{{In progressu}}'''Logica mathematica''' est disciplina [[mathematica]]e, quae conor sancire discernereque [[logica]]m ut facile sit utilis in [[mathematica]]. Logica est ratiocinatio, logica mathematica symbola adhibere vult. Plerumque logicae mathematicae est excultum in saeculis 19 et 20. Coniungitur cum metamathematica, fundamentis mathematica, et [[Informatica|scientia]] [[Computatio|computationis]] theoreticae. Mathematicum logicum studia systematis formalis et ratiocinativa deductiva, rationis systematis formalis in unum coniugunt.
'''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.
| |||