Category:Mathematical logic

From Wikipedia, the free encyclopedia

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:

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.

What is Wiki.RIP There is a free information resource on the Internet. It is open to any user. Wiki is a library that is public and multilingual.

The basis of this page is on Wikipedia. Text licensed under CC BY-SA 3.0 Unported License..

Wikipedia® is a registered trademark of Wikimedia Foundation, Inc. is an independent company that is not affiliated with the Wikimedia Foundation (Wikimedia Foundation).

Privacy Policy      Terms of Use      Disclaimer