Category:Mathematical logic

You don't need to be Editor-In-Chief to add or edit content to WikiDoc. You can begin to add to or edit text on this WikiDoc page by clicking on the edit button at the top of this page. Next enter or edit the information that you would like to appear here. Once you are done editing, scroll down and click the Save page button at the bottom of the page.

Mathematical logic has several meanings in common usage. It originally referred to symbolic or formal logic, and then came to be associated with the study of the logical (and even philosophical) foundations of mathematics. In contemporary use by mathematical logicians, the term refers to several branches of pure mathematics whose study involves careful attention to formal axiom systems and formal definability.

Mathematical logic is divided into four parts:

• Model theory
• Proof theory
• Recursion theory, also known as computability theory
• Set theory

The divisions between these areas, along with the divisions between mathematical logic and the rest of mathematics, are not completely sharp, with many areas of research and methods overlapping and reinforcing each other.be:Катэгорыя:Матэматычная лёгіка be-x-old:Катэгорыя:Матэматычная лёгіка bg:Категория:Математическа логика cs:Kategorie:Matematická logika de:Kategorie:Mathematische Logikeo:Kategorio:Matematika logiko fa:رده:منطق ریاضی fr:Catégorie:Logique mathématique ko:분류:수리논리학 id:Kategori:Logika matematika is:Flokkur:Stærðfræðileg rökfræði it:Categoria:Logica matematica he:קטגוריה:לוגיקה מתמטית ka:კატეგორია:მათემატიკური ლოგიკა hu:Kategória:Matematikai logika mk:Категорија:Математичка логика ja:Category:数理論理学sk:Kategória:Matematická logika sr:Категорија:Математичка логика sv:Kategori:Matematisk logik th:หมวดหมู่:คณิตตรรกศาสตร์ vi:Thể loại:Lôgic toán uk:Категорія:Математична логіка