ප්රවර්ගය:Mathematical logic
Appearance
Mathematical logic හා සබැඳි මාධ්ය විකිමාධ්ය කොමන්ස් හි ඇත.
Mathematical logic is the study of formal logic within mathematics. Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power.
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.
උපප්රවර්ග
මෙම ප්රවර්ගය සතු උපප්රවර්ග 3 ක් අතර, පහත දැක්වෙන උපප්රවර්ග 3 වේ.