Departmental Mission and Goals
Faculty and Staff
Programs Offered
Course Descriptions
Careers
Alumni Achievements
Current Students
Maharishi Vedic Mathematics
Math Placement
Home >  MUM Home >  Academics >  Academic Departments >  Mathematics >  Course Descriptions > 

back

MATH 370 Mathematical Logic

Mathematical Criteria for Establishing Accurate Forms of Knowledge

Mathematical logic is the mathematical description of the structure and function of the symbolic language of mathematics. This course develops a rigorous symbolic language, suitable for expressing all mathematical concepts, demonstrates the soundness and completeness of the language, and shows the inherent limitations of such formal systems indicated by Gödel’s Incompleteness Theorems. (4 credits) Prerequisite: consent of the instructor

back

 
 
 
search login