Quantum redactiones paginae "Logica mathematica" differant
Content deleted Content added
No edit summary |
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
'''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.
|